 Leonardo Alt
|
45f22e3ff4
|
Add functional map and fold generic functions
|
2020-04-16 19:21:36 +02:00 |
|
 Alexander Arlt
|
3754a86ab2
|
Add support for interfaceID.
|
2020-04-16 12:17:40 -05:00 |
|
 Daniel Kirchner
|
150497c12a
|
Stricter bounds for memory arrays.
|
2020-04-16 17:51:18 +02:00 |
|
|
Daniel Kirchner
|
f6d1cee06b
|
Ensure that public callable parameters are valid for calldata.
|
2020-04-16 17:23:20 +02:00 |
|
|
Daniel Kirchner
|
6093982606
|
Review suggestions.
|
2020-04-16 16:42:12 +02:00 |
|
|
Daniel Kirchner
|
6f06154eb5
|
Move direct struct recursion check to detect recursion in global structs.
|
2020-04-16 16:42:12 +02:00 |
|
|
Daniel Kirchner
|
b744a56801
|
Refactoring of errors and fixes for various ICEs.
|
2020-04-16 16:42:12 +02:00 |
|
|
Daniel Kirchner
|
df1809f8da
|
Annotate struct definitions with a recursive flag.
|
2020-04-16 16:42:12 +02:00 |
|
 chriseth
|
f271dfa2e2
|
Yul codegen for .selector.
|
2020-04-16 13:42:58 +02:00 |
|
|
chriseth
|
06adbc2c59
|
Implement bit operations.
|
2020-04-16 00:33:45 +02:00 |
|
|
Leonardo Alt
|
bca43586c6
|
[SMTChecker] Remove redundant CHC constraints
|
2020-04-15 18:11:39 +02:00 |
|
|
Daniel Kirchner
|
b86c927505
|
Disallow virtual and override for constructors.
|
2020-04-15 13:58:37 +02:00 |
|
|
Daniel Kirchner
|
95349b3634
|
Merge pull request #8672 from ethereum/fixYulEmptyTupleAssign
Fix tuple assignments for empty tuples in Yul IR.
|
2020-04-15 12:36:46 +02:00 |
|
|
chriseth
|
aff1e93caa
|
Merge pull request #8571 from aarlt/clang-tidy-apply-modernize-pass-by-value
clang-tidy: Apply modernize-pass-by-value.
|
2020-04-15 12:06:25 +02:00 |
|
|
Daniel Kirchner
|
0c5c93f3c2
|
Fix tuple assignments for empty tuples in Yul IR.
|
2020-04-15 11:10:52 +02:00 |
|
 Christian Parpart
|
d00d3c45b1
|
[Sol2Yul] Implements codegen part for try/catch statements.
|
2020-04-14 18:42:37 +02:00 |
|
|
Christian Parpart
|
3b83365b42
|
[libsolidity] TryStatement: Adding AST accessors for success/structured/fail clauses.
|
2020-04-14 18:39:08 +02:00 |
|
|
Alexander Arlt
|
aac7a1e434
|
Apply modernize-pass-by-value.
|
2020-04-14 10:32:13 -05:00 |
|
|
Daniel Kirchner
|
3af43fd350
|
Extract typing.
|
2020-04-14 10:59:28 +02:00 |
|
|
Leonardo
|
accd8d7667
|
Merge pull request #8639 from ethereum/smt_tuple_sort
[SMTChecker] Add and use tuple sort
|
2020-04-14 10:01:55 +02:00 |
|
|
Leonardo Alt
|
4fc9920112
|
Use tuple sort name plus index for field name
|
2020-04-09 12:59:57 +02:00 |
|
 a3d4
|
3ef510bc86
|
Removed a redundant else clause.
|
2020-04-08 23:40:29 +02:00 |
|
|
Leonardo Alt
|
5d9dd654cf
|
[SMTChecker] Add and use tuple sort
|
2020-04-08 18:26:03 +02:00 |
|
|
chriseth
|
748afe0edd
|
Merge pull request #8630 from ethereum/encoding-bug-functionCallOption
TypeChecker error when encoding functions with call options; tests
|
2020-04-08 16:33:24 +02:00 |
|
|
chriseth
|
9fab9df18c
|
Merge pull request #8607 from a3d4/fix-nested-tuples
Fixed nested tuples on the right-hand side.
|
2020-04-08 12:29:52 +02:00 |
|
|
a3d4
|
aba0b2957c
|
Fix tuple assignments with multi-slot components.
|
2020-04-07 18:39:25 +02:00 |
|
|
chriseth
|
baefab78d8
|
Merge pull request #8628 from ethereum/fiximmutableastexport
Export immutability.
|
2020-04-07 18:37:09 +02:00 |
|
 hrkrshnn
