| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2022-12-09 | Remove unneeded field from `SwitchTargets` | Jakob Degen | -4/+4 |
| 2022-11-09 | Completely remove tracking of references for now | Jannis Christopher Köhl | -71/+63 |
| 2022-11-07 | Only assume Stacked Borrows if -Zunsound-mir-opts is given | Jannis Christopher Köhl | -82/+82 |
| 2022-11-07 | Add tracking of unreachability | Jannis Christopher Köhl | -2/+4 |
| 2022-11-07 | Add initial version of value analysis and dataflow constant propagation | Jannis Christopher Köhl | -0/+118 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |