| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-03-10 | remove unnecessary frame parameter from after_local_allocated | Ralf Jung | -1/+1 |
| 2024-03-09 | remove some frame parameters that are no longer needed | Ralf Jung | -6/+6 |
| 2024-03-09 | remove a machine hook that is no longer used | Ralf Jung | -3/+0 |
| 2024-03-09 | interpret: ensure that Place is never used for a different frame | Ralf Jung | -26/+33 |
| 2024-03-07 | Auto merge of #121985 - RalfJung:interpret-return-place, r=oli-obk | bors | -10/+6 |
| 2024-03-05 | only set noalias on Box with the global allocator | Ralf Jung | -0/+1 |
| 2024-03-04 | consistently use MPlaceTy for return places | Ralf Jung | -10/+0 |
| 2024-03-04 | interpret: avoid a long-lived PlaceTy in stack frames | Ralf Jung | -0/+6 |
| 2024-02-15 | Do not allocate a second "background" alloc id for the main allocation of a s... | Oli Scherer | -3/+25 |
| 2024-02-15 | Split a bool argument into two named functions | Oli Scherer | -1/+22 |
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -3/+4 |
| 2024-01-25 | Auto merge of #119627 - oli-obk:const_prop_lint_n̵o̵n̵sense, r=cjgillot | bors | -16/+3 |
| 2024-01-23 | const prop nonsense eliminated | Oli Scherer | -16/+3 |
| 2024-01-22 | const-eval interner: from-scratch rewrite using mutability information from p... | Ralf Jung | -3/+3 |
| 2023-12-07 | avoid marking as immutable what is already immutable | Ralf Jung | -5/+1 |
| 2023-12-07 | ctfe interpreter: extend provenance so that it can track whether a pointer is... | Ralf Jung | -7/+7 |
| 2023-11-28 | move write_aggregate into step file, and also extract write_repeat into separ... | Ralf Jung | -30/+1 |
| 2023-11-21 | Fix `clippy::needless_borrow` in the compiler | Nilstrieb | -2/+2 |
| 2023-10-15 | separate bounds-check from alignment check | Ralf Jung | -10/+3 |
| 2023-10-15 | more precise error for 'based on misaligned pointer' case | Ralf Jung | -7/+7 |
| 2023-10-15 | place evaluation: require the original pointer to be aligned if an access hap... | Ralf Jung | -114/+77 |
| 2023-10-15 | avoid re-checking the offset while iterating an array/slice | Ralf Jung | -7/+20 |
| 2023-10-15 | don't UB on dangling ptr deref, instead check inbounds on projections | Ralf Jung | -26/+22 |
| 2023-10-14 | Auto merge of #115524 - RalfJung:misalign, r=wesleywiser | bors | -2/+1 |
| 2023-10-03 | print normalized ty | ouz-a | -10/+15 |
| 2023-09-26 | const-eval: make misalignment a hard error | Ralf Jung | -2/+1 |
| 2023-09-20 | interpret: less debug-printing of types | Ralf Jung | -3/+3 |
| 2023-09-19 | move ConstValue into mir | Ralf Jung | -5/+4 |
| 2023-09-15 | make interpreter type Debug impl independent of Ty debug impl | Ralf Jung | -2/+7 |
| 2023-09-06 | miri: catch function calls where the argument is caller-invalid / the return ... | Ralf Jung | -0/+7 |
| 2023-09-04 | interpret: make MemPlace, Place, Operand types private to the interpreter | Ralf Jung | -113/+146 |
| 2023-08-30 | a bit of meta-related cleanup on Projectable | Ralf Jung | -27/+6 |
| 2023-08-30 | move marking-locals-live out of push_stack_frame, so it happens with argument... | Ralf Jung | -12/+18 |
| 2023-08-30 | interpret: fix projecting into an unsized field of a local | Ralf Jung | -33/+33 |
| 2023-08-25 | Record allocation spans inside force_allocation | Ben Kimock | -4/+5 |
| 2023-08-08 | Auto merge of #114520 - RalfJung:unsized-valtrees, r=oli-obk | bors | -2/+14 |
| 2023-08-06 | simplify handling of valtrees for unsized types | Ralf Jung | -2/+14 |
| 2023-08-06 | interpret: use ConstPropNonsense for more const-prop induced issues | Ralf Jung | -2/+2 |
| 2023-08-04 | interpret: add mplace_to_ref helper method | Ralf Jung | -2/+13 |
| 2023-08-01 | rename deref_operand → deref_pointer and some Miri helper functions | Ralf Jung | -2/+3 |
| 2023-07-25 | make MPlaceTy non-Copy | Ralf Jung | -3/+3 |
| 2023-07-25 | interpret: make read functions generic over operand type | Ralf Jung | -11/+11 |
| 2023-07-25 | interpret: make write functions generic over the place type | Ralf Jung | -97/+129 |
| 2023-07-25 | add some sanity checks in write_immediate_no_validate | Ralf Jung | -3/+28 |
| 2023-07-25 | interpret: refactor projection code to work on a common trait, and use that f... | Ralf Jung | -70/+76 |
| 2023-07-24 | interpret: support projecting into Place::Local without force_allocation | Ralf Jung | -66/+159 |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -3/+7 |
| 2023-07-11 | fix handling of alignment for dyn-sized places | Ralf Jung | -4/+6 |
| 2023-07-11 | miri: protect Move() function arguments during the call | Ralf Jung | -10/+12 |
| 2023-07-07 | miri: check that assignments do not self-overlap | Ralf Jung | -1/+6 |
