aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/SolverInterface.h
Commit message (Expand)AuthorAgeFilesLines
* 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