aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/SolverInterface.h
Commit message (Expand)AuthorAgeFilesLines
* [SMTChecker] Keep track of current path conditionsLeonardo Alt2017-12-141-0/+5
* Unary operators and division.chriseth2017-11-301-0/+4
* Explain IntIntFun and merge assertion.chriseth2017-11-241-3/+7
* Introduce sorts for smt expressions.chriseth2017-11-221-31/+35
* Check for conditions being constant.chriseth2017-11-221-0/+1
* Remove parameter names for defaulted functions.chriseth2017-08-311-4/+4
* Review changes.chriseth2017-08-231-1/+1
* Partial support for if statements.chriseth2017-08-231-0/+7
* Refactor Z3 read callback.chriseth2017-08-231-2/+5
* Insert abstraction layer.chriseth2017-08-231-0/+168