| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -2/+4 |
| 2023-04-24 | Split `{Idx, IndexVec, IndexSlice}` into their own modules | Maybe Waffle | -1/+1 |
| 2023-04-01 | Use `FieldIdx` in various things related to aggregates | Scott McMurray | -4/+5 |
| 2023-03-25 | Refactor: `VariantIdx::from_u32(0)` -> `FIRST_VARIANT` | Scott McMurray | -2/+2 |
| 2023-03-21 | Add a layout argument to `enforce_validity`. | Oli Scherer | -2/+2 |
| 2023-03-02 | Rollup merge of #108022 - CraftSpider:align-bytes, r=oli-obk | Matthias Krüger | -2/+4 |
| 2023-02-20 | Minimal changes to make miri work | Rune Tynan | -2/+4 |
| 2023-02-20 | Allow non-`Box` allocations in preparation for aligned const allocations for ... | Rune Tynan | -2/+2 |
| 2023-02-20 | basic dyn* support for Miri | Ralf Jung | -15/+52 |
| 2023-02-15 | Use target instead of machine for mir interpreter integer handling. | Oli Scherer | -2/+2 |
| 2023-02-14 | interpret: rename Pointer::from_addr → from_addr_invalid | Ralf Jung | -1/+1 |
| 2023-02-07 | Rollup merge of #107756 - RalfJung:miri-out-of-addresses, r=oli-obk | Matthias Krüger | -3/+3 |
| 2023-02-07 | miri: fix ICE when running out of address space | Ralf Jung | -3/+3 |
| 2023-02-06 | interpret: move discriminant reading and writing to separate file | Ralf Jung | -83/+4 |