|
229587672f
|
TypeChecker error when encoding functions with call options; tests
|
2020-04-07 21:11:46 +05:30 |
|
|
chriseth
|
236eff8416
|
Export immutability.
|
2020-04-07 17:30:54 +02:00 |
|
|
chriseth
|
823a119117
|
Merge pull request #8570 from aarlt/clang-tidy-apply-modernize-use-emplace
clang-tidy: Apply modernize-use-emplace.
|
2020-04-07 17:28:50 +02:00 |
|
|
Leonardo Alt
|
e3ec22124e
|
[SMTChecker] Fix ICE in CHC internal calls
|
2020-04-07 01:09:03 +02:00 |
|
|
chriseth
|
398c515982
|
Merge pull request #8618 from mijovic/nextConstructorRefactor
Refactoring nextConstructor by moving it from CompilerContext to ContractDefinition
|
2020-04-06 19:31:12 +02:00 |
|
 Djordje Mijovic
|
8cc16eb128
|
Refactoring nextConstructor by moving it from CompilerContext to ContractDefinition
|
2020-04-06 17:35:08 +02:00 |
|
|
chriseth
|
806c835647
|
Merge pull request #8568 from aarlt/clang-tidy-apply-modernize-use-override
clang-tidy: Apply modernize-use-override.
|
2020-04-06 16:09:02 +02:00 |
|
|
Leonardo
|
07437985d0
|
Merge pull request #8579 from ethereum/smt_symbolic_state
[SMTChecker] Symbolic state
|
2020-04-06 15:11:14 +02:00 |
|
|
chriseth
|
3f52ee43a8
|
Merge pull request #8581 from ethereum/immutableDebug
Debug information for immutable references.
|
2020-04-06 14:22:31 +02:00 |
|
|
chriseth
|
f7aba45457
|
Merge pull request #8592 from random-internet-cat/ast-visitor-constructor
Delete copy and move operations for ASTVisitor and ASTConstVisitor
|
2020-04-06 14:16:20 +02:00 |
|
|
Leonardo Alt
|
05a85461fe
|
Symbolic state
|
2020-04-06 12:27:53 +02:00 |
|
|
Leonardo
|
0a72a3b8af
|
Merge pull request #8611 from ethereum/smt_array_variable_sort
[SMTChecker] Allow constructing symbolic arrays from smt sort
|
2020-04-06 12:26:30 +02:00 |
|
|
Daniel Kirchner
|
84d7bac4f6
|
Format immutable references similarly to link references.
|
2020-04-06 11:21:53 +02:00 |
|
|
Daniel Kirchner
|
81652686be
|
Debug information for immutable references.
|
2020-04-06 10:56:42 +02:00 |
|
|
Leonardo Alt
|
2cfa44bba3
|
Allow constructing symbolic arrays from smt sort
|
2020-04-06 10:50:00 +02:00 |
|
 Jason Cobb
|
205063f86b
|
Delete copy and move operations for ASTVisitor and ASTConstVisitor
|
2020-04-03 23:47:10 -04:00 |
|
|
Daniel Kirchner
|
d68c526eaa
|
Disallow external function pointers as immutables.
|
2020-04-03 11:56:51 +02:00 |
|
|
Jason Cobb
|
7f5857a146
|
Delete copy/move on annotation polymorphic bases
|
2020-04-02 22:33:21 -04:00 |
|
|
Alexander Arlt
|
cae6e7769f
|
Apply modernize-use-override.
|
2020-04-02 18:00:44 -05:00 |
|
|
Alexander Arlt
|
90bb1d8a7c
|
Apply modernize-use-emplace.
|
2020-04-02 17:35:48 -05:00 |
|
|
chriseth
|
d7a39c86ce
|
Accessors for immutable variables.
|
2020-04-02 19:09:54 +02:00 |
|
|
chriseth
|
bdcfd71f34
|
Skip verification for external access.
|
2020-04-02 18:40:43 +02:00 |
|
|
chriseth
|
216fca5b70
|
Merge pull request #8578 from ethereum/interface-function-modifier-error
Added error for interface functions that have modifiers; test case
|
2020-04-02 18:05:32 +02:00 |
|