| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-08-31 | Rollup merge of #129684 - Strophox:miri-pass-pointer-to-ffi, r=RalfJung | Matthias Krüger | -11/+1 |
| 2024-08-30 | enable Miri to pass const pointers through FFI | Strophox | -11/+1 |
| 2024-08-28 | Rollup merge of #129613 - RalfJung:interpret-target-feat, r=saethlin | Matthias Krüger | -5/+17 |
| 2024-08-26 | interpret: do not make const-eval query result depend on tcx.sess | Ralf Jung | -5/+17 |
| 2024-08-26 | const-eval: do not make UbChecks behavior depend on current crate's flags | Ralf Jung | -0/+10 |
| 2024-08-13 | Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlin | bors | -1/+17 |
| 2024-08-06 | miri: make vtable addresses not globally unique | Ralf Jung | -1/+17 |
| 2024-08-06 | interpret: refactor function call handling to be better-abstracted | Ralf Jung | -1/+1 |
| 2024-08-03 | Miri: add a flag to do recursive validity checking | Ralf Jung | -0/+7 |
| 2024-08-01 | on a signed deref check, mention the right pointer in the error | Ralf Jung | -3/+10 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -2/+1 |
| 2024-07-07 | make `StackPop` field names less confusing | Maybe Waffle | -5/+6 |
| 2024-07-07 | Refactor & fixup interpreter implementation of tail calls | Maybe Waffle | -0/+3 |
| 2024-06-16 | Rename InstanceDef -> InstanceKind | Michael Goulet | -1/+1 |
| 2024-05-27 | miri: avoid making a full copy of all new allocations | Ralf Jung | -17/+41 |
| 2024-05-27 | interpret: get rid of 'mir lifetime everywhere | Ralf Jung | -50/+47 |
| 2024-05-27 | interpret: the MIR is actually at lifetime 'tcx | Ralf Jung | -7/+7 |
| 2024-05-21 | interpret: make overflowing binops just normal binops | Ralf Jung | -1/+1 |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_const_eval`. | Nicholas Nethercote | -3/+3 |
| 2024-05-03 | Let miri and const eval execute intrinsics' fallback bodies | Oli Scherer | -1/+4 |
| 2024-04-23 | properly fill a promoted's required_consts | Ralf Jung | -1/+1 |
| 2024-04-23 | interpret: sanity-check that required_consts captures all consts that can fail | Ralf Jung | -2/+3 |
| 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 | -9/+16 |
| 2024-04-16 | Rollup merge of #124024 - RalfJung:interpret-comment, r=oli-obk | Matthias Krüger | -2/+0 |
| 2024-04-16 | interpret: remove outdated comment | Ralf Jung | -2/+0 |
| 2024-04-16 | interpret: pass MemoryKind to before_memory_deallocation | Ralf Jung | -0/+1 |
| 2024-03-18 | Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ... | Oli Scherer | -2/+2 |
| 2024-03-14 | Auto merge of #122243 - RalfJung:local-place-sanity-check, r=oli-obk | bors | -19/+0 |
| 2024-03-13 | Auto merge of #122240 - RalfJung:miri-addr-reuse, r=oli-obk | bors | -1/+2 |
| 2024-03-10 | remove unnecessary frame parameter from after_local_allocated | Ralf Jung | -1/+0 |
| 2024-03-09 | interpret: do not call machine read hooks during validation | Ralf Jung | -0/+4 |
| 2024-03-09 | remove a machine hook that is no longer used | Ralf Jung | -18/+0 |
| 2024-03-09 | interpret: pass Size and Align to before_memory_deallocation | Ralf Jung | -1/+2 |
| 2024-03-08 | Tweak the way we protect in-place function arguments in interpreters | Maybe Waffle | -2/+2 |
| 2024-03-08 | Rollup merge of #119365 - nbdd0121:asm-goto, r=Amanieu | Matthias Krüger | -0/+6 |
| 2024-03-04 | consistently use MPlaceTy for return places | Ralf Jung | -4/+4 |
| 2024-02-24 | Change InlineAsm to allow multiple targets instead | Gary Guo | -0/+6 |
| 2024-02-15 | Do not allocate a second "background" alloc id for the main allocation of a s... | Oli Scherer | -0/+15 |
| 2024-01-23 | Add a doc comment for eval_mir_constant | Ben Kimock | -0/+2 |
| 2024-01-06 | Sometimes return the same AllocId for a ConstAllocation | Ben Kimock | -0/+20 |
| 2023-12-07 | compile-time evaluation: emit a lint when a write through an immutable pointe... | Ralf Jung | -7/+8 |
| 2023-12-07 | ctfe interpreter: extend provenance so that it can track whether a pointer is... | Ralf Jung | -11/+12 |
| 2023-12-03 | miri: support 'promising' alignment for symbolic alignment check | Ralf Jung | -14/+15 |
| 2023-11-19 | Expand Miri's BorTag GC to a Provenance GC | Ben Kimock | -0/+8 |
| 2023-10-15 | don't UB on dangling ptr deref, instead check inbounds on projections | Ralf Jung | -0/+1 |
| 2023-10-14 | Auto merge of #115524 - RalfJung:misalign, r=wesleywiser | bors | -11/+2 |
| 2023-10-09 | float-to-float casts also have non-deterministic NaN results | Ralf Jung | -3/+6 |
| 2023-10-08 | miri: make NaN generation non-deterministic | Ralf Jung | -0/+8 |
| 2023-09-26 | const-eval: make misalignment a hard error | Ralf Jung | -11/+2 |
