| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-04-03 | rename `expose_addr` to `expose_provenance` | joboet | -1/+1 |
| 2024-04-02 | Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=Amanieu | Jacob Pratt | -1/+1 |
| 2024-04-02 | Auto merge of #118310 - scottmcm:three-way-compare, r=davidtwco | bors | -0/+9 |
| 2024-03-24 | Relax validation now | Michael Goulet | -5/+4 |
| 2024-03-24 | Require coroutine kind type to be passed to TyCtxt::coroutine_layout | Michael Goulet | -6/+7 |
| 2024-03-24 | Rollup merge of #122937 - Zalathar:unbox, r=oli-obk | Matthias Krüger | -2/+1 |
| 2024-03-23 | Add+Use `mir::BinOp::Cmp` | Scott McMurray | -0/+9 |
| 2024-03-24 | Rollup merge of #122168 - compiler-errors:inline-coroutine-body-validation, r... | Matthias Krüger | -4/+15 |
| 2024-03-23 | refactor check_{lang,library}_ub: use a single intrinsic, put policy into lib... | Ralf Jung | -1/+1 |
| 2024-03-23 | rename MIR int2ptr casts to match library name | Ralf Jung | -1/+1 |
| 2024-03-23 | Unbox and unwrap the contents of `StatementKind::Coverage` | Zalathar | -2/+1 |
| 2024-03-22 | Fix validation on substituted callee bodies in MIR inliner | Michael Goulet | -4/+15 |
| 2024-03-22 | coverage: Clean up marker statements that aren't needed later | Zalathar | -1/+12 |
| 2024-03-18 | add_retag: ensure box-to-raw-ptr casts are preserved for Miri | Ralf Jung | -2/+2 |
| 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 |
