| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-05-10 | fmt | Ralf Jung | -3/+1 |
| 2022-05-10 | update/remove some old comments | Ralf Jung | -5/+1 |
| 2022-05-10 | even tighter checks for layouts on immediate field projections | Ralf Jung | -6/+11 |
| 2022-05-10 | disable one check for now until #96185 is fixed | Ralf Jung | -4/+5 |
| 2022-05-10 | tighten sanity checks around Scalar and ScalarPair | Ralf Jung | -44/+44 |
| 2022-05-10 | only_local: always check for misuse | lcnr | -17/+13 |
| 2022-05-09 | Auto merge of #96815 - SparrowLii:promote_const, r=oli-obk | bors | -42/+52 |
| 2022-05-09 | use `Result<(),()>` instead of Validity enum | SparrowLii | -54/+35 |
| 2022-05-07 | optimize `promote_consts` by cache the validate check | SparrowLii | -41/+70 |
| 2022-05-06 | Check that field projections have the correct type | Jakob Degen | -1/+55 |
| 2022-05-06 | Fix inaccurate function name in `rustc_const_eval` docs | pierwill | -3/+3 |
| 2022-05-06 | Expand validator to be more precise on checked binary ops | Jakob Degen | -3/+41 |
| 2022-05-05 | Rollup merge of #96714 - RalfJung:scalar-pair-debug, r=oli-obk | Matthias Krüger | -49/+95 |
| 2022-05-05 | give it a scary name | Ralf Jung | -10/+13 |
| 2022-05-04 | interpret: debug-check ScalarPair layout information | Ralf Jung | -43/+86 |
| 2022-05-04 | Stabilize `bool::then_some` | Josh Triplett | -1/+0 |
| 2022-05-02 | rustc: Panic by default in `DefIdTree::parent` | Vadim Petrochenkov | -4/+4 |
| 2022-04-30 | Auto merge of #96500 - SparrowLii:rpo, r=tmiasko | bors | -2/+2 |
| 2022-04-30 | Eliminate duplication of RPO calculation for mir | SparrowLii | -2/+2 |
| 2022-04-28 | Auto merge of #95976 - b-naber:valtree-constval-conversion, r=oli-obk | bors | -146/+511 |
| 2022-04-27 | combine all unsized types and add another recursive call to process nested un... | b-naber | -96/+78 |
| 2022-04-26 | account for custom DSTs in valtree -> constvalue conversion | b-naber | -9/+123 |
| 2022-04-24 | include valtree creation and valtree -> constvalue conversion in debug assert... | b-naber | -31/+30 |
| 2022-04-22 | Relax restrictions for copy operands | Jakob Degen | -1/+2 |
| 2022-04-21 | deduplicate a lot of code | b-naber | -242/+121 |
| 2022-04-21 | implement (as of now still unused) query for valtree -> constvalue conversion | b-naber | -0/+4 |
| 2022-04-21 | implement valtree -> constvalue conversion | b-naber | -150/+537 |
| 2022-04-20 | Rollup merge of #96160 - RalfJung:interpret-debug, r=oli-obk | Dylan DPC | -6/+23 |
| 2022-04-19 | Rollup merge of #96165 - RalfJung:miri-provenance-cleanup, r=oli-obk | Dylan DPC | -46/+59 |
| 2022-04-18 | remove an unnecessary use of loc_place.ptr.into_pointer_or_addr | Ralf Jung | -1/+1 |
| 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/+4 |
| 2022-04-18 | avoid pairing up AllocId and PointerTag, which is redundant | Ralf Jung | -23/+40 |
| 2022-04-17 | ptr_get_alloc_id: don't return an actual Pointer | Ralf Jung | -30/+29 |
| 2022-04-17 | downgrade really verbose logging to trace | Ralf Jung | -2/+2 |
| 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 | -5/+10 |
| 2022-04-16 | Rollup merge of #95426 - b-naber:valtrees-slice, r=RalfJung,oli-obk | Dylan DPC | -26/+58 |
| 2022-04-16 | Rollup merge of #96050 - oli-obk:deaggregator_cleanup, r=RalfJung | Dylan DPC | -19/+3 |
| 2022-04-14 | handle arrays and slices uniformly in valtree creation | b-naber | -31/+13 |
| 2022-04-14 | Remove some now-dead code that was only relevant before deaggregation. | Oli Scherer | -19/+3 |
| 2022-04-13 | Consider lifetimes when comparing types for equality in MIR validator | Jakob Degen | -4/+3 |
| 2022-04-12 | use len on mplace instead of reading immediate, remove dead code | b-naber | -39/+14 |
| 2022-04-11 | Remove rule that place loads may not happen with variant index set | Jakob Degen | -5/+2 |
| 2022-04-11 | Address various comments and change some details around place to value conver... | Jakob Degen | -1/+1 |
| 2022-04-11 | Adjust MIR validator to check a few more things for terminators | Jakob Degen | -5/+19 |
| 2022-04-11 | Extend the MIR validator to check many more things around rvalues. | Jakob Degen | -39/+161 |
| 2022-04-11 | Adjust computation of place types to detect more invalid places | Jakob Degen | -1/+9 |
| 2022-04-11 | Add new `Deinit` statement kind | Jakob Degen | -29/+92 |
