Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Move some struct tests to require ABIEncoderV2 | Alex Beregszaszi | 2017-12-11 | 1 | -0/+1 |
* | Fix test. | chriseth | 2017-12-04 | 1 | -4/+3 |
* | Another test for division. | chriseth | 2017-11-30 | 1 | -0/+10 |
* | Unary operators and division. | chriseth | 2017-11-30 | 1 | -0/+85 |
* | For loop. | chriseth | 2017-11-22 | 1 | -0/+67 |
* | Test for multi-branches. | chriseth | 2017-11-22 | 1 | -0/+18 |
* | Fix boolean constants. | chriseth | 2017-11-22 | 1 | -12/+9 |
* | Tests. | chriseth | 2017-11-22 | 1 | -0/+31 |
* | Tests. | chriseth | 2017-11-22 | 1 | -0/+240 |
* | SMT should not crash on typecast/structs | Alex Beregszaszi | 2017-10-05 | 1 | -0/+26 |
* | Tests for SMT checker. | chriseth | 2017-09-29 | 1 | -0/+86 |