| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2021-01-16 | fold_with not super_fold_with in TypeFoldable impl for Predicate | Jack Huey | -1/+1 |
| 2021-01-16 | Remove PredicateKind::Atom | Jack Huey | -1/+1 |
| 2020-09-25 | Move from {{closure}}#0 syntax to {closure#0} for (def) path components | marmeladema | -1/+1 |
| 2020-09-02 | pretty: trim paths of unique symbols | Dan Aloni | -2/+2 |
| 2020-07-27 | `PredicateKint` -> `PredicateKind`, the beginning of the end | Bastian Kauschke | -1/+1 |
| 2020-07-19 | do not try fetching the ancestors of errored trait impls | Bastian Kauschke | -0/+16 |
| 2020-03-15 | Consider well-formed predicates in min-specialization | Matthew Jasper | -0/+59 |
| 2020-03-15 | Implement soundness check for min_specialization | Matthew Jasper | -0/+382 |
| 2020-03-15 | Add attributes to allow specializing on traits | Matthew Jasper | -0/+32 |
