| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-06 | Rollup merge of #111917 - WaffleLapkin:validate_unalloc, r=oli-obk | Michael Goulet | -14/+9 |
| 2023-06-27 | Auto merge of #112693 - ericmarkmartin:use-more-placeref, r=spastorino | bors | -7/+5 |
| 2023-06-25 | use PlaceRef abstractions more consistently | Eric Mark Martin | -7/+5 |
| 2023-06-19 | Dedup some type checks in the MIR validator | Scott McMurray | -50/+27 |
| 2023-06-19 | Promote unchecked_add/sub/mul/shl/shr to mir::BinOp | Scott McMurray | -1/+19 |
| 2023-05-24 | Simplify duplicate checks for mir validator | Maybe Waffle | -14/+9 |
| 2023-05-14 | Start node has no immediate dominator | Tomasz Miąsko | -1/+1 |
| 2023-05-13 | Implement references VarDebugInfo. | Camille GILLOT | -1/+9 |
| 2023-05-03 | Restrict `From<S>` for `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | -2/+2 |
| 2023-04-24 | Split `{Idx, IndexVec, IndexSlice}` into their own modules | Maybe Waffle | -1/+1 |
| 2023-04-22 | Auto merge of #104844 - cjgillot:mention-eval-place, r=jackh726,RalfJung | bors | -8/+1 |
| 2023-04-21 | Actually keep `PlaceMention` if requested. | Camille GILLOT | -8/+1 |
| 2023-04-21 | intern offsetof fields | DrMeepster | -1/+1 |
| 2023-04-21 | offset_of | DrMeepster | -4/+49 |
| 2023-04-17 | Spelling - compiler | Josh Soref | -1/+1 |
| 2023-04-09 | Fix transmute intrinsic mir validation ICE | Jakob Degen | -2/+10 |
| 2023-04-06 | Address review feedback | Gary Guo | -15/+23 |
| 2023-04-06 | Rename `Abort` terminator to `Terminate` | Gary Guo | -2/+5 |
| 2023-04-06 | Refactor unwind from Option to a new enum | Gary Guo | -9/+9 |
| 2023-04-04 | Rollup merge of #109901 - cjgillot:validate-debuginfo, r=b-naber | Michael Goulet | -4/+39 |
| 2023-04-03 | Enforce VarDebugInfo::Place in MIR validation. | Camille GILLOT | -4/+39 |
| 2023-04-01 | slighty simplify a few boolean expressions (clippy::nonminimal_bool) | Matthias Krüger | -2/+1 |
| 2023-03-30 | Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>` | Scott McMurray | -1/+1 |
| 2023-03-25 | Refactor: `VariantIdx::from_u32(0)` -> `FIRST_VARIANT` | Scott McMurray | -2/+2 |
| 2023-03-22 | Add `CastKind::Transmute` to MIR | Scott McMurray | -0/+27 |
| 2023-03-15 | Auto merge of #108282 - cjgillot:mir-checked-sh, r=tmiasko | bors | -9/+0 |
| 2023-03-09 | Introduce a no-op PlaceMention statement for `let _ =`. | Camille GILLOT | -0/+8 |
| 2023-03-08 | Rollup merge of #108856 - Zeegomo:remove-drop-and-rep, r=tmiasko | Matthias Krüger | -12/+0 |
| 2023-03-07 | Remove DropAndReplace terminator | Giacomo Pasini | -12/+0 |
| 2023-03-05 | Check for free regions in MIR validation | Ben Kimock | -0/+11 |
| 2023-02-27 | Implement checked Shl/Shr at MIR building. | Camille GILLOT | -9/+0 |
| 2023-02-27 | Auto merge of #108175 - cjgillot:validate-storage, r=tmiasko | bors | -2/+20 |
| 2023-02-25 | Explain that this is UB catching instead of malformed MIR. | Camille GILLOT | -0/+7 |
| 2023-02-25 | MIR-Validate StorageLive. | Camille GILLOT | -2/+13 |
| 2023-02-24 | Rename many interner functions. | Nicholas Nethercote | -1/+1 |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -1/+1 |
| 2023-02-16 | remove bound_type_of query; make type_of return EarlyBinder; change type_of i... | Kyle Matsuda | -1/+1 |
| 2023-02-10 | revert #107074 | lcnr | -1/+10 |
| 2023-02-02 | Stop deaggregating enums in MIR. | Camille GILLOT | -17/+5 |
| 2023-01-30 | Replace some `_ == _ || _ == _`s with `matches!(_, _ | _)`s | Maybe Waffle | -1/+1 |
| 2023-01-29 | Auto merge of #106227 - bryangarza:ctfe-limit, r=oli-obk | bors | -0/+1 |
| 2023-01-27 | Remember where a type was kept in MIR. | Camille GILLOT | -2/+2 |
| 2023-01-23 | Create stable metric to measure long computation in Const Eval | Bryan Garza | -0/+1 |
| 2023-01-19 | remove unnecessary check for opaque types | lcnr | -6/+1 |
| 2023-01-16 | Avoid trivial checks on cleanup control flow in MIR validator | Jakob Degen | -4/+11 |
| 2023-01-16 | Add cycle checking to cleanup control flow validation | Jakob Degen | -18/+47 |
| 2023-01-16 | Document wf constraints on control flow in cleanup blocks | Jakob Degen | -5/+57 |
| 2022-12-21 | Forbid `RetagKind::TwoPhase` as well | Jakob Degen | -2/+2 |
| 2022-12-21 | Clarify that raw retags are not permitted in Mir | Jakob Degen | -3/+6 |
| 2022-12-14 | Ensure no one constructs `AliasTy`s themselves | Oli Scherer | -1/+1 |
