| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-08-28 | Merge from rustc | The Miri Cronjob Bot | -3/+63 |
| 2024-08-27 | miri: Remove feature(new_uninit) | Jubilee Young | -3/+0 |
| 2024-08-27 | Auto merge of #128134 - joboet:move_pal_alloc, r=cupiver | bors | -3/+5 |
| 2024-08-27 | Make TB tree traversal bottom-up | Johannes Hostert | -152/+56 |
| 2024-08-27 | Add testcase for #3846 | Johannes Hostert | -0/+54 |
| 2024-08-27 | bless miri test | joboet | -3/+5 |
| 2024-08-27 | Rollup merge of #128942 - RalfJung:interpret-weak-memory, r=saethlin | Trevor Gross | -0/+58 |
| 2024-08-24 | Rollup merge of #129501 - RalfJung:miri-rust-backtrace, r=Noratrieb | Matthias Krüger | -15/+15 |
| 2024-08-24 | panicking: improve hint for Miri's RUST_BACKTRACE behavior | Ralf Jung | -15/+15 |
| 2024-08-21 | add a test for zero-sized protectors | Ralf Jung | -4/+72 |
| 2024-08-18 | stabilize raw_ref_op | Ralf Jung | -5/+0 |
| 2024-08-16 | Auto merge of #3754 - Vanille-N:master, r=RalfJung | bors | -10/+10 |
| 2024-08-13 | remove the concept of a Call ID | Ralf Jung | -34/+34 |
| 2024-08-12 | miri weak memory emulation: initialize store buffer only on atomic writes; pr... | Ralf Jung | -0/+58 |
| 2024-08-09 | throw_unsup_format for alignment greater than 2^29 and refactor non-power-of-... | tiif | -0/+54 |
| 2024-08-07 | Auto merge of #3747 - RalfJung:sse-cleanup, r=RalfJung | bors | -3/+3 |
| 2024-08-07 | remove some SSE/SSE2 intrinsics that are no longer used by stdarch | Ralf Jung | -3/+3 |
| 2024-08-07 | Merge from rustc | The Miri Cronjob Bot | -3/+3 |
| 2024-08-06 | interpret: refactor function call handling to be better-abstracted | Ralf Jung | -3/+3 |
| 2024-08-06 | add return-place-protection tail-call test, and fix previous test | Ralf Jung | -39/+157 |
| 2024-08-05 | Merge from rustc | Ralf Jung | -0/+23 |
| 2024-08-03 | Miri: add a flag to do recursive validity checking | Ralf Jung | -0/+23 |
| 2024-08-03 | Merge from rustc | The Miri Cronjob Bot | -25/+0 |
| 2024-08-02 | Auto merge of #3769 - primoly:miri-start, r=RalfJung | bors | -2/+45 |
| 2024-08-02 | Add `miri_start` support | primoly | -2/+45 |
| 2024-08-02 | Rollup merge of #128453 - RalfJung:raw_eq, r=saethlin | Matthias Krüger | -25/+0 |
| 2024-08-01 | bless miri tests | joboet | -4/+4 |
| 2024-08-01 | interpret: simplify pointer arithmetic logic | Ralf Jung | -36/+22 |
| 2024-08-01 | on a signed deref check, mention the right pointer in the error | Ralf Jung | -13/+13 |
| 2024-07-31 | raw_eq: using it on bytes with provenance is not UB (outside const-eval) | Ralf Jung | -25/+0 |
| 2024-07-29 | Rollup merge of #128333 - RalfJung:miri-sync, r=RalfJung | Matthias Krüger | -9/+207 |
| 2024-07-27 | improve dangling/oob errors and make them more uniform | Ralf Jung | -69/+71 |
| 2024-07-27 | miri: fix offset_from behavior on wildcard pointers | Ralf Jung | -6/+7 |
| 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 |
