| Age | Commit message (Expand) | Author | Lines |
| 2024-03-08 | Distinguish between library and lang UB in assert_unsafe_precondition | Ben Kimock | -1/+1 |
| 2024-02-24 | Change InlineAsm to allow multiple targets instead | Gary Guo | -3/+3 |
| 2024-02-21 | Convert `delayed_bug`s to `bug`s. | Nicholas Nethercote | -1/+1 |
| 2024-02-15 | Enforce coroutine-closure layouts are identical | Michael Goulet | -0/+20 |
| 2024-02-14 | Use fewer delayed bugs. | Nicholas Nethercote | -12/+8 |
| 2024-02-09 | Auto merge of #120843 - matthiaskrgr:rollup-med37z5, r=matthiaskrgr | bors | -0/+2 |
| 2024-02-09 | Don't ice in validation when error body is created | Michael Goulet | -0/+2 |
| 2024-02-08 | Add a new debug_assertions instrinsic (compiler) | Ben Kimock | -1/+1 |
| 2024-02-06 | Teach typeck/borrowck/solvers how to deal with async closures | Michael Goulet | -0/+1 |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -0/+22 |
| 2024-01-26 | Normalize field types before checking validity | Michael Goulet | -9/+14 |
| 2024-01-19 | Validate AggregateKind types in MIR | Michael Goulet | -1/+61 |
| 2024-01-15 | compiler: Lower fn call arg spans down to MIR | Martin Nordholts | -1/+1 |
| 2024-01-04 | Migrate memory overlap check from validator to lint | Tomasz Miąsko | -43/+3 |
| 2023-12-28 | Remove movability from TyKind::Coroutine | Michael Goulet | -1/+1 |
| 2023-12-24 | Remove `Session` methods that duplicate `DiagCtxt` methods. | Nicholas Nethercote | -2/+2 |
| 2023-12-21 | Add pass to identify undefined or erroneous behaviour | Tomasz Miąsko | -47/+3 |
| 2023-12-18 | Rename `Session::span_diagnostic` as `Session::dcx`. | Nicholas Nethercote | -2/+2 |
| 2023-12-02 | Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`. | Nicholas Nethercote | -3/+3 |
| 2023-11-22 | Validate there are no critical call edges in optimized MIR | Tomasz Miąsko | -0/+22 |
| 2023-11-08 | rename `BorrowKind::Shallow` to `Fake` | lcnr | -2/+2 |
| 2023-10-31 | Enums in offset_of: update based on est31, scottmcm & llogiq review | George Bateman | -24/+12 |
| 2023-10-31 | Support enum variants in offset_of! | George Bateman | -11/+22 |
| 2023-10-20 | s/generator/coroutine/ | Oli Scherer | -10/+10 |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -7/+7 |
| 2023-10-02 | change is_subtype to relate_types | ouz-a | -4/+13 |
| 2023-10-02 | Add docs, remove code, change subtyper code | ouz-a | -24/+19 |
| 2023-10-02 | subtyping_projections | ouz-a | -0/+24 |
| 2023-09-28 | Add a mir validation check to prevent OpaqueCast after analysis passes finish | Oli Scherer | -0/+8 |
| 2023-09-26 | subst -> instantiate | lcnr | -2/+2 |
| 2023-09-05 | Refactor how MIR represents composite debuginfo. | Camille GILLOT | -32/+26 |
| 2023-08-28 | Rollup merge of #115164 - RalfJung:no-in-place-packed, r=b-naber | Matthias Krüger | -3/+28 |
| 2023-08-24 | when terminating during unwinding, show the reason why | Ralf Jung | -5/+14 |
| 2023-08-24 | MIR validation: reject in-place argument/return for packed fields | Ralf Jung | -3/+28 |
| 2023-08-20 | give some unwind-related terminators a more clear name | Ralf Jung | -7/+7 |
| 2023-08-18 | Add missing instantiation of generator ty in validator | Gary Guo | -1/+1 |
| 2023-08-18 | Add MIR validation for unwind out from nounwind functions | Gary Guo | -7/+41 |
| 2023-08-17 | Revert "Implement references VarDebugInfo." | Camille GILLOT | -6/+0 |
| 2023-08-01 | Use upvar_tys in more places, make it a list | Michael Goulet | -2/+3 |
| 2023-07-25 | inline format!() args from rustc_codegen_llvm to the end (4) | Matthias Krüger | -33/+28 |
| 2023-07-21 | Reuse MIR validator for inliner. | Camille GILLOT | -1/+1 |
| 2023-07-21 | Make type validation buffer errors. | Camille GILLOT | -25/+24 |
| 2023-07-21 | Separate CFG validation from type validation. | Camille GILLOT | -181/+297 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -12/+11 |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -6/+11 |
| 2023-07-07 | Rename `adjustment::PointerCast` and variants using it to `PointerCoercion` | Nilstrieb | -1/+1 |
| 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 |