chriseth
|
251f722919
|
Group decoding function cases.
|
2020-12-07 14:14:54 +01:00 |
|
Leonardo Alt
|
7490ffbe13
|
Use nonlinear clauses instead of inlining for base constructors
|
2020-12-04 13:25:56 +01:00 |
|
chriseth
|
27e44b85e3
|
Merge pull request #10419 from ethereum/bug-namesimplifier
Fix a bug in NameSimplifier.
|
2020-12-03 17:52:40 +01:00 |
|
Leonardo
|
088b694f0b
|
Merge pull request #10207 from ethereum/smt_tests_asserts
[SMTChecker] Add uncovered test and replace uncovered tests by asserts
|
2020-12-03 08:59:48 +01:00 |
|
Martin Blicha
|
2ee633f404
|
[SMTChecker] Added support for public getters through this.
|
2020-12-02 16:06:48 +01:00 |
|
hrkrshnn
|
3efac3eef0
|
NameSimplifier is removed from steps available to users.
|
2020-12-02 13:48:01 +01:00 |
|
Kamil Śliwak
|
630fcc3a1d
|
Define a comparator for InternalDispatchMap to ensure deterministic ordering of dispatch functions
|
2020-12-01 16:53:54 +01:00 |
|
Alex Beregszaszi
|
d22434ee57
|
Change ABIEncoderV1 to not pad empty strings
|
2020-12-01 14:32:18 +00:00 |
|
chriseth
|
390640f557
|
Merge pull request #10384 from ethereum/called_directly_feature
Use annotation.calledDirectly to simplify IR codegen
|
2020-12-01 15:07:02 +01:00 |
|
chriseth
|
8279d90ba2
|
Merge pull request #10403 from ethereum/rename-asmdata
Rename AsmData* to AST*
|
2020-12-01 14:33:11 +01:00 |
|
chriseth
|
388fcddd23
|
Merge pull request #10415 from ethereum/arrayClearingStorageSol2Yul
[Sol->Yul] Fixing copying from storage to storage.
|
2020-12-01 09:43:47 +01:00 |
|
Djordje Mijovic
|
28e01202af
|
[Sol->Yul] Fixing coping from storage to storage.
|
2020-12-01 08:50:33 +01:00 |
|
Mathias Baumann
|
f8e6f4a4eb
|
Use annotation.calledDirectly to simplify IR codegen
|
2020-11-30 18:54:42 +01:00 |
|
Mathias Baumann
|
c3da529a18
|
Mark expressions that are called directly in the annotations
|
2020-11-30 18:52:50 +01:00 |
|
Leonardo Alt
|
fa561dbd0e
|
Add uncovered test and replace uncovered tests by asserts
|
2020-11-30 18:46:47 +01:00 |
|
Martin Blicha
|
cd06d68cbe
|
[SMTChecker] Keeping better track of path condition through branches with return statement in the BMC engine.
|
2020-11-30 11:47:49 +01:00 |
|
Alex Beregszaszi
|
28e65bac46
|
Add unimplemented assert for modifiers in the IR
Also improved relevant tests for modifiers to be more strict and detect if the modifier body was skipped.
|
2020-11-27 18:34:17 +00:00 |
|
chriseth
|
3e5396598b
|
Merge pull request #10410 from ethereum/ir-fixedbytes-bitnot
Support BitNot on FixedBytes in IR
|
2020-11-26 14:42:52 +01:00 |
|
Alex Beregszaszi
|
cbae5ca324
|
Support BitNot on FixedBytes in IR
|
2020-11-26 13:20:02 +00:00 |
|
Djordje Mijovic
|
26d454d8a8
|
Using auto to avoid type name duplication.
|
2020-11-26 12:13:32 +01:00 |
|
Djordje Mijovic
|
565d0cd4eb
|
Support copying of nested calldata arrays to memory.
|
2020-11-26 12:13:29 +01:00 |
|
Djordje Mijovic
|
bae32ac402
|
[Sol->Yul] Implementing member access to arrays in calldata structs.
|
2020-11-26 11:46:31 +01:00 |
|
Alex Beregszaszi
|
a22077f736
|
Rename AsmData -> AST
Also attempt to only include ASTForward where appropriate.
|
2020-11-25 17:58:02 +00:00 |
|
Alex Beregszaszi
|
8d9c332593
|
Properly terminate definitions using define() in IRGenerateForStatements
The lack of termination can result in unparseable output.
|
2020-11-25 16:41:39 +00:00 |
|
chriseth
|
f02bc817af
|
Merge pull request #10388 from ethereum/forwardRevertOnCreate
[Sol->Yul] Forward failure for creation.
|
2020-11-25 10:39:54 +01:00 |
|
chriseth
|
bdc571cfb6
|
Merge pull request #10385 from ethereum/activateStructCopyingOldCodegen
Support copying dynamically encoded structs from calldata to memory.
|
2020-11-25 10:07:13 +01:00 |
|
Djordje Mijovic
|
200227ab75
|
Support copying dynamically encoded structs from calldata to memory.
|
2020-11-24 20:36:17 +01:00 |
|
chriseth
|
cedb56ed81
|
Forward failure for creation.
|
2020-11-24 19:54:18 +01:00 |
|
Djordje Mijovic
|
26c43cfc66
|
[SMTChecker] Fix SMT logic error when doing compound assignment with string literlas.
|
2020-11-24 19:14:15 +01:00 |
|
chriseth
|
2d235bf7b0
|
Merge pull request #10341 from ethereum/optimizeAllocation
Do not allocate memory objects if they will be assigned directly.
|
2020-11-24 16:05:46 +01:00 |
|
chriseth
|
409e92580f
|
Do not allocate memory objects if they will be assigned directly.
|
2020-11-24 14:11:01 +01:00 |
|
Djordje Mijovic
|
eea6513b5d
|
[Sol->Yul] Implementing copying dynamically encoded structs from calldata to memory
Co-authored-by: Leonardo <leo@ethereum.org>
|
2020-11-23 23:22:34 +01:00 |
|
Leonardo
|
61425e3541
|
Merge pull request #10378 from ethereum/smt_fix_spellcheck
Fix spelling in SMTChecker comment
|
2020-11-23 18:14:58 -01:00 |
|
chriseth
|
ee657f5361
|
Merge pull request #10214 from ethereum/fallbackReturn
Allow fallback function to return data.
|
2020-11-23 19:49:59 +01:00 |
|
Leonardo Alt
|
68cfa0a901
|
Fix spelling in SMTChecker comment
|
2020-11-23 19:40:29 +01:00 |
|
chriseth
|
91c88a5f6b
|
Merge pull request #10346 from ethereum/boundFunctions
[Sol->Yul] Bound functions.
|
2020-11-23 19:09:20 +01:00 |
|
chriseth
|
f87edb6efc
|
Bound functions.
|
2020-11-23 18:58:23 +01:00 |
|
Martin Blicha
|
66125b79d6
|
[SMTChecker] Do not report warning when encountered a Type identifier. The operations are supported now.
|
2020-11-23 15:41:57 +01:00 |
|
chriseth
|
f313668ef1
|
Merge pull request #10211 from ethereum/copyArrayCalldata2MemSol2Yul
[Sol->Yul] Copying arrays from calldata to memory
|
2020-11-23 15:02:18 +01:00 |
|
Djordje Mijovic
|
53a4b4a622
|
[Sol->Yul] Implementing copying of calldata arrays to memory
|
2020-11-23 14:52:55 +01:00 |
|
Djordje Mijovic
|
4bff99a518
|
Adding additional abi decoding functions for arrays.
Co-authored-by: chriseth <chris@ethereum.org>
|
2020-11-23 14:52:51 +01:00 |
|
chriseth
|
67ec5f6b17
|
Override semantics for fallback function.
|
2020-11-23 14:22:37 +01:00 |
|
chriseth
|
fda352094f
|
Allow fallback function to return data.
|
2020-11-23 14:22:37 +01:00 |
|
Martin Blicha
|
80d743426f
|
[SMTChecker] Added support for struct constructor.
|
2020-11-23 13:45:17 +01:00 |
|
Leonardo
|
61069ec77d
|
Merge pull request #10355 from blishko/smtchecker-refactoring
[SMTChecker] Small refactoring of assignments to provide a common low-level point for model checking engines to hook into.
|
2020-11-20 14:31:32 -01:00 |
|
Leonardo
|
ae8f484ed4
|
Merge pull request #10234 from ethereum/smt_named_arguments
[SMTChecker] Support named arguments in function calls
|
2020-11-20 12:24:51 -01:00 |
|
Leonardo Alt
|
e4339b0526
|
[SMTChecker] Support named arguments in function calls
|
2020-11-20 11:52:26 -01:00 |
|
Alex Beregszaszi
|
82997fbf5e
|
Change AST::interfaceId() to uint32_t
|
2020-11-19 23:33:08 +00:00 |
|
Martin Blicha
|
fbcb572d69
|
[SMTChecker] Small refactoring of assignments to provide a common low-level point for model checker engines to hook into.
|
2020-11-19 22:03:08 +01:00 |
|
chriseth
|
f1d28b1d17
|
Fix string literal assignment to storage.
|
2020-11-19 15:27:21 +01:00 |
|