summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/polonius/mod.rs
AgeCommit message (Expand)AuthorLines
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 2026-04-27 00:09:41 +0000