| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2022-02-19 | rustc_const_eval: adopt let else in more places | est31 | -33/+27 |
| 2021-11-13 | fix ICE on Miri/CTFE copy of half a pointer | Ralf Jung | -7/+6 |
| 2021-09-07 | Rename rustc_mir to rustc_const_eval. | Camille GILLOT | -0/+1186 |
