aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/CVC4Interface.h
Commit message (Expand)AuthorAgeFilesLines
* Add workarounds for building against CVC4 on ArchLinux.Daniel Kirchner2018-08-091-0/+11
* [SMTChecker] SMTPortfolio: use all SMT solvers availableLeonardo Alt2018-07-271-3/+3
* [SMTChecker] Integration with CVC4Leonardo Alt2018-04-171-0/+62