| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-02-06 | Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper" | Rémy Rakic | -2/+7 |
| 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 |
| 2024-12-30 | move `location` module to polonius legacy module | Rémy Rakic | -4/+112 |
| 2024-12-22 | Delete `Rvalue::Len` | Scott McMurray | -7/+2 |
| 2024-12-15 | improve consistency within fact gen | Rémy Rakic | -46/+44 |
| 2024-12-15 | simplify `emit_outlives_facts` | Rémy Rakic | -6/+5 |
| 2024-12-15 | simplify `emit_access_facts` and fact generation | Rémy Rakic | -50/+21 |
| 2024-12-15 | use let else more consistently in fact generation | Rémy Rakic | -49/+43 |
| 2024-12-15 | clean up `translate_outlives_facts` | Rémy Rakic | -0/+33 |
| 2024-12-15 | clean up `emit_drop_facts` | Rémy Rakic | -2/+22 |
| 2024-12-15 | clean up `emit_access_facts` | Rémy Rakic | -0/+109 |
| 2024-12-14 | move datalog fact generation into a legacy module | Rémy Rakic | -0/+773 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |