| Age | Commit message (Expand) | Author | Lines |
| 2025-09-03 | Add `funnel_sh{l,r}` functions and intrinsics | sayantn | -0/+44 |
| 2025-07-18 | Show the memory of uninit reads | Oli Scherer | -17/+20 |
| 2025-07-17 | Report the range of uninit bytes in CTFE errors | Oli Scherer | -6/+21 |
| 2025-07-09 | miri: fix out-of-bounds error for ptrs with negative offsets | Ralf Jung | -0/+26 |
| 2025-07-02 | miri: improve errors for type validity assertion failures | Ralf Jung | -55/+16 |
| 2025-06-07 | diagnostics: do not repeat the entire message in the span label | Ralf Jung | -86/+86 |
| 2025-05-20 | make std::intrinsic functions actually be intrinsics | Ralf Jung | -16/+10 |
| 2025-05-15 | normalize abort calls in miri tests | joboet | -4/+4 |
| 2025-05-02 | Rollup merge of #140521 - RalfJung:oob-error, r=saethlin | Matthias Krüger | -19/+19 |
| 2025-05-01 | Rollup merge of #140034 - RalfJung:simd_select_bitmask-padding, r=workingjubilee | Guillaume Gomez | -30/+0 |
| 2025-04-30 | interpret: better error message for out-of-bounds pointer arithmetic and acce... | Ralf Jung | -19/+19 |
| 2025-04-19 | simd_select_bitmask: the 'padding' bits in the mask are just ignored | Ralf Jung | -30/+0 |
| 2025-04-16 | use std-declared intrinsics rather than copying the declaration | Ralf Jung | -106/+50 |
| 2025-03-12 | intrinsics: remove unnecessary leading underscore from argument names | Ralf Jung | -27/+27 |
| 2025-02-23 | rename sub_ptr 😅 | bendn | -3/+3 |
| 2025-02-17 | stabilize (const_)ptr_sub_ptr | bendn | -2/+0 |
| 2025-02-04 | Auto merge of #135760 - scottmcm:disjoint-bitor, r=WaffleLapkin | bors | -0/+20 |
| 2025-02-02 | miri: improve error when offset_from preconditions are violated | Ralf Jung | -3/+45 |
| 2025-01-31 | PR feedback | Scott McMurray | -0/+20 |
| 2025-01-23 | fmt | The Miri Cronjob Bot | -3/+0 |
| 2025-01-20 | Updated several files to use rust intrinsic macros instead of the legacy exte... | vayunbiyani | -81/+57 |
| 2025-01-01 | Try to write the panic message with a single `write_all` call | John Kåre Alsaker | -0/+2 |
| 2024-12-30 | fmt | Ralf Jung | -2/+2 |
| 2024-12-25 | swap_typed_nonoverlapping: properly detect overlap even when swapping scalar ... | Ralf Jung | -3/+25 |
| 2024-12-25 | rename typed_swap → typed_swap_nonoverlapping | Ralf Jung | -12/+12 |
| 2024-12-25 | miri: add test for overlapping typed_swap | Ralf Jung | -0/+28 |
| 2024-10-21 | move strict provenance lints to new feature gate, remove old feature gates | Ralf Jung | -1/+0 |
| 2024-09-17 | ptr_offset_unsigned_overflow: extend test | Ralf Jung | -5/+6 |
| 2024-09-16 | Bump ui test | Oli Scherer | -171/+166 |
| 2024-09-11 | miri: fix overflow detection for unsigned pointer offset | Ralf Jung | -0/+22 |
| 2024-09-09 | Update the MIRI tests | Scott McMurray | -21/+21 |
| 2024-08-29 | fix wasm test | Ralf Jung | -1/+1 |
| 2024-08-24 | panicking: improve hint for Miri's RUST_BACKTRACE behavior | Ralf Jung | -2/+2 |
| 2024-08-07 | remove some SSE/SSE2 intrinsics that are no longer used by stdarch | Ralf Jung | -3/+3 |
| 2024-08-02 | Rollup merge of #128453 - RalfJung:raw_eq, r=saethlin | Matthias Krüger | -25/+0 |
| 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 | -7/+7 |
| 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 | -5/+5 |
| 2024-07-27 | improve dangling/oob errors and make them more uniform | Ralf Jung | -18/+20 |
| 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 | -5/+5 |
| 2024-06-17 | Auto merge of #3683 - RalfJung:MIRIFLAGS, r=RalfJung | bors | -4/+3 |
| 2024-06-17 | tell people how to set miri flags | Ralf Jung | -4/+3 |
| 2024-06-16 | std: move `sys_common::backtrace` to `sys` | joboet | -2/+2 |
| 2024-06-03 | Reformat `mir!` macro invocations to use braces. | Nicholas Nethercote | -18/+24 |
| 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-21 | interpret: make overflowing binops just normal binops | Ralf Jung | -24/+24 |
| 2024-05-13 | offset, offset_from: allow zero-byte offset on arbitrary pointers | Ralf Jung | -128/+0 |