| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-09-28 | Do not validate MIR if code does not type-check. | Camille Gillot | -15/+0 |
| 2025-03-03 | Check signature WF when lowering MIR body | Michael Goulet | -0/+3 |
| 2025-01-04 | crashes: add latest batch of tests | Matthias Krüger | -0/+12 |
