aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/SSAVariable.h
Commit message (Expand)AuthorAgeFilesLines
* [SMTChecker_Bool] Fix PR review comments: method renaming and solAssertLeonardo Alt2018-03-131-3/+3
* [SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.Leonardo Alt2018-03-131-2/+4
* [SMTChecker] Support to Bool variablesLeonardo Alt2018-03-131-1/+1
* Fix PR commentsLeonardo Alt2018-03-011-4/+0
* Fix PR commentsLeonardo Alt2018-03-011-4/+8
* Supported types listed in SSAVariableLeonardo Alt2018-03-011-0/+9
* [SMTChecker] A little refactoring on SSA varsLeonardo Alt2018-03-011-0/+79