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
12 Commits
Author SHA1 Message Date
Leo Alt 9a87680d21 Add invariant to the solver results 2021-10-26 11:30:30 +02:00
Kamil Śliwak 7f7107405f Try out the new assertion macro variants with less arguments 2021-10-04 12:05:00 +02:00
Leo Alt f7b045b886 review 2021-05-26 22:12:49 +02:00
Leo Alt daea5f886d Fix CHCSmtLib2Interface 2021-05-26 22:12:49 +02:00
Daniel Kirchner cb72d76aaf Add const ref to prevent segfaults. 2020-12-04 14:57:46 +01:00
Leonardo Alt d03ddeb0fa [SMTChecker] User timeout option 2020-11-03 10:46:11 +00:00
Leonardo Alt 23ee011c56 [SMTChecker] Fix imports 2020-09-11 13:34:46 +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