aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/CVC4Interface.cpp
Commit message (Expand)AuthorAgeFilesLines
* Sort includes in libsolidity/formalLeonardo Alt2018-12-181-1/+0
* [SMTChecker] Add ArraySort and array operationsLeonardo Alt2018-11-221-0/+9
* [SMTChecker] Add FunctionSort and refactors the solver interface to create va...Leonardo Alt2018-11-221-29/+17
* Isolating files shared between Yul- and Solidity language frontend.Christian Parpart2018-11-221-1/+1
* [SMTChecker] Refactor smt::Sort and its usageLeonardo Alt2018-11-211-7/+7
* [SMTChecker] Implement uninterpreted functions and use it for blockhash()Leonardo Alt2018-11-151-1/+9
* Remove repeated declarations in Z3 and CVC4 as wellLeonardo Alt2018-08-011-4/+9
* [SMTChecker] SMTPortfolio: use all SMT solvers availableLeonardo Alt2018-07-271-6/+3
* Setting timeout to Z3 and CVC4Leonardo Alt2018-07-271-0/+1
* Only ask for a model if it's SATLeonardo Alt2018-07-271-1/+1
* More consistent catch statementsAlex Beregszaszi2018-07-251-1/+1
* [SMTChecker] Integration with CVC4Leonardo Alt2018-04-171-0/+200
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-04 13:34:37 +0800