| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-07-07 | Auto merge of #143182 - xdoardo:more-addrspace, r=workingjubilee | bors | -2/+2 |
| 2025-07-07 | compiler: Parse `p-` specs in datalayout string, allow definition of custom d... | Edoardo Marangoni | -2/+2 |
| 2025-07-05 | use `is_multiple_of` instead of manual modulo | Folkert de Vries | -2/+2 |
| 2025-07-02 | interpret: move the native call preparation logic into Miri | Ralf Jung | -34/+27 |
| 2025-06-29 | give Pointer::into_parts a more scary name and offer a safer alternative | Ralf Jung | -1/+2 |
| 2025-06-27 | const-eval: error when initializing a static writes to that static | Ralf Jung | -10/+20 |
| 2025-06-22 | centralize `-Zmin-function-alignment` logic | Folkert de Vries | -6/+1 |
| 2025-06-20 | Ensure copy* intrinsics also perform the static self-init checks | Oli Scherer | -1/+6 |
| 2025-05-26 | extend allocbytes with associated type | Nia Espera | -3/+5 |
| 2025-04-30 | interpret: better error message for out-of-bounds pointer arithmetic and acce... | Ralf Jung | -8/+8 |
| 2025-04-22 | add comment for "Other" case | Ralf Jung | -0/+1 |
| 2025-04-20 | respect `repr(align(N))` on functions in miri | Folkert de Vries | -2/+14 |
| 2025-04-01 | interpret: add a version of run_for_validation for &self | Ralf Jung | -11/+32 |
| 2025-03-20 | interpret memory access hooks: also pass through the Pointer used for the access | Ralf Jung | -1/+12 |
| 2025-03-12 | minor interpret cleanups | Ralf Jung | -3/+3 |
| 2025-03-11 | miri native_calls: ensure we actually expose *mutable* provenance to the memo... | Ralf Jung | -0/+4 |
| 2025-02-28 | miri native-call support: all previously exposed provenance is accessible to ... | Ralf Jung | -10/+5 |
| 2025-01-30 | Auto merge of #136035 - SpecificProtagonist:miri-zeroed-alloc, r=oli-obk | bors | -7/+14 |
| 2025-01-28 | miri: optimize zeroed alloc | SpecificProtagonist | -7/+14 |
| 2025-01-28 | interpret: is_alloc_live: check global allocs last | Ralf Jung | -2/+4 |
| 2025-01-18 | const-eval: detect more pointers as definitely not-null | Ralf Jung | -8/+17 |
| 2024-12-21 | ptr::copy: fix docs for the overlapping case | Ralf Jung | -0/+2 |
| 2024-12-06 | Rollup merge of #133211 - Strophox:miri-correct-state-update-ffi, r=RalfJung | Matthias Krüger | -0/+46 |
| 2024-12-05 | extend Miri to correctly pass mutable pointers through FFI | Strophox | -0/+46 |
| 2024-11-19 | `InterpCx` store `TypingEnv` instead of a `ParamEnv` | lcnr | -2/+2 |
| 2024-11-19 | move `fn is_item_raw` to `TypingEnv` | lcnr | -1/+1 |
| 2024-11-18 | use `TypingEnv` when no `infcx` is available | lcnr | -1/+1 |
| 2024-11-09 | make return type of get_alloc_info a struct, and reduce some code duplication... | Ralf Jung | -86/+57 |
| 2024-11-09 | interpret: get_alloc_info: also return mutability | Ralf Jung | -14/+25 |
| 2024-11-03 | compiler: Directly use rustc_abi in const_eval | Jubilee Young | -1/+1 |
| 2024-10-12 | miri: avoid cloning AllocExtra | Ralf Jung | -13/+18 |
| 2024-10-01 | make InterpResult a dedicated type to avoid accidentally discarding the error | Ralf Jung | -71/+77 |
| 2024-09-23 | Check vtable projections for validity in miri | Michael Goulet | -8/+6 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -2/+2 |
| 2024-09-15 | Rollup merge of #130342 - RalfJung:slice-idx-overflow, r=saethlin | Matthias Krüger | -3/+4 |
| 2024-09-15 | Rollup merge of #129828 - RalfJung:miri-data-race, r=saethlin | Matthias Krüger | -0/+4 |
| 2024-09-15 | interpret: get_ptr_alloc_mut: lookup allocation only once | Ralf Jung | -24/+40 |
| 2024-09-15 | also use compute_size_in_bytes for relevant multiplications in Miri | Ralf Jung | -3/+4 |
| 2024-09-13 | Rename and reorder lots of lifetimes. | Nicholas Nethercote | -2/+2 |
| 2024-09-10 | miri: treat non-memory local variables properly for data race detection | Ralf Jung | -0/+4 |
| 2024-09-08 | interpret: reset padding during validation | Ralf Jung | -1/+10 |
| 2024-09-08 | interpret: reset provenance on typed copies | Ralf Jung | -12/+26 |
| 2024-09-02 | chore: Fix typos in 'compiler' (batch 1) | Alexander Cyon | -1/+1 |
| 2024-08-27 | Rollup merge of #128942 - RalfJung:interpret-weak-memory, r=saethlin | Trevor Gross | -1/+1 |
| 2024-08-12 | miri weak memory emulation: initialize store buffer only on atomic writes; pr... | Ralf Jung | -1/+1 |
| 2024-08-06 | miri: make vtable addresses not globally unique | Ralf Jung | -1/+4 |
| 2024-08-03 | Miri: add a flag to do recursive validity checking | Ralf Jung | -1/+4 |
| 2024-08-01 | interpret: simplify pointer arithmetic logic | Ralf Jung | -1/+1 |
| 2024-08-01 | on a signed deref check, mention the right pointer in the error | Ralf Jung | -33/+53 |
| 2024-07-29 | Rollup merge of #128277 - RalfJung:offset_from_wildcard, r=oli-obk | Matthias Krüger | -3/+28 |
