Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Check EmptyCase by simply adding a non-void constraintwip/pmcheck-case-strict | Sebastian Graf | 2019-11-04 | 1 | -1/+1 |
* | PmCheck: Look at precendence to give type signatures to some wildcards | Sebastian Graf | 2019-09-27 | 1 | -1/+1 |
* | Encode shape information in `PmOracle` | Sebastian Graf | 2019-09-16 | 1 | -0/+4 |