| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-09-15 | Rollup merge of #129828 - RalfJung:miri-data-race, r=saethlin | Matthias Krüger | -0/+192 |
| 2024-09-14 | Merge from rustc | The Miri Cronjob Bot | -156/+65 |
| 2024-09-13 | Rollup merge of #130245 - RalfJung:miri-alloc-backtrace, r=Amanieu | Stuart Cook | -156/+65 |
| 2024-09-12 | Merge from rustc | The Miri Cronjob Bot | -0/+22 |
| 2024-09-11 | make basic allocation functions track_caller in Miri for nicer backtraces | Ralf Jung | -156/+65 |
| 2024-09-11 | miri: fix overflow detection for unsigned pointer offset | Ralf Jung | -0/+22 |
| 2024-09-11 | Merge from rustc | The Miri Cronjob Bot | -21/+21 |
| 2024-09-10 | Auto merge of #129403 - scottmcm:only-array-simd, r=compiler-errors | bors | -21/+21 |
| 2024-09-10 | miri: treat non-memory local variables properly for data race detection | Ralf Jung | -0/+192 |
| 2024-09-10 | fmt | Ralf Jung | -46/+58 |
| 2024-09-09 | Update the MIRI tests | Scott McMurray | -21/+21 |
| 2024-09-09 | fix UB in a test | Ralf Jung | -2/+35 |
| 2024-09-08 | interpret: reset padding during validation | Ralf Jung | -15/+198 |
| 2024-09-08 | interpret: reset provenance on typed copies | Ralf Jung | -0/+185 |
| 2024-09-01 | Rollup merge of #128495 - joboet:more_memcmp, r=scottmcm | Matthias Krüger | -4/+4 |
| 2024-08-30 | Merge from rustc | The Miri Cronjob Bot | -3/+0 |
| 2024-08-29 | fix wasm test | Ralf Jung | -1/+27 |
| 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 |
