| Age | Commit message (Collapse) | 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 | |
