| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-09-18 | interpret: expose generate_stacktrace without full InterpCx | Ralf Jung | -2/+9 |
| 2022-09-17 | Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnr | bors | -1/+13 |
| 2022-09-16 | Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r... | Oli Scherer | -0/+10 |
| 2022-09-14 | address review again | b-naber | -12/+13 |
| 2022-09-13 | Address code review comments | Eric Holk | -6/+5 |
| 2022-09-13 | rebase | b-naber | -1/+1 |
| 2022-09-13 | fixes/working version | b-naber | -1/+1 |
| 2022-09-13 | use ty::Unevaluated<'tcx, ()> in type system | b-naber | -1/+12 |
| 2022-09-12 | Rename some variants | Michael Goulet | -1/+1 |
| 2022-09-12 | Construct dyn* during const interp | Michael Goulet | -1/+12 |
| 2022-09-12 | dyn* through more typechecking and MIR | Eric Holk | -0/+4 |
| 2022-09-12 | Plumb dyn trait representation through ty::Dynamic | Eric Holk | -3/+3 |
| 2022-09-08 | bound variables during ctfe are a bug | lcnr | -3/+3 |
| 2022-09-07 | Use niche-filling optimization even when multiple variants have data. | Michael Benfield | -7/+9 |
| 2022-09-07 | Change name of "dataful" variant to "untagged" | Michael Benfield | -5/+5 |
| 2022-09-06 | Move CTFE handling of nondiverging intrinsics to intrinsics.rs | Oli Scherer | -19/+29 |
| 2022-09-06 | Generalize the Assume intrinsic statement to a general Intrinsic statement | Oli Scherer | -11/+12 |
| 2022-09-06 | Lower the assume intrinsic to a MIR statement | Oli Scherer | -6/+9 |
| 2022-09-03 | Add a Machine hook for inline assembly | Ben Kimock | -2/+21 |
| 2022-09-03 | Auto merge of #101154 - RalfJung:validation-perf, r=oli-obk | bors | -4/+5 |
| 2022-09-01 | Directly use the `instrument` macro instead of its full path | Oli Scherer | -1/+1 |
| 2022-09-01 | Auto merge of #100707 - dzvon:fix-typo, r=davidtwco | bors | -7/+7 |
| 2022-08-31 | interpret: use new OpTy::len for Len rvalue | Ralf Jung | -2/+2 |
| 2022-08-31 | Fix a bunch of typo | Dezhi Wu | -7/+7 |
| 2022-08-30 | Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obk | Dylan DPC | -85/+90 |
| 2022-08-29 | Auto merge of #101167 - matthiaskrgr:rollup-yt3jdmp, r=matthiaskrgr | bors | -0/+1 |
| 2022-08-29 | Rollup merge of #101131 - RalfJung:ctfe-no-needs-rfc, r=oli-obk | Matthias Krüger | -0/+1 |
| 2022-08-29 | interpret: fix unnecessary allocation in validation visitor | Ralf Jung | -4/+5 |
| 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 |
