 chriseth
|
8a876c8f79
|
Merge pull request #10911 from ethereum/fixedPointAssertionSol2Yul
[Sol->Yul] Adding unimplemented assert for fixed point type shifting.
|
2021-02-08 13:20:57 +01:00 |
|
 Djordje Mijovic
|
97e9829988
|
[Sol->Yul] Adding unimplemented assert for fixed point type shifting.
|
2021-02-08 13:13:19 +01:00 |
|
|
Djordje Mijovic
|
706f5d9874
|
[Sol2Yul] Fixing setLValue for calldata types.
|
2021-02-08 12:42:10 +01:00 |
|
|
chriseth
|
d4ce896582
|
Merge pull request #10886 from ethereum/issue-10874
OverrideSpecifier: Check for null before dereferencing
|
2021-02-04 14:12:07 +01:00 |
|
 Mathias Baumann
|
3a8a74cbc7
|
OverrideSpecifier: Check for null before dereferencing
|
2021-02-04 13:17:28 +01:00 |
|
 Daniel Kirchner
|
5faefdea65
|
Merge pull request #10893 from ethereum/string2BytesSol2Yul
[Sol->Yul] Fixing string calldata to bytes calldata conversion.
|
2021-02-04 10:33:40 +01:00 |
|
|
Djordje Mijovic
|
530435439d
|
[Sol->Yul] Fixing string calldata to bytes calldata conversion.
|
2021-02-04 09:30:19 +01:00 |
|
 Leonardo
|
7405dc5b7f
|
Merge pull request #10836 from ethereum/smt_fix_cex_inheritance
Fix inheritance bug in CHC cex
|
2021-02-03 18:49:25 +01:00 |
|
 Martin Blicha
|
d99256aae7
|
[SMTChecker] refactoring of resetting storage variables
|
2021-02-03 15:53:58 +01:00 |
|
|
Martin Blicha
|
f1013427a7
|
[SMTChecker] refactoring the accessing the encoding state
|
2021-02-03 15:53:58 +01:00 |
|
|
Leonardo Alt
|
665ce27c18
|
Fix inheritance bug in CHC cex
|
2021-02-02 18:06:32 +01:00 |
|
 Martin Blicha
|
a49950cdf3
|
[SMTChecker] Added transaction constraints also for contract deployment
|
2021-02-01 16:46:34 +01:00 |
|
|
Leonardo Alt
|
545305a31f
|
[SMTChecker] Fix super and virtual
|
2021-01-28 18:51:29 +01:00 |
|
|
Martin Blicha
|
deb90d84a6
|
[SMTChecker] added missing type constraints for Address
|
2021-01-27 20:39:24 +01:00 |
|
|
Martin Blicha
|
484e67815a
|
[SMTChecker] Basic support for inline assembly using over-approximating analysis
|
2021-01-26 16:20:50 +01:00 |
|
|
chriseth
|
e9dc9c5baf
|
Fix merge conflict.
|
2021-01-26 13:53:22 +01:00 |
|
|
chriseth
|
4697beeab2
|
Merge pull request #10769 from ethereum/allocationCleanup
Cleanup allocation.
|
2021-01-26 11:58:11 +01:00 |
|
 hrkrshnn
|
526ceec152
|
Implement IR shortcut for <address>.code.length
|
2021-01-26 11:07:04 +01:00 |
|
|
hrkrshnn
|
d6d880dc53
|
Old codegen: implemented shortcut for <address>.code.length
|
2021-01-26 11:07:04 +01:00 |
|
|
hrkrshnn
|
ec57c791ef
|
Fix infinite loop when accessing circular constants from inline assembly.
|
2021-01-26 09:22:05 +01:00 |
|
|
Mathias Baumann
|
07a1d230cd
|
Fix missing error when accessing unintialized variables.
|
2021-01-25 14:44:15 +01:00 |
|
|
chriseth
|
ccdf57c9b1
|
Merge pull request #10700 from ethereum/whiskers_check_template_contains_tag
[whiskers] Add check that template contain tags.
|
2021-01-25 14:17:05 +01:00 |
|
|
Leonardo Alt
|
a612daa783
|
Add msgvalue to cex
|
2021-01-21 19:05:44 +01:00 |
|
 Alexander Arlt
