| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-04-30 | Auto merge of #96500 - SparrowLii:rpo, r=tmiasko | bors | -4/+94 |
| 2022-04-30 | Eliminate duplication of RPO calculation for mir | SparrowLii | -4/+94 |
| 2022-04-29 | remove and bless | ouz-a | -4/+0 |
| 2022-04-29 | exp-stuff-dirty | ouz-a | -0/+15 |
| 2022-04-28 | Auto merge of #95976 - b-naber:valtree-constval-conversion, r=oli-obk | bors | -0/+1 |
| 2022-04-26 | Auto merge of #96425 - oli-obk:fix_incremental_regression_unsafety_checking, ... | bors | -49/+19 |
| 2022-04-26 | Revert "add `DefId` to unsafety violations and display function path in E0133" | Oli Scherer | -49/+19 |
| 2022-04-26 | Rollup merge of #96400 - JakobDegen:shallow-init-docs, r=Dylan-DPC | Guillaume Gomez | -2/+0 |
| 2022-04-25 | Auto merge of #96294 - Emilgardis:def_id-in-unsafetyviolationdetails, r=oli-obk | bors | -19/+49 |
| 2022-04-25 | Auto merge of #96116 - ouz-a:mir-opt, r=oli-obk | bors | -0/+20 |
| 2022-04-25 | Correct documentation for `ShallowInitBox` | Jakob Degen | -2/+0 |
| 2022-04-24 | only show a simple description in E0133 span label | Emil Gardström | -11/+32 |
| 2022-04-24 | add `DefId` to unsafety violations and display function path in E0133 | Emil Gardström | -19/+28 |
| 2022-04-22 | Relax restrictions for copy operands | Jakob Degen | -2/+6 |
| 2022-04-21 | deduplicate a lot of code | b-naber | -5/+1 |
| 2022-04-21 | implement valtree -> constvalue conversion | b-naber | -1/+6 |
| 2022-04-20 | Rollup merge of #96160 - RalfJung:interpret-debug, r=oli-obk | Dylan DPC | -0/+8 |
| 2022-04-19 | Rollup merge of #96165 - RalfJung:miri-provenance-cleanup, r=oli-obk | Dylan DPC | -0/+17 |
| 2022-04-19 | Rollup merge of #96162 - RalfJung:mark-uninit, r=oli-obk | Dylan DPC | -8/+28 |
| 2022-04-18 | replace iter with into_iter() | ouz-a | -2/+2 |
| 2022-04-18 | avoid an unnecessary call to Pointer::into_parts, and caution against into_po... | Ralf Jung | -0/+4 |
| 2022-04-18 | add method to get absolute address of a pointer (useful only for Miri) | Ralf Jung | -0/+10 |
| 2022-04-18 | avoid pairing up AllocId and PointerTag, which is redundant | Ralf Jung | -0/+3 |
| 2022-04-17 | check Allocation invariant during printing | Ralf Jung | -0/+1 |
| 2022-04-17 | explain why prepare_relocation_copy works the way it does | Ralf Jung | -4/+11 |
| 2022-04-17 | add caution to some comments | Ralf Jung | -1/+7 |
| 2022-04-17 | when writing uninit to an allocation, also clear relocations like other write... | Ralf Jung | -3/+9 |
| 2022-04-17 | add log warnings for when we overwrite parts of a pointer, and de-init the rest | Ralf Jung | -0/+8 |
| 2022-04-17 | fat vec | ouz-a | -7/+5 |
| 2022-04-17 | format err | ouz-a | -5/+3 |
| 2022-04-17 | little changes | ouz-a | -7/+5 |
| 2022-04-17 | Stop using CRATE_DEF_INDEX. | Camille GILLOT | -2/+2 |
| 2022-04-16 | Make derefer work everwhere | ouz-a | -0/+26 |
| 2022-04-16 | Rollup merge of #96004 - JakobDegen:fix-validator-ice, r=petrochenkov | Dylan DPC | -1/+2 |
| 2022-04-13 | Auto merge of #95656 - cjgillot:no-id-hashing-mode, r=Aaron1011 | bors | -22/+2 |
| 2022-04-13 | Consider lifetimes when comparing types for equality in MIR validator | Jakob Degen | -1/+2 |
| 2022-04-13 | Auto merge of #94255 - b-naber:use-mir-constant-in-thir, r=oli-obk | bors | -9/+162 |
| 2022-04-12 | Remove NodeIdHashingMode. | Camille GILLOT | -22/+2 |
| 2022-04-11 | Remove rule that place loads may not happen with variant index set | Jakob Degen | -5/+4 |
| 2022-04-11 | Add more clarifications in response to Ralf's comments | Jakob Degen | -102/+84 |
| 2022-04-11 | Address various comments and change some details around place to value conver... | Jakob Degen | -35/+36 |
| 2022-04-11 | Improve MIR phases documentation with summaries of changes | Jakob Degen | -1/+23 |
| 2022-04-11 | Improve documentation for MIR terminators | Jakob Degen | -27/+121 |
| 2022-04-11 | Improve documentation for MIR statement kinds. | Jakob Degen | -16/+76 |
| 2022-04-11 | Add documentation for the semantics of MIR rvalues | Jakob Degen | -23/+100 |
| 2022-04-11 | Adjust computation of place types to detect more invalid places | Jakob Degen | -0/+3 |
| 2022-04-11 | Improve documentation of `Place` and `Operand` | Jakob Degen | -13/+121 |
| 2022-04-11 | Add new `MutatatingUseContext`s for deinit and `SetDiscriminant` | Jakob Degen | -2/+6 |
| 2022-04-11 | Document semantics of `Deinit` and `SetDiscriminant` MIR statements | Jakob Degen | -0/+7 |
| 2022-04-11 | Add new `Deinit` statement kind | Jakob Degen | -0/+11 |
