| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_const_eval`. | Nicholas Nethercote | -3/+5 |
| 2024-04-17 | interpret: rename base_pointer -> root_pointer | Ralf Jung | -6/+6 |
| 2024-04-17 | interpret: pass MemoryKind to adjust_alloc_base_pointer | Ralf Jung | -2/+8 |
| 2024-04-16 | Rollup merge of #124024 - RalfJung:interpret-comment, r=oli-obk | Matthias Krüger | -1/+0 |
| 2024-04-16 | interpret: remove outdated comment | Ralf Jung | -1/+0 |
| 2024-04-16 | interpret: pass MemoryKind to before_memory_deallocation | Ralf Jung | -0/+1 |
| 2024-03-22 | Rollup merge of #122537 - RalfJung:interpret-allocation, r=oli-obk | Matthias Krüger | -3/+14 |
| 2024-03-17 | interpret/memory: explain why we use == on bool | Ralf Jung | -0/+2 |
| 2024-03-15 | interpret/allocation: fix aliasing issue in interpreter and refactor getters ... | Ralf Jung | -3/+14 |
| 2024-03-13 | Auto merge of #122240 - RalfJung:miri-addr-reuse, r=oli-obk | bors | -1/+2 |
| 2024-03-12 | Ensure nested allocations in statics do not get deduplicated | Oli Scherer | -10/+28 |
| 2024-03-09 | interpret: do not call machine read hooks during validation | Ralf Jung | -5/+38 |
| 2024-03-09 | interpret: pass Size and Align to before_memory_deallocation | Ralf Jung | -1/+2 |
| 2024-02-15 | Auto merge of #120931 - chenyukang:yukang-cleanup-hashmap, r=michaelwoerister | bors | -5/+5 |
| 2024-02-15 | Do not allocate a second "background" alloc id for the main allocation of a s... | Oli Scherer | -4/+20 |
| 2024-02-14 | clean up potential_query_instability with FxIndexMap and UnordMap | yukang | -5/+5 |
| 2024-02-10 | interpret: rename ReadExternStatic → ExternStatic | Ralf Jung | -1/+1 |
| 2024-01-26 | interpret/memory: fix safety comment for large array memset optimization | Ralf Jung | -5/+4 |
| 2024-01-17 | Optimize large array creation in const-eval | Mark Rousskov | -12/+19 |
| 2023-12-23 | interpret/memory: explain why we check is_thread_local_static | Ralf Jung | -0/+6 |
| 2023-12-07 | compile-time evaluation: emit a lint when a write through an immutable pointe... | Ralf Jung | -7/+7 |
| 2023-12-07 | ctfe interpreter: extend provenance so that it can track whether a pointer is... | Ralf Jung | -4/+4 |
| 2023-12-03 | miri: support 'promising' alignment for symbolic alignment check | Ralf Jung | -2/+7 |
| 2023-11-22 | Miri: GC the dead_alloc_map too | Ben Kimock | -0/+11 |
| 2023-11-19 | Expand Miri's BorTag GC to a Provenance GC | Ben Kimock | -0/+9 |
| 2023-10-25 | Move provenance checks out of interning method. | Camille GILLOT | -1/+1 |
| 2023-10-19 | Rollup merge of #116650 - RalfJung:miri-intptrcast, r=oli-obk | Matthias Krüger | -0/+10 |
| 2023-10-16 | Auto merge of #114330 - RalfJung:dagling-ptr-deref, r=oli-obk | bors | -66/+76 |
