| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-08-29 | Rollup merge of #100239 - RalfJung:const-prop-uninit, r=oli-obk | Dylan DPC | -25/+9 |
| 2022-08-29 | Rollup merge of #100897 - RalfJung:const-not-to-mutable, r=lcnr | Matthias Krüger | -27/+45 |
| 2022-08-29 | Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obk | Matthias Krüger | -3/+3 |
| 2022-08-28 | CTFE: exposing pointers and calling extern fn doesn't need an RFC, it is just... | Ralf Jung | -0/+1 |
| 2022-08-28 | validation should only catch UB errors | Ralf Jung | -17/+20 |
| 2022-08-27 | interpret: make read-pointer-as-bytes *always* work in Miri | Ralf Jung | -44/+46 |
| 2022-08-27 | interpret: rename relocation → provenance | Ralf Jung | -25/+25 |
| 2022-08-27 | Auto merge of #100999 - nnethercote:shrink-FnAbi, r=bjorn3 | bors | -6/+4 |
| 2022-08-27 | remove a now-useless machine hook | Ralf Jung | -24/+5 |
| 2022-08-27 | remove an ineffective check in const_prop | Ralf Jung | -1/+4 |
| 2022-08-26 | make read_immediate error immediately on uninit, so ImmTy can carry initializ... | Ralf Jung | -247/+166 |
| 2022-08-26 | remove some now-unnecessary parameters from check_bytes | Ralf Jung | -12/+3 |
| 2022-08-26 | remove enforce_number_init machine hook that Miri no longer needs | Ralf Jung | -24/+8 |
| 2022-08-26 | fix an outdated machine hook name | Ralf Jung | -7/+7 |
| 2022-08-26 | Replace `Body::basic_blocks()` with field access | Tomasz Miąsko | -3/+3 |
| 2022-08-26 | Move `ArgAbi::pad_i32` into `PassMode::Cast`. | Nicholas Nethercote | -4/+2 |
| 2022-08-26 | Turn `ArgAbi::pad` into a `bool`. | Nicholas Nethercote | -1/+1 |
| 2022-08-26 | Box `CastTarget` within `PassMode`. | Nicholas Nethercote | -2/+2 |
| 2022-08-23 | extra sanity check against consts pointing to mutable memory | Ralf Jung | -27/+45 |
| 2022-08-19 | Rollup merge of #100208 - RalfJung:dyn-upcast-nop, r=petrochenkov | Dylan DPC | -1/+6 |
| 2022-08-17 | Rollup merge of #99972 - RalfJung:1zst, r=lcnr | Matthias Krüger | -1/+3 |
| 2022-08-15 | Rename Machine memory hooks to suggest when they run | Ben Kimock | -8/+14 |
| 2022-08-12 | Rollup merge of #100229 - RalfJung:extra-const-ub-checks, r=lcnr | Dylan DPC | -12/+4 |
| 2022-08-11 | Rollup merge of #100391 - nnethercote:improve-size-assertions, r=lqd | Dylan DPC | -9/+11 |
| 2022-08-10 | Avoid repeating qualifiers on `static_assert_size` calls. | Nicholas Nethercote | -9/+11 |
| 2022-08-09 | dont rely on old macro-in-trait-impl bug | Ralf Jung | -12/+0 |
| 2022-08-07 | add -Zextra-const-ub-checks to enable more UB checking in const-eval | Ralf Jung | -0/+4 |
| 2022-08-06 | make NOP dyn casts not require anything about the vtable | Ralf Jung | -1/+6 |
| 2022-08-05 | add method to get the mutability of an AllocId | Ralf Jung | -0/+7 |
| 2022-08-01 | Rollup merge of #100003 - nnethercote:improve-size-assertions, r=lqd | Matthias Krüger | -27/+23 |
| 2022-08-01 | Improve size assertions. | Nicholas Nethercote | -27/+23 |
| 2022-07-30 | interpret: only consider 1-ZST when searching for receiver | Ralf Jung | -1/+3 |
| 2022-07-30 | Use LocalDefId for closures more | Cameron Steffen | -1/+1 |
| 2022-07-26 | Rollup merge of #99692 - RalfJung:too-far, r=oli-obk | Dylan DPC | -24/+48 |
| 2022-07-26 | Rollup merge of #99673 - RalfJung:interpret-invalid-dyn, r=oli-obk | Yuki Okushi | -2/+2 |
| 2022-07-24 | interpret, ptr_offset_from: refactor and test too-far-apart check | Ralf Jung | -24/+48 |
| 2022-07-24 | don't ICE on invalid dyn calls | Ralf Jung | -2/+2 |
| 2022-07-23 | now we can make scalar_to_ptr a method on Scalar | Ralf Jung | -33/+12 |
| 2022-07-23 | remove some provenance-related machine hooks that Miri no longer needs | Ralf Jung | -46/+17 |
| 2022-07-22 | interpret: fix vtable check debug assertion | Ralf Jung | -2/+1 |
| 2022-07-20 | detect bad vptrs on dyn calls | Ralf Jung | -15/+46 |
| 2022-07-20 | detect bad vtables on an upcast | Ralf Jung | -2/+5 |
| 2022-07-20 | consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable) | Ralf Jung | -12/+12 |
| 2022-07-20 | incorporate some review feedback | Ralf Jung | -28/+8 |
| 2022-07-20 | add intrinsic to access vtable size and align | Ralf Jung | -0/+12 |
| 2022-07-20 | make use of symbolic vtables in interpreter | Ralf Jung | -193/+93 |
| 2022-07-20 | rename get_global_alloc to try_get_global_alloc | Ralf Jung | -9/+9 |
| 2022-07-20 | add a Vtable kind of symbolic allocations | Ralf Jung | -1/+17 |
| 2022-07-20 | Auto merge of #99472 - RalfJung:provenance, r=oli-obk | bors | -475/+478 |
| 2022-07-20 | Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank" | Oli Scherer | -10/+0 |
