| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2020-12-26 | update tests | Bastian Kauschke | -1/+0 |
| 2020-10-12 | Bless expected errors | Ethan Brierley | -2/+2 |
| 2020-10-11 | `min_const_generics` diagnostics improvements | Ethan Brierley | -2/+2 |
| 2020-10-03 | Replace "non trivial" with "non-trivial" | varkor | -2/+2 |
| 2020-08-12 | Add a bunch of revisions | kadmin | -4/+10 |
| 2020-06-02 | add WellFormedConst predicate | Bastian Kauschke | -0/+16 |
