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
23,617 Commits 348 Branches 121 Tags
astTransform
Commit Graph
12 Commits
Author SHA1 Message Date
Leo Alt 21c0f78650 Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
Leo Alt db9c11a2a5 fix abstract nondet exception 2023-02-08 16:59:37 +01:00
Leo Alt a5dab6181c Fix internal error when the abstract-nondet SMTChecker natspec annotation is used with a wrong option multiple times for the same function 2022-11-28 16:59:35 +01:00
Leo Alt ff5c842d67 update smtchecker tests 2021-11-24 20:41:22 +01:00
Leo Alt 38b0cf7f9c SMTChecker tests 2021-10-26 11:30:30 +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 85378b1770 Update existing tests 2021-08-25 21:10:08 +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
Leo Alt 880a2fffb6 tests 2021-05-11 21:20:42 +02:00