cerc-io/solidity
10
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
20,101 Commits 348 Branches 121 Tags 100 MiB
safe_contracts_smt_checker_segfault
Commit Graph

8 Commits

Author SHA1 Message Date
Kamil Śliwak
781dae4923 safe_contracts.sol trimmed down to the smallest form that still runs out of memory 2021-04-30 01:06:13 +02:00
Bhargava Shastry
0534f62df2 Remove trailing whitespace and fix spelling errors. 2021-04-30 01:00:59 +02:00
Bhargava Shastry
2bf883acea Gnosis safe contracts flattened test that triggers a stack-overflow inside SMTChecker. 2021-04-30 01:00:59 +02:00
Alex Beregszaszi
1be07c2b36 Trivial isoltest updates: missing // ---- at the end 2021-04-20 17:38:29 +02:00
chriseth
c91cffa4ec Fix module member names for importing with renaming. 2021-02-23 13:15:32 +01:00
Bhargava Shastry
e2a2276272 Contract level checker: Disallow free function redefinition and alias 
shadowing another free function

Co-authored-by: chriseth <chris@ethereum.org>
 2020-09-25 17:09:58 +02:00
a3d4
e04cedafc5 Added error codes to SyntaxTest expectations (updated tests) 2020-06-22 16:51:47 +02:00
Daniel Kirchner
6ed219ebe8 Support multiple sources for syntax tests. 2019-08-19 14:45:26 +02:00