| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2022-12-06 | Bless after rebase | Oli Scherer | -4/+4 |
| 2022-12-06 | Reintroduce the span printing in miri (plus point to spans where possible) | Oli Scherer | -78/+78 |
| 2022-12-06 | Remove now-redundant file/line info from const backtraces | Oli Scherer | -114/+114 |
| 2022-12-03 | for now, do not do fake reads on non-Unpin mutable references | Ralf Jung | -45/+0 |
| 2022-11-27 | make Stacked Borrows retags act like data races | Ralf Jung | -0/+102 |
| 2022-11-27 | !Unpin retags must still be reads, to check dereferenceable | Ralf Jung | -0/+89 |
| 2022-11-20 | add a weak form of protection that justifies Box noalias | Ralf Jung | -27/+71 |
| 2022-10-29 | Stacked Borrows: make scalar field retagging the default | Ralf Jung | -36/+50 |
| 2022-10-22 | add scalar-abi-only field retagging option | Ralf Jung | -1/+64 |
| 2022-09-21 | Don't move too far down the call stack when reporting FnEntry diagnostics | Ben Kimock | -2/+51 |
| 2022-09-21 | Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573' | Oli Scherer | -0/+2697 |
