aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/Z3Interface.cpp
Commit message (Expand)AuthorAgeFilesLines
* [SMTChecker] Integration with CVC4Leonardo Alt2018-04-171-16/+1
* This z3 option is necessary for good solving performanceLeonardo Alt2018-03-041-0/+1
* Unary operators and division.chriseth2017-11-301-1/+4
* Fix boolean constants.chriseth2017-11-221-2/+7
* Check for conditions being constant.chriseth2017-11-221-1/+1
* Remove unused variable in Z3Alex Beregszaszi2017-10-191-1/+1
* Catch exception in Z3.chriseth2017-10-181-18/+27
* Remove duplicate >= in Z3Alex Beregszaszi2017-10-181-2/+1
* Merge pull request #3022 from ethereum/assertAlex Beregszaszi2017-10-041-1/+1
|\
| * Use solAssert and not assertAlex Beregszaszi2017-10-041-1/+1
* | Remove leftover couts.chriseth2017-09-291-7/+0
|/
* Review changes.chriseth2017-08-231-3/+3
* Partial support for if statements.chriseth2017-08-231-1/+11
* Introduce native Z3 support.chriseth2017-08-231-0/+179