| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2021-11-20 | Do not mention associated items when they introduce an obligation | Esteban Kuber | -5/+0 |
| 2021-07-19 | Various diagnostics clean ups/tweaks | Esteban Küber | -3/+5 |
| 2021-02-09 | Organize trait test files | Bram van den Heuvel | -0/+14 |
