aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/SymbolicVariable.h
Commit message (Expand)AuthorAgeFilesLines
* Grouping of symbolic variables in the same file and support to FixedBytesLeonardo Alt2018-10-251-82/+0
* Add gasleft constraint and use full member access nameLeonardo Alt2018-10-231-3/+3
* [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhashLeonardo Alt2018-10-191-2/+3
* Refactor SymbolicAddressVariable and SymbolicVariable allocationLeonardo Alt2018-10-171-3/+4
* Consistent renaming of 'counters' and 'sequence' to 'index'Leonardo Alt2018-10-171-6/+6
* [SMTChecker] Refactoring typesLeonardo Alt2018-10-171-6/+18
* Refactor SSAVariable such that it only uses Type and not DeclarationLeonardo Alt2018-10-151-4/+6
* Add virtual destructors on base classes.Alexander Arlt2018-05-021-0/+1
* [SMTChecker] Removing usage of UFs to access SSA indicesLeonardo Alt2018-04-051-6/+2
* [SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.Leonardo Alt2018-03-131-2/+2
* Fix PR commentsLeonardo Alt2018-03-011-4/+0
* Fix PR commentsLeonardo Alt2018-03-011-4/+6
* Supported types listed in SSAVariableLeonardo Alt2018-03-011-0/+3
* [SMTChecker] A little refactoring on SSA varsLeonardo Alt2018-03-011-0/+68
generated by cgit (git 2.34.1) at 2024-11-12 08:58:17 +0800