aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/SymbolicIntVariable.h
Commit message (Expand)AuthorAgeFilesLines
* [SMTChecker] Removing usage of UFs to access SSA indicesLeonardo Alt2018-04-051-0/+3
* [SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.Leonardo Alt2018-03-131-1/+1
* Fix PR commentsLeonardo Alt2018-03-011-4/+0
* Fix PR commentsLeonardo Alt2018-03-011-4/+6
* Integer min and max values placed under SymbolicIntVar instead of SMTCheckerLeonardo Alt2018-03-011-3/+4
* [SMTChecker] A little refactoring on SSA varsLeonardo Alt2018-03-011-0/+51