| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-08-16 | Rollup merge of #100600 - saethlin:rename-memory-hooks, r=RalfJung | Matthias Krüger | -8/+14 |
| 2022-08-15 | Rename Machine memory hooks to suggest when they run | Ben Kimock | -8/+14 |
| 2022-08-13 | Rollup merge of #100438 - compiler-errors:issue-100360, r=lcnr | Michael Goulet | -7/+2 |
| 2022-08-12 | Adjust cfgs | Mark Rousskov | -1/+0 |
| 2022-08-12 | Rollup merge of #100229 - RalfJung:extra-const-ub-checks, r=lcnr | Dylan DPC | -12/+14 |
| 2022-08-12 | Erase regions better in promote_candidate | Michael Goulet | -7/+2 |
| 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-09 | Rollup merge of #100181 - RalfJung:alloc-ref-mutability, r=jackh726 | Dylan DPC | -0/+7 |
| 2022-08-07 | add -Zextra-const-ub-checks to enable more UB checking in const-eval | Ralf Jung | -0/+14 |
| 2022-08-06 | Auto merge of #99743 - compiler-errors:fulfillment-context-cleanups, r=jackh726 | bors | -10/+2 |
| 2022-08-05 | add method to get the mutability of an AllocId | Ralf Jung | -0/+7 |
| 2022-08-04 | Rollup merge of #100095 - jackh726:early-binder, r=lcnr | Matthias Krüger | -2/+2 |
| 2022-08-04 | Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize` | Michael Goulet | -10/+2 |
| 2022-08-03 | Rollup merge of #99746 - compiler-errors:more-trait-engine, r=jackh726 | Matthias Krüger | -2/+2 |
| 2022-08-03 | Auto merge of #100064 - RalfJung:disaligned, r=petrochenkov | bors | -16/+12 |
| 2022-08-03 | fix is_disaligned logic for nested packed structs | Ralf Jung | -16/+12 |
| 2022-08-03 | Add bound_impl_subject and bound_return_ty | Jack Huey | -2/+2 |
| 2022-08-01 | Remove trait_of_item query. | Camille GILLOT | -1/+1 |
| 2022-08-01 | Remove DefId from AssocItemContainer. | Camille GILLOT | -3/+6 |
| 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 | Use LocalDefId for closures more | Cameron Steffen | -1/+1 |
| 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 |
