| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 | -217/+298 |
| 2023-08-31 | miri ABI check: fix handling of 1-ZST; don't accept sign differences | Ralf Jung | -24/+23 |
| 2023-08-30 | miri function ABI check: specifically look for repr(transparent) | Ralf Jung | -71/+102 |
| 2023-08-30 | interpret: make sure we accept transparent newtypes as ABI-compatible | Ralf Jung | -16/+36 |
| 2023-08-30 | storage_live: avoid computing the layout unless necessary | Ralf Jung | -14/+65 |
| 2023-08-30 | unify passing of sized and unsized function arguments :-) | Ralf Jung | -31/+35 |
| 2023-08-30 | a bit of meta-related cleanup on Projectable | Ralf Jung | -36/+32 |
| 2023-08-30 | move marking-locals-live out of push_stack_frame, so it happens with argument... | Ralf Jung | -84/+146 |
| 2023-08-30 | interpret: fix projecting into an unsized field of a local | Ralf Jung | -97/+100 |
| 2023-08-30 | Rollup merge of #115272 - RalfJung:miri-error-print, r=saethlin | Matthias Krüger | -5/+28 |
| 2023-08-29 | const_eval and codegen: audit uses of is_zst | Ralf Jung | -12/+17 |
| 2023-08-28 | Auto merge of #115182 - RalfJung:abi-compat-sign, r=b-naber | bors | -15/+29 |
| 2023-08-27 | miri/diagnostics: don't forget to print_backtrace when ICEing on unexpected e... | Ralf Jung | -5/+28 |
| 2023-08-25 | Auto merge of #115184 - saethlin:local-allocated-spans, r=RalfJung | bors | -5/+18 |
| 2023-08-25 | Add a doc comment for the new hook | Ben Kimock | -0/+3 |
| 2023-08-25 | Record allocation spans inside force_allocation | Ben Kimock | -5/+15 |
| 2023-08-24 | miri ABI compatibility check: accept u32 and i32 | Ralf Jung | -15/+29 |
| 2023-08-24 | when terminating during unwinding, show the reason why | Ralf Jung | -6/+14 |
| 2023-08-20 | interpret: have assert_* intrinsics call the panic machinery instead of a dir... | Ralf Jung | -14/+8 |
| 2023-08-20 | interpret/miri: call panic_cannot_unwind lang item instead of hard-coding the... | Ralf Jung | -3/+14 |
| 2023-08-20 | give some unwind-related terminators a more clear name | Ralf Jung | -2/+2 |
| 2023-08-08 | Rollup merge of #114615 - RalfJung:interpret-invalid-where, r=lcnr | Matthias Krüger | -5/+2 |
| 2023-08-08 | interpret: remove incomplete protection against invalid where clauses | Ralf Jung | -5/+2 |
| 2023-08-08 | Auto merge of #114520 - RalfJung:unsized-valtrees, r=oli-obk | bors | -11/+15 |
| 2023-08-07 | Rollup merge of #114382 - scottmcm:compare-bytes-intrinsic, r=cjgillot | Matthias Krüger | -0/+22 |
| 2023-08-06 | Add a new `compare_bytes` intrinsic instead of calling `memcmp` directly | Scott McMurray | -0/+22 |
| 2023-08-07 | Rollup merge of #114542 - RalfJung:const-prop-nonsense, r=compiler-errors | Matthias Krüger | -4/+5 |
| 2023-08-06 | simplify handling of valtrees for unsized types | Ralf Jung | -11/+15 |
| 2023-08-06 | Rollup merge of #114505 - ouz-a:cleanup_mir, r=RalfJung | Matthias Krüger | -1/+1 |
| 2023-08-06 | cleanup misinformation regarding has_deref | ouz-a | -1/+1 |
| 2023-08-06 | interpret: use ConstPropNonsense for more const-prop induced issues | Ralf Jung | -4/+5 |
| 2023-08-04 | interpret: add mplace_to_ref helper method | Ralf Jung | -6/+14 |
| 2023-08-03 | Rollup merge of #114372 - RalfJung:const-pointer-as-int, r=oli-obk | Matthias Krüger | -45/+57 |
| 2023-08-03 | Rollup merge of #114363 - RalfJung:interpret-not-miri, r=jackh726 | Matthias Krüger | -2/+2 |
| 2023-08-02 | const validation: point at where we found a pointer but expected an integer | Ralf Jung | -45/+57 |
| 2023-08-02 | avoid 'miri' when refering to the shared interpreter | Ralf Jung | -2/+2 |
| 2023-08-02 | Auto merge of #114333 - RalfJung:dangling-ptr-offset, r=oli-obk | bors | -19/+24 |
| 2023-08-01 | properly track why we checked whether a pointer is in-bounds | Ralf Jung | -10/+16 |
| 2023-08-01 | rename deref_operand → deref_pointer and some Miri helper functions | Ralf Jung | -9/+8 |
| 2023-07-31 | fix alignment handling for Repeat expressions | Ralf Jung | -4/+4 |
| 2023-07-27 | Remove `constness` from `ParamEnv` | Deadbeef | -5/+2 |
| 2023-07-27 | Rollup merge of #114075 - matthiaskrgr:fmt_args_rustc_3, r=wesleywiser | Matthias Krüger | -28/+20 |
| 2023-07-25 | inline format!() args from rustc_codegen_llvm to the end (4) | Matthias Krüger | -28/+20 |
| 2023-07-25 | make MPlaceTy non-Copy | Ralf Jung | -10/+10 |
| 2023-07-25 | interpret: make read functions generic over operand type | Ralf Jung | -77/+79 |
| 2023-07-25 | interpret: make write functions generic over the place type | Ralf Jung | -135/+165 |
| 2023-07-25 | add some sanity checks in write_immediate_no_validate | Ralf Jung | -3/+28 |
| 2023-07-25 | interpret: read_discriminant: only return VariantIdx | Ralf Jung | -33/+47 |
| 2023-07-25 | interpret: refactor projection code to work on a common trait, and use that f... | Ralf Jung | -1049/+660 |
