about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/polonius/mod.rs
AgeCommit message (Expand)AuthorLines
2025-08-08simplify polonius=nextRémy Rakic-4/+2
2025-01-31record boring locals in polonius contextRémy Rakic-12/+22
2025-01-31create context for errors and diagnostics for last borrowck phaseRémy Rakic-5/+13
2025-01-31split polonius context into per-phase dataRémy Rakic-8/+45
2025-01-17encode `Locations::All` typeck constraints as logical edgesRémy Rakic-0/+1
2025-01-12replace location-insensitive analysis with location-sensitive analysisRémy Rakic-4/+3
2025-01-12introduce reachability to the constraint graphRémy Rakic-5/+25
2025-01-01localize typeck constraintsRémy Rakic-1/+4
2025-01-01move typeck constraints conversion to its own moduleRémy Rakic-39/+3
2024-12-29liveness constraints: draw the rest of the owlRémy Rakic-70/+7
2024-12-29finish filling polonius contextRémy Rakic-6/+3
2024-12-29add variance recordingRémy Rakic-0/+1
2024-12-29introduce polonius contextRémy Rakic-27/+66
2024-12-18address review commentsRémy Rakic-16/+14
2024-12-18introduce beginnings of polonius MIR dumpRémy Rakic-0/+2
2024-12-18set up skeleton for localized constraints conversionRémy Rakic-1/+142
2024-12-18add general documentation on the polonius moduleRémy Rakic-0/+35
2024-12-18introduce localized outlives constraintsRémy Rakic-0/+3
2024-12-14move datalog fact generation into a legacy moduleRémy Rakic-184/+1
2024-11-19Clean up `UniversalRegions`.Nicholas Nethercote-11/+4
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_borrowck`.Nicholas Nethercote-0/+1
2024-06-05Remove confusing `use_polonius` flag and do less cloningAmanda Stjerna-2/+2
2024-05-20Uplift RegionVidMichael Goulet-4/+6
2023-11-26move remaining legacy polonius fact generation out of NLL moduleRémy Rakic-16/+40
2023-11-26small polish of loan invalidations fact generationRémy Rakic-2/+2
2023-11-26rename polonius constraint generation to what it actually does: emit loan killsRémy Rakic-2/+2
2023-11-26simplify polonius constraint generationRémy Rakic-3/+7
2023-11-26remove NLL liveness from polonius constraint generationRémy Rakic-11/+2
2023-11-26extract polonius "constraint generation"Rémy Rakic-2/+24
2023-11-26extract polonius loan invalidations fact generationRémy Rakic-0/+147
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-26 19:11:23 +0000