| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-08-05 | add method to get the mutability of an AllocId | Ralf Jung | -0/+7 |
| 2022-07-23 | now we can make scalar_to_ptr a method on Scalar | Ralf Jung | -22/+1 |
| 2022-07-23 | remove some provenance-related machine hooks that Miri no longer needs | Ralf Jung | -1/+1 |
| 2022-07-20 | consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable) | Ralf Jung | -10/+10 |
| 2022-07-20 | incorporate some review feedback | Ralf Jung | -1/+1 |
| 2022-07-20 | make use of symbolic vtables in interpreter | Ralf Jung | -7/+26 |
| 2022-07-20 | rename get_global_alloc to try_get_global_alloc | Ralf Jung | -6/+6 |
| 2022-07-20 | add a Vtable kind of symbolic allocations | Ralf Jung | -1/+17 |
| 2022-07-19 | interpret: rename Tag/PointerTag to Prov/Provenance | Ralf Jung | -78/+82 |
| 2022-07-05 | Rollup merge of #98811 - RalfJung:interpret-alloc-range, r=oli-obk | Dylan DPC | -31/+17 |
| 2022-07-02 | more use of format! variable capture | Ralf Jung | -3/+1 |
| 2022-07-02 | make AllocRef APIs more consistent | Ralf Jung | -6/+8 |
| 2022-07-02 | add AllocRange Debug impl; remove redundant AllocId Display impl | Ralf Jung | -23/+9 |
| 2022-06-28 | make `get_relocations` private | Rémy Rakic | -1/+1 |
| 2022-06-28 | ctfe interning: don't walk allocations that don't need it | Rémy Rakic | -0/+5 |
| 2022-06-26 | interpret: refactor allocation info query | Ralf Jung | -50/+33 |
| 2022-06-16 | interpret: convert_tag_add_extra, init_allocation_extra: allow tagger to rais... | Ralf Jung | -8/+10 |
| 2022-06-09 | Auto merge of #97740 - RalfJung:ctfe-cycle-spans, r=lcnr | bors | -1/+2 |
| 2022-06-05 | interpret: better control over whether we read data with provenance, and impl... | Ralf Jung | -4/+19 |
| 2022-06-04 | use precise spans for recursive const evaluation | Ralf Jung | -1/+2 |
| 2022-06-01 | Rollup merge of #97216 - RalfJung:null-ptr-check, r=oli-obk | Yuki Okushi | -0/+4 |
| 2022-05-22 | Lifetime variance fixes for rustc | Michael Goulet | -3/+3 |
| 2022-05-20 | Ensure we never consider the null pointer dereferencable | Ralf Jung | -0/+4 |
| 2022-05-20 | Rollup merge of #97188 - carbotaniuman:remove-null-assert, r=RalfJung | Guillaume Gomez | -5/+1 |
| 2022-05-19 | Remove unneeded asserts | carbotaniuman | -5/+1 |
| 2022-05-19 | interpret/validity: separately control checking numbers for being init and no... | Ralf Jung | -2/+7 |
| 2022-05-14 | Auto merge of #95826 - carbotaniuman:miri-permissive-provenance, r=RalfJung | bors | -7/+13 |
| 2022-05-13 | Rustc changes for permissive provenance | carbotaniuman | -7/+13 |
| 2022-04-20 | Rollup merge of #96160 - RalfJung:interpret-debug, r=oli-obk | Dylan DPC | -4/+21 |
| 2022-04-19 | Rollup merge of #96165 - RalfJung:miri-provenance-cleanup, r=oli-obk | Dylan DPC | -37/+36 |
| 2022-04-18 | avoid an unnecessary call to Pointer::into_parts, and caution against into_po... | Ralf Jung | -3/+2 |
| 2022-04-18 | add method to get absolute address of a pointer (useful only for Miri) | Ralf Jung | -6/+2 |
| 2022-04-18 | avoid pairing up AllocId and PointerTag, which is redundant | Ralf Jung | -16/+21 |
| 2022-04-17 | ptr_get_alloc_id: don't return an actual Pointer | Ralf Jung | -29/+28 |
| 2022-04-17 | interpret: more debug logging for read_scalar and write_scalar | Ralf Jung | -4/+21 |
| 2022-04-17 | add caution to some comments | Ralf Jung | -1/+1 |
| 2022-04-17 | when writing uninit to an allocation, also clear relocations like other write... | Ralf Jung | -4/+9 |
| 2022-04-11 | Add new `Deinit` statement kind | Jakob Degen | -0/+5 |
| 2022-04-07 | interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internal | Ralf Jung | -15/+23 |
| 2022-04-05 | interp: pass TyCtxt to Machine methods that do not take InterpCx | Ralf Jung | -5/+6 |
| 2022-04-03 | tweak some function names | Ralf Jung | -11/+11 |
| 2022-04-03 | interpret: remove MemoryExtra in favor of giving access to the Machine | Ralf Jung | -98/+109 |
| 2022-03-30 | Spellchecking some comments | Yuri Astrakhan | -1/+1 |
| 2022-03-22 | interpret/memory: simplify check_and_deref_ptr | Ralf Jung | -15/+5 |
| 2022-03-11 | Rollup merge of #94827 - RalfJung:offset-from-ub, r=oli-obk | Dylan DPC | -3/+3 |
| 2022-03-10 | adjust offset_from logic: check that both pointers are in-bounds | Ralf Jung | -3/+3 |
| 2022-03-09 | normalization change and rebase | b-naber | -0/+3 |
| 2022-03-07 | Introduce `ConstAllocation`. | Nicholas Nethercote | -3/+3 |
| 2022-02-24 | Miri fn ptr check: don't use conservative null check | Ralf Jung | -15/+0 |
| 2022-02-21 | Fix typo | est31 | -1/+1 |
