aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/SymbolicIntVariable.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Grouping of symbolic variables in the same file and support to FixedBytesLeonardo Alt2018-10-251-52/+0
|
* [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhashLeonardo Alt2018-10-191-4/+4
|
* Refactor SymbolicAddressVariable and SymbolicVariable allocationLeonardo Alt2018-10-171-29/+7
|
* Consistent renaming of 'counters' and 'sequence' to 'index'Leonardo Alt2018-10-171-7/+7
|
* [SMTChecker] Refactoring typesLeonardo Alt2018-10-171-7/+7
|
* Refactor SSAVariable such that it only uses Type and not DeclarationLeonardo Alt2018-10-151-11/+19
|
* Split IntegerType into IntegerType and AddressType.Daniel Kirchner2018-09-051-4/+10
|
* [SMTChecker] Removing usage of UFs to access SSA indicesLeonardo Alt2018-04-051-1/+5
|
* [SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.Leonardo Alt2018-03-131-3/+3
|
* Fix PR commentsLeonardo Alt2018-03-011-3/+5
|
* Integer min and max values placed under SymbolicIntVar instead of SMTCheckerLeonardo Alt2018-03-011-2/+2
|
* [SMTChecker] A little refactoring on SSA varsLeonardo Alt2018-03-011-0/+54