| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-09-21 | Consider errors in MIR as impossible predicates. | Camille Gillot | -13/+20 |
| 2025-07-22 | Keep elaborating predicates. | Camille GILLOT | -12/+9 |
| 2025-07-20 | Also bail out if predicates contain errors. | Camille GILLOT | -2/+2 |
| 2025-07-20 | Consider parent predicates in ImpossiblePredicates pass. | Camille GILLOT | -7/+19 |
| 2025-01-23 | Disable non-required MIR opts with `optimize(none)` | clubby789 | -0/+4 |
| 2025-01-11 | Make MIR cleanup for functions with impossible predicates into a real MIR pass | Michael Goulet | -0/+56 |
