| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-10-29 | Remove detail from label/note that is already available in other note | Esteban Küber | -1/+1 |
| 2024-06-12 | Harmonize use of leaf and root obligation in trait error reporting | Michael Goulet | -0/+5 |
| 2024-05-06 | Don't consider candidates with no failing where clauses | Michael Goulet | -0/+22 |
