aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/SMTChecker.h
Commit message (Collapse)AuthorAgeFilesLines
* Partial support for if statements.chriseth2017-08-231-0/+16
|
* Rename read file callback.chriseth2017-08-231-1/+1
|
* Insert abstraction layer.chriseth2017-08-231-2/+2
|
* Cleanup.chriseth2017-08-231-6/+59
|
* z3 conditionschriseth2017-08-231-0/+45