| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-07-27 | Rollup merge of #99651 - compiler-errors:fn-and-raw-ptr-in-const-generics, r=... | Guillaume Gomez | -1/+1 |
| 2022-07-26 | ICE on RawPtrComparison check | Deadbeef | -4/+4 |
| 2022-07-26 | Rollup merge of #99692 - RalfJung:too-far, r=oli-obk | Dylan DPC | -24/+48 |
| 2022-07-26 | Use TraitEngine in more places that don't specifically need FulfillmentCtxt::... | Michael Goulet | -2/+2 |
| 2022-07-26 | Rollup merge of #99673 - RalfJung:interpret-invalid-dyn, r=oli-obk | Yuki Okushi | -2/+2 |
| 2022-07-25 | Remove non-descriptive boolean from search_for_structural_match_violation | Michael Goulet | -1/+1 |
| 2022-07-25 | Deeply deny fn and raw ptrs in const generics | Michael Goulet | -1/+1 |
| 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 | -45/+23 |
| 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 | -11/+11 |
| 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 | -478/+481 |
| 2022-07-20 | Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank" | Oli Scherer | -13/+1 |
| 2022-07-19 | interpret: rename Tag/PointerTag to Prov/Provenance | Ralf Jung | -478/+481 |
| 2022-07-19 | Auto merge of #99309 - RalfJung:no-large-copies, r=oli-obk | bors | -78/+50 |
| 2022-07-18 | interpret: make some large types not Copy | Ralf Jung | -35/+41 |
| 2022-07-18 | interpret: remove some unused trait impls | Ralf Jung | -44/+10 |
| 2022-07-18 | Rollup merge of #99378 - RalfJung:box-early-return, r=oli-obk | Dylan DPC | -0/+3 |
| 2022-07-17 | Auto merge of #99033 - 5225225:interpreter-validity-checks, r=oli-obk | bors | -30/+74 |
| 2022-07-17 | interpret/visitor: add missing early return | Ralf Jung | -0/+3 |
| 2022-07-16 | Stabilize `let_chains` | Caio | -1/+1 |
| 2022-07-16 | Rollup merge of #99259 - RalfJung:visit-a-place, r=oli-obk | Matthias Krüger | -50/+272 |
| 2022-07-15 | interpret/visitor: support visiting with a PlaceTy | Ralf Jung | -48/+268 |
| 2022-07-15 | Introduce opaque type to hidden type projection | Oli Scherer | -1/+13 |
| 2022-07-15 | Auto merge of #99013 - RalfJung:dont-poison-my-places, r=oli-obk | bors | -22/+13 |
| 2022-07-14 | interpret/validity: improve some comments | Ralf Jung | -2/+4 |
| 2022-07-14 | Use constant eval to do strict validity checks | 5225225 | -30/+74 |
| 2022-07-14 | rename MPlaceTy::dangling to fake_alloc_zst | Ralf Jung | -2/+4 |
| 2022-07-14 | Remove comment referring to constness.rs | Daniel Bevenius | -2/+0 |
| 2022-07-13 | Rename `debugging_opts` to `unstable_opts` | Joshua Nelson | -6/+6 |
| 2022-07-13 | Auto merge of #99210 - Dylan-DPC:rollup-879cp1t, r=Dylan-DPC | bors | -4/+4 |
| 2022-07-13 | Auto merge of #98145 - ouz-a:some_branch, r=oli-obk | bors | -1/+23 |
| 2022-07-13 | get rid of MemPlaceMeta::Poison | Ralf Jung | -21/+10 |
| 2022-07-13 | Rollup merge of #99011 - oli-obk:UnsoundCell, r=eddyb | Dylan DPC | -4/+4 |
| 2022-07-13 | Auto merge of #99101 - RalfJung:interpret-projections, r=oli-obk | bors | -432/+540 |
| 2022-07-12 | add new rval, pull deref early | ouz-a | -1/+23 |
| 2022-07-11 | use a loop rather than try_fold | Ralf Jung | -23/+21 |
| 2022-07-11 | interpret: refactor projection handling code | Ralf Jung | -421/+531 |
| 2022-07-11 | Rollup merge of #99140 - TaKO8Ki:implement-is-accessible-span, r=fee1-dead | Dylan DPC | -1/+1 |
| 2022-07-11 | rename a method | Takayuki Maeda | -1/+1 |
| 2022-07-11 | implement `is_accessible_span` | Takayuki Maeda | -1/+1 |
