aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/smtCheckerTests
Commit message (Expand)AuthorAgeFilesLines
* [SMTChecker] Clear state knowledge after external function callsLeonardo Alt2019-01-214-1/+64
* [SMTChecker] Support basic typecastLeonardo Alt2019-01-1611-3/+135
* Clear all mapping knowledge after array variable assignmentLeonardo Alt2018-12-141-1/+4
* [SMTChecker] Support to mappingLeonardo Alt2018-12-1416-0/+215
* [SMTChecker] Use SymbolicFunctionVariable for uninterpreted functionsLeonardo Alt2018-12-114-2/+19
* add a 'readable' format for large hex valuesKevin Kelley2018-12-066-10/+10
* [SMTChecker] Loops are unrolled onceLeonardo Alt2018-12-0417-8/+177
* Organize smt tests in subdirectoriesLeonardo Alt2018-11-2246-0/+0
* Remove pragma ABIEncoderV2 from smt testLeonardo Alt2018-11-221-6/+8
* Drop numbering in front of the SMTChecker testsAlex Beregszaszi2018-11-2246-0/+0
* Move most of SMTChecker tests from C++ to isoltestAlex Beregszaszi2018-11-2246-0/+489
* [SMTChecker] Support bound function callsLeonardo Alt2018-11-194-0/+78
* [SMTChecker] Implement uninterpreted functions and use it for blockhash()Leonardo Alt2018-11-151-2/+6
* Grouping of symbolic variables in the same file and support to FixedBytesLeonardo Alt2018-10-253-8/+16
* Add gasleft constraint and use full member access nameLeonardo Alt2018-10-232-0/+14
* [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhashLeonardo Alt2018-10-198-0/+114
* [SMTChecker] Inline calls to internal functionsLeonardo Alt2018-10-1519-0/+250
generated by cgit (git 2.34.1) at 2024-11-15 04:08:14 +0800