cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
9,923 Commits 348 Branches 121 Tags
v0.4.23
Commit Graph
17 Commits
Author SHA1 Message Date
Leonardo Alt c2d26eb6a2 [SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests. 2018-03-12 20:16:47 +01:00
Leonardo Alt 6a940f0a99 [SMTChecker] Support to Bool variables 2018-03-12 20:16:47 +01:00
chriseth 69f5f2eb65 Adjust tests. 2018-02-27 12:17:25 +01:00
chriseth c182284d28 Do not warn about analysis-only experimental features. 2018-02-22 14:50:20 +01:00
chriseth 676cf52264 Support searching inside multiple errors. 2018-02-12 16:41:31 +01:00
Leonardo Alt d0abc5359b [SMTChecker] Variables are merged after branches (ite variables) 2018-01-04 18:20:12 +01:00
Alex Beregszaszi b32d7a84fc Move some struct tests to require ABIEncoderV2 2017-12-11 02:42:09 +00:00
chriseth 6d609557b6 Fix test. 2017-12-04 12:57:36 +01:00
chriseth 00e252a39f Another test for division. 2017-11-30 01:20:21 +01:00
chriseth 19e067465a Unary operators and division. 2017-11-30 01:20:21 +01:00
chriseth 19d5c42429 For loop. 2017-11-22 02:35:34 +00:00
chriseth 5e2c066778 Test for multi-branches. 2017-11-22 02:35:34 +00:00
chriseth 95a65dc04c Fix boolean constants. 2017-11-22 02:35:34 +00:00
chriseth 90fb14f525 Tests. 2017-11-22 02:35:34 +00:00
chriseth e5de4a66ed Tests. 2017-11-22 02:35:34 +00:00
Alex Beregszaszi 10529e994f SMT should not crash on typecast/structs 2017-10-05 11:41:11 +01:00
chriseth 5028ccbe84 Tests for SMT checker. 2017-09-29 15:31:00 +02:00