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
21,312 Commits 348 Branches 121 Tags
08d37966bb80db99980aad81530b8dcb441ccf59
Commit Graph
460 Commits
Author SHA1 Message Date
Leo Alt 38b0cf7f9c SMTChecker tests 2021-10-26 11:30:30 +02:00
Leo Alt 4c2b661eaa [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
Leo Alt d81ebe97c3 Fix magic access 2021-10-01 12:57:06 +02:00
Leo Alt d25fb29178 Add isoltest option to ignore OS 2021-10-01 12:45:36 +02:00
Leo Alt e74f853c6b [SMTChecker] Support user types 2021-09-21 13:23:17 +02:00
Leo Alt a1bea368cb [SMTChecker] Support constants via modules 2021-09-16 14:35:05 +02:00
Leo Alt b731957e65 Fix BMCs constraints on internal functions 2021-09-15 14:42:39 +02:00
Leo Alt d91f75deb8 Fix ICE on unique errors 2021-09-09 16:37:43 +02:00
Leo Alt 6e2fe1e340 [SMTChecker] Cleanup spurious messages about TypeTypes 2021-09-07 16:55:25 +02:00
Leo Alt 106c591dde Support the external call option 2021-09-01 20:18:37 +02:00
Leo Alt ac528cfd1b add static array length constraint 2021-08-30 17:15:16 +02:00
Leo Alt 16bc15acac Fix false negative on storage array references returned by internal functions 2021-08-28 09:30:53 +02:00
Leo Alt 60b866f9d8 Fix ICE on multi-source use of abi.* 2021-08-27 18:55:36 +02:00
Leo Alt 0cc9162fb5 Update SMTChecker tests 2021-08-27 16:25:09 +02:00
Leo Alt a9af63187e Adjust tests for nondeterminism 2021-08-25 21:10:43 +02:00
Leo Alt 4cf4ccafd7 New tests 2021-08-25 21:10:08 +02:00
Leo Alt 85378b1770 Update existing tests 2021-08-25 21:10:08 +02:00
Leo Alt 718f392849 Don't erase things for BMC if function call is staticcall 2021-08-25 14:09:46 +02:00
Leo Alt a55685c04f Erase balances when delegatecall is seen 2021-08-25 12:39:26 +02:00
Leo Alt 9ea4576664 Update tests 2021-08-19 16:34:01 +02:00
Leo Alt 937af7d722 Fix SMT test 2021-08-12 22:34:18 +02:00
chriseth fe0d027d45 Merge pull request #11785 from ethereum/someMoreBaseFees 
Some more base fees.
 2021-08-12 19:48:10 +02:00
Leo Alt 6ee60aa628 Fix false positive on external calls from constructors 2021-08-12 18:51:55 +02:00
chriseth c87c0f02bd Test updates. 2021-08-12 16:56:12 +02:00
Leo Alt 10397e440c Fix ICE in constants 2021-08-12 10:53:01 +02:00
Leo Alt 3c1f555f71 Tests 2021-08-04 13:54:50 +02:00
Leo Alt e46abd0ca1 Update tests due to nondeterminism 2021-07-19 15:20:11 +02:00
Leo Alt 20e23171da Update tests to z3 4.8.12 2021-07-16 14:43:52 +02:00
chriseth 1f8f1a3db9 Merge pull request #11484 from ethereum/fix-unreachable-code-anaysis 
Fix revert pruner modifying function flows wrong
 2021-06-04 12:44:35 +02:00
chriseth 8da5d6a854 Update test expectations. 2021-06-04 12:04:04 +02:00
chriseth 2e3ee4c156 Fix control-flow handling of modifiers without body. 2021-06-03 13:31:15 +02:00
chriseth 4cbf9ff74c Merge pull request #10143 from ethereum/issue-10084 
ControlFlowAnalyser: Also consider called functions in a flow
 2021-06-01 19:34:56 +02:00
Leo Alt bf21cd400c Fix conversion from bytes to fixed bytes 2021-06-01 17:55:18 +02:00
Mathias Baumann 56ebea8b2f ControlFlowAnalyser: Also consider called functions in a flow 2021-06-01 15:54:37 +02:00
Leo Alt 547a6915ad Fix ICE on external calls from constructor 2021-06-01 14:21:48 +02:00
Leo Alt 97a7c5429b Add SMTChecker tests with modules 2021-06-01 13:35:44 +02:00
Leo Alt 8eb28b10cb Add SMTChecker tests with modules 2021-06-01 13:35:10 +02:00
Leo Alt d828aeee23 Update test nondet 2021-05-26 22:12:49 +02:00
Martin Blicha 9c98ab59f0 SMTChecker: fixed struct constructor where FixedBytes member is initialized with a string literal 2021-05-17 13:52:37 +02:00
Leo Alt 880a2fffb6 tests 2021-05-11 21:20:42 +02:00
Leo Alt 1642c10f6e Fix ICE in free functions 2021-05-03 10:57:11 +02:00
Alex Beregszaszi 1be07c2b36 Trivial isoltest updates: missing // ---- at the end 2021-04-20 17:38:29 +02:00
Alex Beregszaszi 84c05d35f3 Trivial isoltest updates: normalized whitespace 2021-04-20 17:38:29 +02:00
Alex Beregszaszi 45c6bbe02b Trivial isoltest updates: directives sorted alphabetically 2021-04-20 17:21:56 +02:00
Leonardo Alt a39a6e26da update tests 2021-04-19 19:23:18 +02:00
Leonardo Alt 80892c8a21 Fix nondeterminism 2021-04-19 19:23:18 +02:00
Leonardo Alt 36def3ef6e tests for free constants 2021-04-19 19:23:18 +02:00
Leonardo Alt fd8b4afb76 new free function tests 2021-04-19 19:23:18 +02:00
Leonardo Alt 095d337140 Basic support to free constants 2021-04-19 19:23:18 +02:00
Leonardo Alt 6ae82fcec2 Add tests for the library bug 2021-04-19 19:23:18 +02:00