Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Extend view pure test suite. | Daniel Kirchner | 2018-07-04 | 17 | -3/+162 |
* | Adjust tests wrt strict view pure checker. | Daniel Kirchner | 2018-07-04 | 2 | -8/+1 |
* | Fallback function has to be external: backwards-compatible changes. | chriseth | 2018-06-29 | 1 | -1/+1 |
* | Adjust tests. | chriseth | 2018-06-25 | 1 | -3/+3 |
* | Extract test cases from ViewPureChecker | Alex Beregszaszi | 2018-06-06 | 22 | -0/+227 |