aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/SMTChecker.cpp
Commit message (Collapse)AuthorAgeFilesLines
* 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
generated by cgit (git 2.34.1) at 2024-11-18 07:01:53 +0800