| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-07-24 | show warning when Stacked Borrows skips a reborrow due to 'extern type' | Ralf Jung | -6/+17 |
| 2024-07-24 | Make unused states of Reserved unrepresentable | Neven Villani | -10/+10 |
| 2024-07-24 | Merge from rustc | The Miri Cronjob Bot | -3/+3 |
| 2024-07-23 | Rollup merge of #125834 - workingjubilee:weaken-thir-unsafeck-for-addr-of-sta... | Matthias Krüger | -3/+3 |
| 2024-07-22 | miri: fixup for allowing &raw UNSAFE_STATIC | Jubilee Young | -3/+3 |
| 2024-07-20 | Merge from rustc | The Miri Cronjob Bot | -6/+8 |
| 2024-07-19 | Rollup merge of #127856 - RalfJung:interpret-cast-sanity, r=oli-obk | Matthias Krüger | -6/+8 |
| 2024-07-18 | interpret: add sanity check in dyn upcast to double-check what codegen does | Ralf Jung | -6/+8 |
| 2024-07-16 | Auto merge of #3742 - Vanille-N:master, r=RalfJung | bors | -3/+190 |
| 2024-07-15 | Make normalization regex less exact | Chris Denton | -1/+1 |
| 2024-07-14 | add test for intermediate reference in '&(*x).0 as *const i32' | Ralf Jung | -0/+40 |
| 2024-07-12 | Clarify comment in tests/fail/tree_borrows/reservedim_spurious_write.rs | Neven Villani | -2/+3 |
| 2024-07-10 | Second byte is not involved in the example; use a Cell<()> instead | Neven Villani | -16/+19 |
| 2024-07-09 | Apply suggestions | Neven Villani | -17/+50 |
| 2024-07-09 | Implement fix for reservedim_spurious_write: ignore IM on protected | Neven Villani | -4/+45 |
| 2024-07-09 | This pattern using lazy protected Reserved IM prevents spurious writes | Neven Villani | -0/+109 |
| 2024-07-08 | Auto merge of #113128 - WaffleLapkin:become_trully_unuwuable, r=oli-obk,RalfJung | bors | -0/+69 |
| 2024-07-07 | Fixup a typo in a comment in a test | Maybe Lapkin | -1/+1 |
| 2024-07-07 | Fix conflicts after rebase | Maybe Lapkin | -2/+2 |
| 2024-07-07 | add miri tests and a fixme | Maybe Waffle | -0/+69 |
| 2024-07-04 | Add UI test for protector end write semantics | Johannes Hostert | -0/+62 |
| 2024-06-24 | Merge from rustc | The Miri Cronjob Bot | -2/+2 |
| 2024-06-23 | Rollup merge of #126833 - RalfJung:extern-type-field-ice, r=compiler-errors | Matthias Krüger | -2/+2 |
| 2024-06-23 | Merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2024-06-22 | don't ICE when encountering an extern type field during validation | Ralf Jung | -2/+2 |
| 2024-06-22 | Make `effects` an incomplete feature | Deadbeef | -1/+1 |
| 2024-06-21 | Merge from rustc | The Miri Cronjob Bot | -9/+62 |
| 2024-06-20 | Auto merge of #116088 - nbdd0121:unwind, r=Amanieu,RalfJung | bors | -9/+1 |
| 2024-06-19 | Remove c_unwind from tests and fix tests | Gary Guo | -9/+1 |
| 2024-06-19 | Rollup merge of #126154 - RalfJung:storage-live, r=compiler-errors | León Orell Valerian Liehr | -0/+61 |
| 2024-06-17 | Auto merge of #3683 - RalfJung:MIRIFLAGS, r=RalfJung | bors | -39/+15 |
| 2024-06-17 | tell people how to set miri flags | Ralf Jung | -39/+15 |
| 2024-06-17 | Auto merge of #3681 - rust-lang:rustup-2024-06-17, r=RalfJung | bors | -11/+11 |
| 2024-06-17 | show proper UB when making a too large allocation request | Ralf Jung | -0/+25 |
| 2024-06-16 | std: move `sys_common::backtrace` to `sys` | joboet | -11/+11 |
| 2024-06-14 | add Miri tests | Ralf Jung | -0/+61 |
| 2024-06-13 | fmt | The Miri Cronjob Bot | -6/+12 |
| 2024-06-12 | Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obk | Guillaume Gomez | -2/+2 |
| 2024-06-11 | interpret: ensure we check bool/char for validity when they are used in a cast | Ralf Jung | -0/+125 |
| 2024-06-11 | check for correct trait in size_and_align_of | Ralf Jung | -2/+2 |
| 2024-06-03 | Make WHERE_CLAUSES_OBJECT_SAFETY a regular object safety violation | Michael Goulet | -34/+0 |
| 2024-06-03 | Reformat `mir!` macro invocations to use braces. | Nicholas Nethercote | -18/+24 |
| 2024-05-29 | Auto merge of #125360 - RalfJung:packed-field-reorder, r=fmease | bors | -2/+2 |
| 2024-05-28 | Add Miri tests for `PtrMetadata` UB | Scott McMurray | -0/+142 |
| 2024-05-23 | Auto merge of #125359 - RalfJung:interpret-overflowing-ops, r=oli-obk | bors | -24/+24 |
| 2024-05-22 | Rollup merge of #124896 - RalfJung:miri-intrinsic-fallback, r=oli-obk | León Orell Valerian Liehr | -15/+15 |
| 2024-05-22 | Auto merge of #117329 - RalfJung:offset-by-zero, r=oli-obk,scottmcm | bors | -323/+2 |
| 2024-05-21 | don't inhibit random field reordering on repr(packed(1)) | Ralf Jung | -2/+2 |
| 2024-05-21 | interpret: make overflowing binops just normal binops | Ralf Jung | -24/+24 |
| 2024-05-20 | Fix miri too | Michael Goulet | -1/+1 |
