| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-10-14 | more dupe word typos | Rageking8 | -1/+1 |
| 2022-08-31 | Fix a bunch of typo | Dezhi Wu | -2/+2 |
| 2022-08-27 | interpret: make read-pointer-as-bytes *always* work in Miri | Ralf Jung | -10/+14 |
| 2022-08-27 | interpret: rename relocation → provenance | Ralf Jung | -17/+17 |
| 2022-08-26 | make read_immediate error immediately on uninit, so ImmTy can carry initializ... | Ralf Jung | -14/+5 |
| 2022-08-26 | remove some now-unnecessary parameters from check_bytes | Ralf Jung | -7/+2 |
| 2022-08-26 | fix an outdated machine hook name | Ralf Jung | -2/+2 |
| 2022-08-15 | Rename Machine memory hooks to suggest when they run | Ben Kimock | -5/+11 |
| 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 |
