| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -5/+2 |
| 2024-07-27 | improve dangling/oob errors and make them more uniform | Ralf Jung | -3/+9 |
| 2024-07-27 | miri: fix offset_from behavior on wildcard pointers | Ralf Jung | -0/+19 |
| 2024-07-02 | Miri function identity hack: account for possible inlining | Ralf Jung | -6/+8 |
| 2024-06-21 | add as_ptr to trait AllocBytes, fix 2 impls; add pub fn get_bytes_unchecked_r... | Strophox | -0/+17 |
| 2024-06-12 | Rollup merge of #126328 - RalfJung:is_none_or, r=workingjubilee | Jubilee | -1/+1 |
| 2024-06-12 | use is_none_or in some places in the compiler | Ralf Jung | -1/+1 |
| 2024-06-12 | Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obk | Guillaume Gomez | -5/+12 |
| 2024-06-11 | interpret: dyn trait metadata check: equate traits in a proper way | Ralf Jung | -3/+1 |
| 2024-06-10 | interpret: refactor dyn trait handling | Ralf Jung | -5/+14 |
| 2024-06-10 | ScalarInt: size mismatches are a bug, do not delay the panic | Ralf Jung | -1/+1 |
| 2024-05-27 | miri: avoid making a full copy of all new allocations | Ralf Jung | -6/+8 |
| 2024-05-27 | interpret: get rid of 'mir lifetime everywhere | Ralf Jung | -12/+12 |
| 2024-05-23 | Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`. | Nicholas Nethercote | -0/+2 |
| 2024-05-13 | offset, offset_from: allow zero-byte offset on arbitrary pointers | Ralf Jung | -20/+19 |
