| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2018-11-13 | Bypass ppaux for `Outlives` predicates | scalexm | -2/+2 | |
| 2018-11-13 | Pretty print quantified goals and clauses | scalexm | -3/+4 | |
| 2018-06-07 | Add tests for `WellFormed-Type` and `FromEnv-Type` rules | scalexm | -0/+12 | |
