| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-01-22 | Use `structurally_normalize` instead of manual `normalizes-to` goals | Boxy | -32/+0 |
| 2024-10-16 | Stop inverting expectation in normalization errors | Michael Goulet | -3/+3 |
| 2024-03-04 | suppress fulfillment errors for super projections | Lukas Markeffsky | -11/+1 |
| 2023-01-30 | Modify primary span label for E0308 | Esteban Küber | -3/+3 |
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+42 |
