aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/SMTChecker.cpp
Commit message (Expand)AuthorAgeFilesLines
* [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhashLeonardo Alt2018-10-191-17/+0
* [SMTChecker] Inline calls to internal functionsLeonardo Alt2018-10-151-7/+14
* fix some format typosliangdzou2018-09-171-2/+2
* SMT model variables are sorted and printed as secondary source locationLeonardo Alt2018-08-021-1/+1
* Added default data locations to parameters for end to end tests.Chase McDermott2018-07-161-1/+1
* Do not change SMT testsAlex Beregszaszi2018-06-251-10/+10
* Update tests for strict address literalsJason Cobb2018-06-251-3/+3
* C99 scoping rules by defaultLeonardo Alt2018-06-201-16/+0
* Bool variables should not allow arithmetic comparisonLeonardo Alt2018-05-171-29/+0
* Testing state vars that are declared after functions that use themLeonardo Alt2018-05-151-4/+3
* [SMTChecker] Declaring all state vars before any function is visitedLeonardo Alt2018-05-151-0/+11
* [SMTChecker] Support to integer and Bool storage varsLeonardo Alt2018-05-151-0/+66
* Revert "BREAKING: Bool variables should not allow arithmetic comparison"chriseth2018-05-021-0/+29
* Bool variables should not allow arithmetic comparisonLeonardo Alt2018-04-271-29/+0
* [SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.Leonardo Alt2018-03-131-0/+40
* [SMTChecker] Support to Bool variablesLeonardo Alt2018-03-131-0/+98
* Adjust tests.chriseth2018-02-271-2/+4
* Do not warn about analysis-only experimental features.chriseth2018-02-221-6/+1
* Support searching inside multiple errors.chriseth2018-02-121-3/+5
* [SMTChecker] Variables are merged after branches (ite variables)Leonardo Alt2018-01-051-8/+39
* Move some struct tests to require ABIEncoderV2Alex Beregszaszi2017-12-111-0/+1
* Fix test.chriseth2017-12-041-4/+3
* Another test for division.chriseth2017-11-301-0/+10
* Unary operators and division.chriseth2017-11-301-0/+85
* For loop.chriseth2017-11-221-0/+67
* Test for multi-branches.chriseth2017-11-221-0/+18
* Fix boolean constants.chriseth2017-11-221-12/+9
* Tests.chriseth2017-11-221-0/+31
* Tests.chriseth2017-11-221-0/+240
* SMT should not crash on typecast/structsAlex Beregszaszi2017-10-051-0/+26
* Tests for SMT checker.chriseth2017-09-291-0/+86