| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2019-03-20 | Fix a bug in implied bounds | scalexm | -1/+1 |
| 2019-03-11 | Update tests | Vadim Petrochenkov | -1/+1 |
| 2018-12-25 | Remove licenses | Mark Rousskov | -1/+1 |
| 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 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |