about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/polonius/legacy/mod.rs
AgeCommit message (Expand)AuthorLines
2025-06-04Use an enum for SCC representatives, plus other code reviewAmanda Stjerna-1/+1
2025-06-03Move placeholder handling to a proper preprocessing stepAmanda Stjerna-3/+3
2025-01-08rename `AllFacts` to `PoloniusFacts`Rémy Rakic-7/+7
2025-01-08rename `LocationTable` to `PoloniusLocationTable`Rémy Rakic-3/+3
2024-12-30move `facts` module to polonius legacy moduleRémy Rakic-1/+2
2024-12-30move `location` module to polonius legacy moduleRémy Rakic-1/+2
2024-12-15improve consistency within fact genRémy Rakic-24/+22
2024-12-15simplify `emit_outlives_facts`Rémy Rakic-6/+5
2024-12-15simplify `emit_access_facts` and fact generationRémy Rakic-26/+12
2024-12-15use let else more consistently in fact generationRémy Rakic-26/+26
2024-12-15clean up `translate_outlives_facts`Rémy Rakic-0/+33
2024-12-15clean up `emit_drop_facts`Rémy Rakic-2/+22
2024-12-15clean up `emit_access_facts`Rémy Rakic-0/+3
2024-12-14move datalog fact generation into a legacy moduleRémy Rakic-0/+184
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 16:12:54 +0000