| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-11-08 | another attempt at performance improvements | Ralf Jung | -23/+26 |
| 2022-11-07 | less unsupported errors in Miri, and clarifying comments | Ralf Jung | -9/+9 |
| 2022-11-07 | try to make things faster when only ptr provenance can exist | Ralf Jung | -5/+17 |
| 2022-11-06 | make uninit_mask a unit test | Ralf Jung | -1/+22 |
| 2022-11-06 | move InitMask to its own module | Ralf Jung | -587/+567 |
| 2022-11-06 | dont debug-print allocations, that's too verbose | Ralf Jung | -4/+4 |
| 2022-11-06 | interpret: support for per-byte provenance | Ralf Jung | -185/+312 |
| 2022-10-22 | Auto merge of #103227 - lcnr:bye-bye-unevaluated-const, r=oli-obk | bors | -1/+25 |
| 2022-10-21 | fix some typos | Rageking8 | -1/+1 |
| 2022-10-18 | `const_evaluatable_unchecked` to const eval | lcnr | -1/+25 |
| 2022-10-14 | more dupe word typos | Rageking8 | -1/+1 |
| 2022-10-07 | make const_err a hard error | Ralf Jung | -18/+1 |
| 2022-10-04 | It's not about types or consts, but the lack of regions | Oli Scherer | -2/+2 |
| 2022-09-23 | rename Unevaluated to UnevaluatedConst | b-naber | -3/+3 |
| 2022-09-22 | introduce mir::Unevaluated | b-naber | -3/+7 |
| 2022-09-19 | `DestructuredConst` split mir and ty | lcnr | -1/+1 |
| 2022-09-17 | Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnr | bors | -2/+2 |
| 2022-09-15 | Replace more manual TypeFoldable and TypeVisitable impls with derives | Oli Scherer | -1/+1 |
| 2022-09-15 | derive various Lift impl instead of hand rolling them | Oli Scherer | -18/+2 |
| 2022-09-13 | use ty::Unevaluated<'tcx, ()> in type system | b-naber | -2/+2 |
| 2022-08-28 | improve OFFSET_IS_ADDR docs | Ralf Jung | -2/+6 |
| 2022-08-27 | interpret: make read-pointer-as-bytes *always* work in Miri | Ralf Jung | -95/+83 |
| 2022-08-27 | interpret: rename relocation → provenance | Ralf Jung | -95/+92 |
| 2022-08-26 | remove now-unused ScalarMaybeUninit | Ralf Jung | -134/+1 |
| 2022-08-26 | make read_immediate error immediately on uninit, so ImmTy can carry initializ... | Ralf Jung | -17/+8 |
| 2022-08-26 | remove some now-unnecessary parameters from check_bytes | Ralf Jung | -19/+4 |
| 2022-07-30 | avoid assertion failures in try_to_scalar_int | Ralf Jung | -1/+3 |
| 2022-07-23 | now we can make scalar_to_ptr a method on Scalar | Ralf Jung | -0/+18 |
| 2022-07-20 | various nits from review | Ralf Jung | -1/+1 |
| 2022-07-20 | consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable) | Ralf Jung | -14/+14 |
| 2022-07-20 | make use of symbolic vtables in interpreter | Ralf Jung | -18/+9 |
| 2022-07-20 | rename get_global_alloc to try_get_global_alloc | Ralf Jung | -5/+12 |
| 2022-07-20 | add a Vtable kind of symbolic allocations | Ralf Jung | -4/+40 |
| 2022-07-19 | interpret: rename Tag/PointerTag to Prov/Provenance | Ralf Jung | -95/+97 |
| 2022-07-13 | get rid of MemPlaceMeta::Poison | Ralf Jung | -0/+2 |
| 2022-07-09 | tweak names and output and bless | Ralf Jung | -3/+3 |
| 2022-07-09 | review feedback | Ralf Jung | -3/+3 |
| 2022-07-09 | don't allow ZST in ScalarInt | Ralf Jung | -8/+6 |
| 2022-07-06 | interpret: use AllocRange in UninitByteAccess | Ralf Jung | -60/+51 |
| 2022-07-06 | Auto merge of #98206 - eggyal:align-to-chalk-folding-api, r=jackh726 | bors | -2/+2 |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -1/+1 |
| 2022-07-05 | impl TypeVisitable in type traversal macros | Alan Egerton | -1/+1 |
| 2022-07-05 | adjust dangling-int-ptr error message | Ralf Jung | -12/+25 |
| 2022-07-05 | Rollup merge of #98811 - RalfJung:interpret-alloc-range, r=oli-obk | Dylan DPC | -25/+21 |
| 2022-07-02 | more use of format! variable capture | Ralf Jung | -2/+2 |
| 2022-07-02 | Auto merge of #97585 - lqd:const-alloc-intern, r=RalfJung | bors | -6/+11 |
| 2022-07-02 | add AllocRange Debug impl; remove redundant AllocId Display impl | Ralf Jung | -25/+21 |
| 2022-06-29 | Auto merge of #98520 - RalfJung:invalid, r=compiler-errors | bors | -2/+4 |
| 2022-06-29 | interpret: adjust error from constructing an invalid value | Ralf Jung | -2/+4 |
| 2022-06-28 | Improve pretty printing of valtrees for references | Dominik Stolz | -7/+1 |
