Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Recurse into refined type when exposing members | Aleksander Boruch-Gruszecki | 2017-04-13 | 2 | -3/+29 |
| | |||||
* | fix #2253: avoid exception with refinement types | liu fengyun | 2017-04-13 | 1 | -0/+7 |
| | |||||
* | fix #2254: dealias types in decomposition of spaces | liu fengyun | 2017-04-13 | 1 | -0/+6 |
| | |||||
* | add more enum exhaustivity tests | liu fengyun | 2017-04-06 | 3 | -0/+77 |
| | |||||
* | exhaustivity support for enums | liu fengyun | 2017-04-06 | 6 | -5/+17 |
| | |||||
* | Change `ClassicReporter` to `TestReporter` in test sources | Felix Mulder | 2016-11-09 | 46 | -409/+92 |
| | |||||
* | add the forgotten patmat test | liu fengyun | 2016-11-09 | 1 | -1/+1 |
| | |||||
* | add test set for exhaustivity and redundancy check | liu fengyun | 2016-08-24 | 136 | -0/+3184 |