| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-05-20 | Uplift RegionVid | Michael Goulet | -4/+6 |
| 2023-11-26 | move remaining legacy polonius fact generation out of NLL module | Rémy Rakic | -16/+40 |
| 2023-11-26 | small polish of loan invalidations fact generation | Rémy Rakic | -2/+2 |
| 2023-11-26 | rename polonius constraint generation to what it actually does: emit loan kills | Rémy Rakic | -2/+2 |
| 2023-11-26 | simplify polonius constraint generation | Rémy Rakic | -3/+7 |
| 2023-11-26 | remove NLL liveness from polonius constraint generation | Rémy Rakic | -11/+2 |
| 2023-11-26 | extract polonius "constraint generation" | Rémy Rakic | -2/+24 |
| 2023-11-26 | extract polonius loan invalidations fact generation | Rémy Rakic | -0/+147 |
