| Age | Commit message (Expand) | Author | Lines |
| 2025-09-16 | Remove Rvalue::Len. | Camille Gillot | -7/+2 |
| 2025-09-01 | Introduce `MirDumper` and `MirWriter`. | Nicholas Nethercote | -55/+32 |
| 2025-09-01 | Use trait object references for closures. | Nicholas Nethercote | -1/+1 |
| 2025-08-11 | Rollup merge of #145111 - fee1-dead-contrib:push-rlvnyrztlkpq, r=jieyouxu | Guillaume Gomez | -16/+0 |
| 2025-08-09 | remove some unused private trait impls | Deadbeef | -16/+0 |
| 2025-08-08 | turn expensive assert into debug assertion | Rémy Rakic | -2/+3 |
| 2025-08-08 | simplify polonius=next | Rémy Rakic | -199/+28 |
| 2025-07-06 | Rollup merge of #143477 - folkertdev:use-is-multiple-of, r=joshtriplett | Matthias Krüger | -1/+1 |
| 2025-07-05 | use `is_multiple_of` instead of manual modulo | Folkert de Vries | -1/+1 |
| 2025-07-04 | Remove Symbol for Named LateParam/Bound variants | Michael Goulet | -7/+10 |
| 2025-06-04 | Use an enum for SCC representatives, plus other code review | Amanda Stjerna | -1/+1 |
| 2025-06-03 | Move placeholder handling to a proper preprocessing step | Amanda Stjerna | -3/+3 |
| 2025-04-28 | AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}... | Andrew Zhogin | -1/+8 |
| 2025-04-11 | move `dump_polonius_mir` | lcnr | -1/+1 |
| 2025-04-08 | Auto merge of #139536 - matthiaskrgr:rollup-j6goald, r=matthiaskrgr | bors | -2/+2 |
| 2025-04-08 | move `ClosureRegionRequirements` to `rustc_borrowck` | lcnr | -2/+2 |
| 2025-04-07 | rm `RegionInferenceContext::var_infos` | lcnr | -2/+2 |
| 2025-02-22 | Greatly simplify lifetime captures in edition 2024 | Michael Goulet | -1/+1 |
| 2025-02-21 | Make `PassWhere` impl `Copy`. | Nicholas Nethercote | -1/+1 |
| 2025-02-03 | Rollup merge of #136299 - lqd:polonius-next-episode-9, r=jackh726 | Matthias Krüger | -44/+81 |
| 2025-01-31 | Implement MIR, CTFE, and codegen for unsafe binders | Michael Goulet | -0/+4 |
| 2025-01-31 | record boring locals in polonius context | Rémy Rakic | -16/+26 |
| 2025-01-31 | create context for errors and diagnostics for last borrowck phase | Rémy Rakic | -10/+20 |
| 2025-01-31 | split polonius context into per-phase data | Rémy Rakic | -30/+47 |
| 2025-01-30 | add constraint graph to polonius MIR dump | Rémy Rakic | -9/+101 |
| 2025-01-29 | Rollup merge of #136104 - lqd:polonius-debugger-episode-2, r=matthewjasper | León Orell Valerian Liehr | -5/+136 |
| 2025-01-28 | Represent the raw pointer for a array length check as a new kind of fake borrow | Michael Goulet | -11/+10 |
| 2025-01-26 | tidy up html structure | Rémy Rakic | -4/+4 |
| 2025-01-26 | add NLL SCCs to polonius MIR dump | Rémy Rakic | -0/+49 |
| 2025-01-26 | add NLL region graph to the polonius MIR dump | Rémy Rakic | -1/+83 |
| 2025-01-25 | add CFG to polonius MIR dump | Rémy Rakic | -2/+71 |
| 2025-01-25 | switch polonius MIR dump to HTML | Rémy Rakic | -9/+67 |
| 2025-01-25 | use more explicit MIR dumping process | Rémy Rakic | -4/+36 |
| 2025-01-19 | Auto merge of #135709 - lqd:bring-back-len, r=compiler-errors | bors | -2/+7 |
| 2025-01-18 | Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper" | Rémy Rakic | -2/+7 |
| 2025-01-17 | encode `Locations::All` typeck constraints as logical edges | Rémy Rakic | -25/+49 |
| 2025-01-17 | make `LocalizedConstraintGraph` a struct and not an alias | Rémy Rakic | -21/+23 |
| 2025-01-12 | deal with naive reachability weakness | Rémy Rakic | -13/+82 |
| 2025-01-12 | handle kills in reachability | Rémy Rakic | -7/+126 |
| 2025-01-12 | replace location-insensitive analysis with location-sensitive analysis | Rémy Rakic | -4/+3 |
| 2025-01-12 | introduce reachability to the constraint graph | Rémy Rakic | -5/+107 |
| 2025-01-08 | rename `AllFacts` to `PoloniusFacts` | Rémy Rakic | -21/+21 |
| 2025-01-08 | rename `LocationTable` to `PoloniusLocationTable` | Rémy Rakic | -32/+32 |
| 2025-01-06 | address review comments | Rémy Rakic | -21/+31 |
| 2025-01-01 | remove borrowck duplicate of `std::ops::ControlFlow` | Rémy Rakic | -2/+4 |
| 2025-01-01 | remove `allow_two_phase_borrow` | Rémy Rakic | -2/+2 |
| 2025-01-01 | localize typeck constraints | Rémy Rakic | -3/+196 |
| 2025-01-01 | move typeck constraints conversion to its own module | Rémy Rakic | -39/+44 |
| 2024-12-30 | move `facts` module to polonius legacy module | Rémy Rakic | -7/+258 |
| 2024-12-30 | simplify `add_extra_drop_facts` | Rémy Rakic | -1/+8 |