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,563 Commits 348 Branches 121 Tags
v0.8.11
Commit Graph
13 Commits
Author SHA1 Message Date
Leo Alt 9a87680d21 Add invariant to the solver results 2021-10-26 11:30:30 +02:00
Leonardo Alt 4210e09d9a Do not request proof for old z3 2020-12-03 20:57:23 +01:00
Leonardo Alt d03ddeb0fa [SMTChecker] User timeout option 2020-11-03 10:46:11 +00:00
Leonardo Alt 446e46fe06 Use Expression instead of plain strings for counterexamples 2020-10-27 12:04:51 +00:00
Leonardo Alt 0223571987 [SMTChecker] Do not report error when rlimit 2020-09-25 18:43:10 +02:00
Leonardo Alt 5917fd82b3 [SMTChecker] Do not throw when counterexample is not available (older z3 versions) 2020-09-23 19:17:38 +02:00
Leonardo Alt 5bb4e73693 Review 1 2020-07-23 18:49:03 +02:00
Leonardo Alt 51721c3080 Double SAT run for cex 2020-07-23 18:49:03 +02:00
Leonardo Alt 744905525f Convert z3 cex graph into STL 2020-07-23 18:49:03 +02:00
Sachin Grover b7adb2aa42 Add SPDX license identifier if not present already in source file 
Fixes: #9220
 2020-07-17 20:24:12 +05:30
Leonardo Alt 25de3975ce Add SMTLogicException 2020-05-20 12:55:19 +02:00
Leonardo Alt 45eba27424 Rename namespace 2020-05-20 12:55:18 +02:00
Leonardo Alt 087605ea02 Create libsmtutil 2020-05-20 12:55:18 +02:00