| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 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 |