|
061fecbc90
|
[whiskers] Add check that template contain tags.
|
2021-01-20 15:26:34 -05:00 |
|
|
Leonardo
|
a75b87c80e
|
Merge pull request #10813 from ethereum/smt_targets_option
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 18:37:08 +01:00 |
|
|
chriseth
|
3cc07694ed
|
Cleanup allocation.
|
2021-01-20 18:25:27 +01:00 |
|
|
Leonardo Alt
|
3b23cadbdc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
|
chriseth
|
1fcc76a562
|
Fix empty packed encoder.
|
2021-01-19 15:50:04 +01:00 |
|
|
Leonardo
|
9bde92ca20
|
Merge pull request #10807 from ethereum/fixIRReasonStrings
Properly omit require revert strings in IR code generator if requested.
|
2021-01-19 10:31:15 +01:00 |
|
|
Leonardo
|
957e9995a0
|
Merge pull request #10801 from blishko/issue-10793
[SMTChecker] Gather local variables also from nested try/catch clauses
|
2021-01-18 22:37:16 +01:00 |
|
|
chriseth
|
185e129657
|
Merge pull request #10776 from ethereum/fixABIEncoderWithSignature
Fix abi encode with signature shortcut.
|
2021-01-18 19:07:56 +01:00 |
|
|
chriseth
|
a3ee334b42
|
Omit require revert strings in IR code generator.
|
2021-01-18 18:47:55 +01:00 |
|
|
Martin Blicha
|
35d228d9b6
|
[SMTChecker] Gather local variables also from nested try/catch clauses
|
2021-01-18 18:30:18 +01:00 |
|
|
Leonardo Alt
|
c7ca87c012
|
Fix static virtual resolution
|
2021-01-18 16:23:38 +01:00 |
|
|
chriseth
|
4f3839e4ba
|
Fix abi encode with signature shortcut.
|
2021-01-18 13:44:52 +01:00 |
|
|
Djordje Mijovic
|
a0c80c2bdb
|
[Sol->Yul] Enabling copying_bytes_multiassign test via ir.
|
2021-01-18 12:40:51 +01:00 |
|
|
Martin Blicha
|
18214d1ccc
|
[SMTChecker] Reset checked/unchecked flag to the default value when inlining function in BMC
|
2021-01-15 15:36:26 +01:00 |
|
|
Leonardo Alt
|
007d39871b
|
[SMTChecker] Synthesize untrusted functions called externally
|
2021-01-15 11:56:26 +01:00 |
|
|
chriseth
|
db4b39e09e
|
Round up allocations to multiples of 32.
|
2021-01-14 21:52:17 +00:00 |
|
|
chriseth
|
7d6331e26f
|
Use round up function.
|
2021-01-14 21:01:43 +00:00 |
|
 Alex Beregszaszi
|
6ad0ea9f23
|
Merge pull request #10773 from ethereum/useArrayAllocationFunction
Fix array allocation.
|
2021-01-14 20:25:31 +00:00 |
|
|
chriseth
|
f4479fd7ed
|
Fix array allocation.
|
2021-01-14 19:56:37 +01:00 |
|
|
Alex Beregszaszi
|
7c7fd22062
|
Include revert strings in IR
|
2021-01-14 18:45:12 +01:00 |
|
|
Leonardo
|
110e0e1f25
|
Merge pull request #10763 from blishko/smt-abi-fixes
[SMTChecker] Small fixes in handling ABI functions
|
2021-01-14 16:00:49 +01:00 |
|
|
chriseth
|
7d036dcb81
|
Merge pull request #10762 from ethereum/packedStorageOverflowSol2Yul
[Sol->Yul] Fixing uncheked increment/decrement.
|
2021-01-14 15:32:55 +01:00 |
|
|
Martin Blicha
|
504e4c22b2
|
[SMTChecker] Fix in abi handling - tuple expression of size 1 has the type of the member and not TupleType
|
2021-01-14 14:53:56 +01:00 |
|
|
Martin Blicha
|
b4d2a71eec
|
[SMTChecker] Fix in abi handling - fixed missing type conversion
|
2021-01-14 14:53:44 +01:00 |
|
|
Martin Blicha
|
32a923c7ef
|
[SMTChecker] Fix in abi handling - abstracting expressions of type Function inside ABI functions when translating to SMT
|
2021-01-14 14:53:22 +01:00 |
|
|
chriseth
|
a65415cdad
|
Fix accessing libraries inside modules.
|
2021-01-14 14:07:08 +01:00 |
|
|
Djordje Mijovic
|
dc3e76bc2c
|
[Sol->Yul] Fixing uncheked increment/decrement.
|
2021-01-14 13:46:04 +01:00 |
|