aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/SymbolicIntVariable.h
Commit message (Expand)AuthorAgeFilesLines
* Grouping of symbolic variables in the same file and support to FixedBytesLeonardo Alt2018-10-251-49/+0
* [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhashLeonardo Alt2018-10-191-1/+1
* Refactor SymbolicAddressVariable and SymbolicVariable allocationLeonardo Alt2018-10-171-4/+1
* Consistent renaming of 'counters' and 'sequence' to 'index'Leonardo Alt2018-10-171-1/+1
* [SMTChecker] Refactoring typesLeonardo Alt2018-10-171-2/+2
* Refactor SSAVariable such that it only uses Type and not DeclarationLeonardo Alt2018-10-151-3/+2
* [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
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-12 17:43:17 +0800