| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2018-12-25 | Remove licenses | Mark Rousskov | -10/+0 |
| 2018-09-21 | Allow various lints as part of ui-ifying `src/test/run-pass` suite. | Felix S. Klock II | -0/+1 |
| 2018-04-05 | Fix #49344 | leonardo.yvens | -0/+4 |
| 2018-02-28 | Check only concrete defaults for well formedness | leonardo.yvens | -0/+2 |
| 2018-02-28 | Check only predicates with a single param with a concrete default. | leonardo.yvens | -3/+6 |
| 2018-02-28 | Add tests for dependent defaults. | leonardo.yvens | -0/+2 |
| 2018-02-28 | Check WF of predicates with defaults only if all params have defaults | leonardo.yvens | -4/+6 |
| 2018-02-28 | Check WF of predicate with defaults only if all in LHS have default | leonardo.yvens | -0/+7 |
| 2018-02-28 | Go back to checking only the LHS of trait predicates. | leonardo.yvens | -0/+14 |
