| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -122/+0 |
| 2022-08-18 | Reword "Required because of the requirements on the impl of ..." | Andy Wang | -12/+12 |
| 2021-11-20 | Do not mention associated items when they introduce an obligation | Esteban Kuber | -60/+0 |
| 2021-07-19 | Various diagnostics clean ups/tweaks | Esteban Küber | -12/+60 |
| 2020-10-06 | Fix tests from rebase | Matthew Jasper | -0/+12 |
| 2020-09-02 | pretty: trim paths of unique symbols | Dan Aloni | -24/+24 |
| 2018-10-11 | review comments | Esteban Küber | -11/+11 |
| 2018-10-09 | Add tests for handled cases | Esteban Küber | -0/+122 |
