| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2022-11-12 | Exclude locals completely, instead of individual places | Jannis Christopher Köhl | -0/+67 | |
| 2022-11-11 | Add test for repr(transparent) with scalar | Jannis Christopher Köhl | -0/+56 | |
| 2022-11-09 | Fix struct field tracking and add tests for it | Jannis Christopher Köhl | -0/+137 | |
| 2022-11-09 | Completely remove tracking of references for now | Jannis Christopher Köhl | -576/+169 | |
| 2022-11-07 | Remove copy of current const prop tests and add a few new tests | Jannis Christopher Köhl | -2500/+253 | |
| 2022-11-07 | Prevent propagation of overflow if overflow occured | Jannis Christopher Köhl | -1/+1 | |
| 2022-11-07 | Improve documentation, plus some small changes | Jannis Christopher Köhl | -4/+2 | |
| 2022-11-07 | Make overflow flag propagation conditional | Jannis Christopher Köhl | -0/+53 | |
| 2022-11-07 | Update test results | Jannis Christopher Köhl | -4/+4 | |
| 2022-11-07 | Improve example used for SB tests | Jannis Christopher Köhl | -19/+47 | |
| 2022-11-07 | Add tests for Stacked Borrows behavior | Jannis Christopher Köhl | -0/+120 | |
| 2022-11-07 | Only assume Stacked Borrows if -Zunsound-mir-opts is given | Jannis Christopher Köhl | -84/+86 | |
| 2022-11-07 | Update test results after rebase | Jannis Christopher Köhl | -28/+29 | |
| 2022-11-07 | Add some more unit-test directives | Jannis Christopher Köhl | -112/+137 | |
| 2022-11-07 | Update test results | Jannis Christopher Köhl | -200/+122 | |
| 2022-11-07 | Add tests from current const prop | Jannis Christopher Köhl | -0/+2297 | |
| 2022-11-07 | Add tracking of unreachability | Jannis Christopher Köhl | -3/+6 | |
| 2022-11-07 | Reject registration of downcasts for now | Jannis Christopher Köhl | -85/+85 | |
| 2022-11-07 | Change test from usize to i32 to prevent target issues | Jannis Christopher Köhl | -12/+12 | |
| 2022-11-07 | Add additional flooding when assigning a value and corresponding test | Jannis Christopher Köhl | -0/+63 | |
| 2022-11-07 | Remove empty test | Jannis Christopher Köhl | -18/+0 | |
| 2022-11-07 | Update test results | Jannis Christopher Köhl | -0/+44 | |
| 2022-11-07 | Add initial version of value analysis and dataflow constant propagation | Jannis Christopher Köhl | -0/+769 | |
