 chriseth
|
9b20c9840a
|
Merge pull request #10885 from ethereum/heuristic-revamp
Yul Backend: Get rid of heuristics for finding the matching runtime
|
2021-02-10 00:49:56 +01:00 |
|
|
chriseth
|
9a621e91e3
|
Merge pull request #10761 from ethereum/oldOptimizerInlining
Simple inlining for old optimizer.
|
2021-02-09 19:35:12 +01:00 |
|
 Đorđe Mijović
|
30857493ef
|
Merge pull request #10927 from ethereum/fixedPointAssertionSol2Yul
|
2021-02-09 19:14:09 +01:00 |
|
 Daniel Kirchner
|
cb74a45fd6
|
Add inlining for old optimizer.
|
2021-02-09 19:08:58 +01:00 |
|
|
chriseth
|
e777cad78a
|
Merge pull request #10924 from ethereum/exportDocs
Export statement documentation.
|
2021-02-09 18:23:45 +01:00 |
|
|
Djordje Mijovic
|
9438706daf
|
[Sol->Yul] Adding assertion for shift amount not being of FixedPointType.
|
2021-02-09 17:58:49 +01:00 |
|
|
chriseth
|
fcdb5e0b40
|
Export statement documentation.
|
2021-02-09 17:33:01 +01:00 |
|
|
Djordje Mijovic
|
993c8c0734
|
[Sol->Yul] Adding unimplemented assert for fixed point types on right shift.
|
2021-02-09 16:17:56 +01:00 |
|
 Mathias Baumann
|
e4f1257c83
|
Yul Backend: Get rid of heuristics for finding the matching runtime
|
2021-02-09 14:50:25 +01:00 |
|
|
Đorđe Mijović
|
4fd5643970
|
Merge pull request #10912 from ethereum/calldataLValueSol2Yul
[Sol->Yul] Check lvalue kind is stack in case of calldata.
|
2021-02-08 14:19:24 +01:00 |
|
|
Djordje Mijovic
|
e53feaedc4
|
[Sol->Yul] Check lvalue kind is stack in case of calldata.
|
2021-02-08 13:27:51 +01:00 |
|
|
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 |
|