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