aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/smtCheckerTests
Commit message (Expand)AuthorAgeFilesLines
* 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-17 13:54:19 +0800