cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
22,199 Commits 348 Branches 121 Tags
smt_eldarica_cex
Commit Graph
6 Commits
Author SHA1 Message Date
Daniel Kirchner 4b9c01752d Test updates. 2022-03-16 15:34:38 +01:00
Daniel Kirchner 5cd98006d4 Fill in junk in stack layouts on terminating control flow paths. 2022-03-15 18:36:55 +01:00
chriseth b3fe042884 Optimize eq iszero jumpi to xor jumpi and remove double jump. 2022-03-10 14:41:41 +01:00
chriseth e9592c3f8e Update tests. 2022-02-21 14:32:52 +01:00
Kamil Śliwak 032f2d8f9f Update gas expectations 2021-11-15 16:32:45 +01:00
Alex Beregszaszi f9d6abf69b Add more tests for state access (block, msg, tx, etc.) 
Move some of them out of SolidityEndToEndTests. Additionally this ensures the deterministic values of the testing infrastructure.
 2020-12-09 20:46:01 +00:00