| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-06-30 | Unconditionally run `check_item_type` on all items | Oli Scherer | -2/+27 | |
| 2025-01-03 | Do not project when there are unconstrained impl params | Michael Goulet | -9/+2 | |
| 2024-06-25 | delay bug in RPITIT refinement checking with resolution errors | Rémy Rakic | -0/+16 | |
