| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-07-20 | fix handling of base address for TypeId allocations | Ralf Jung | -3/+13 |
| 2025-07-19 | interpret: fix TypeId pointers being considered data pointers | Ralf Jung | -6/+4 |
| 2025-07-18 | Rollup merge of #143293 - folkertdev:naked-function-kcfi, r=compiler-errors | Matthias Krüger | -1/+1 |
| 2025-07-17 | Rollup merge of #143975 - RalfJung:type-id-eq, r=oli-obk | Matthias Krüger | -3/+3 |
| 2025-07-16 | use `codegen_instance_attrs` where an instance is (easily) available | Folkert de Vries | -1/+1 |
| 2025-07-16 | type_id_eq: check that the hash fully matches the type | Ralf Jung | -3/+3 |
| 2025-07-16 | Comment more code and make tests clearer | Deadbeef | -7/+9 |
| 2025-07-16 | format pointer later instead of eagerly converting to string | Deadbeef | -9/+9 |
| 2025-07-16 | add `const_make_global`; err for `const_allocate` ptrs if didn't call | Deadbeef | -0/+44 |
| 2025-07-13 | Rollup merge of #143634 - nia-e:init-and-wildcards, r=RalfJung | Matthias Krüger | -1/+1 |
| 2025-07-10 | interpret/allocation: expose init + write_wildcards on a range | Nia Espera | -1/+1 |
| 2025-07-09 | Add opaque TypeId handles for CTFE | Oli Scherer | -2/+28 |
| 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 |
