| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-12-14 | interpret: extend comment on the inhabitedness check in downcast | Ralf Jung | -0/+18 |
| 2023-12-12 | reject projecting to fields whose offset we cannot compute | Ralf Jung | -4/+7 |
| 2023-12-03 | codegen, miri: fix computing the offset of an unsized field in a packed struct | Ralf Jung | -1/+11 |
| 2023-11-23 | remove unused pub fn | klensy | -2/+2 |
| 2023-10-15 | place evaluation: require the original pointer to be aligned if an access hap... | Ralf Jung | -0/+1 |
| 2023-10-15 | avoid re-checking the offset while iterating an array/slice | Ralf Jung | -5/+28 |
| 2023-10-15 | don't UB on dangling ptr deref, instead check inbounds on projections | Ralf Jung | -2/+0 |
| 2023-10-02 | Add docs, remove code, change subtyper code | ouz-a | -1/+2 |
| 2023-10-02 | subtyping_projections | ouz-a | -0/+1 |
| 2023-09-28 | Skip reinterning if nothing changed | Oli Scherer | -1/+3 |
| 2023-09-28 | Strip `OpaqueCast` during `RevealAll`. | Oli Scherer | -1/+1 |
| 2023-09-04 | interpret: make MemPlace, Place, Operand types private to the interpreter | Ralf Jung | -5/+3 |
| 2023-08-30 | a bit of meta-related cleanup on Projectable | Ralf Jung | -4/+21 |
| 2023-08-30 | interpret: fix projecting into an unsized field of a local | Ralf Jung | -26/+40 |
| 2023-08-06 | interpret: use ConstPropNonsense for more const-prop induced issues | Ralf Jung | -1/+1 |
| 2023-08-01 | rename deref_operand → deref_pointer and some Miri helper functions | Ralf Jung | -1/+1 |
| 2023-07-25 | interpret: make write functions generic over the place type | Ralf Jung | -15/+12 |
| 2023-07-25 | interpret: refactor projection code to work on a common trait, and use that f... | Ralf Jung | -270/+154 |
| 2023-07-24 | interpret: support projecting into Place::Local without force_allocation | Ralf Jung | -133/+151 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -1/+4 |
| 2023-02-15 | Use target instead of machine for mir interpreter integer handling. | Oli Scherer | -3/+3 |
| 2022-12-12 | interpret: add read_machine_[ui]size convenience methods | Ralf Jung | -2/+2 |
| 2022-11-27 | Prefer doc comments over `//`-comments in compiler | Maybe Waffle | -2/+2 |
| 2022-11-18 | interpret: use Either over Result when it is not representing an error condition | Ralf Jung | -3/+5 |
| 2022-09-16 | Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r... | Oli Scherer | -0/+10 |
| 2022-08-31 | Fix a bunch of typo | Dezhi Wu | -1/+1 |
| 2022-08-30 | Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obk | Dylan DPC | -3/+1 |
| 2022-08-27 | interpret: make read-pointer-as-bytes *always* work in Miri | Ralf Jung | -3/+1 |
| 2022-08-27 | remove an ineffective check in const_prop | Ralf Jung | -0/+3 |
| 2022-07-20 | Auto merge of #99472 - RalfJung:provenance, r=oli-obk | bors | -35/+35 |
| 2022-07-20 | Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank" | Oli Scherer | -10/+0 |
| 2022-07-19 | interpret: rename Tag/PointerTag to Prov/Provenance | Ralf Jung | -35/+35 |
| 2022-07-18 | interpret: make some large types not Copy | Ralf Jung | -4/+4 |
| 2022-07-16 | Rollup merge of #99259 - RalfJung:visit-a-place, r=oli-obk | Matthias Krüger | -7/+5 |
| 2022-07-15 | interpret/visitor: support visiting with a PlaceTy | Ralf Jung | -7/+5 |
| 2022-07-15 | Introduce opaque type to hidden type projection | Oli Scherer | -0/+10 |
| 2022-07-11 | interpret: refactor projection handling code | Ralf Jung | -0/+393 |
