| Age | Commit message (Expand) | Author | Lines |
| 2023-09-06 | Add types to all constants | Oli Scherer | -8/+9 |
| 2023-09-06 | Also use `Const` in `SMIR` instead of just `ConstantKind` | Oli Scherer | -15/+19 |
| 2023-09-06 | Add type folder to SMIR | Oli Scherer | -6/+255 |
| 2023-09-05 | Add tests and use ControlFlow | Celina G. Val | -34/+34 |
| 2023-09-05 | SMIR: Allow users to pick if compilation continues | Celina G. Val | -8/+20 |
| 2023-09-05 | Diferentiate between ICE and compilation error | Celina G. Val | -8/+15 |
| 2023-09-05 | Adjust StableMIR interface to return and not crash | Celina G. Val | -11/+37 |
| 2023-09-04 | provide more useful info for DefId Debug | ouz-a | -1/+20 |
| 2023-09-03 | Auto merge of #115470 - ericmarkmartin:stable-prov, r=oli-obk | bors | -7/+28 |
| 2023-09-02 | add stable provenance | Eric Mark Martin | -7/+28 |
| 2023-09-01 | Create a SMIR visitor | Oli Scherer | -3/+202 |
| 2023-08-30 | Move some logic using rustc datastructures to the `rustc_smir` module | Oli Scherer | -131/+135 |
| 2023-08-30 | Reuse the `ty::Const: Stable` impl | Oli Scherer | -5/+3 |
| 2023-08-30 | Exhaustively match on `ty::Const::kind` | Oli Scherer | -1/+12 |
| 2023-08-30 | Move around constants' `Stable` impls a bit | Oli Scherer | -27/+28 |
| 2023-08-29 | Rollup merge of #115300 - spastorino:smir-tweaks, r=oli-obk | Matthias Krüger | -71/+41 |
| 2023-08-29 | Create StableMir replacer for SMirCalls | ouz-a | -2/+42 |
| 2023-08-29 | Call these methods from high level stable_mir::trait_decl(trait_def) and so on | Santiago Pastorino | -12/+0 |
| 2023-08-29 | Implement generics_of and predicates_of only for TraitDecl for now | Santiago Pastorino | -6/+10 |
| 2023-08-29 | Deduplicate GenericPredicates | Santiago Pastorino | -11/+5 |
| 2023-08-29 | Index def_ids directly | Santiago Pastorino | -20/+4 |
| 2023-08-29 | Add stable_mir::DefId as new type wrapper | Santiago Pastorino | -15/+23 |
| 2023-08-28 | Context::generics _of/predicates_of should receive stable_mir::DefId | Santiago Pastorino | -12/+12 |
| 2023-08-28 | Remove stable_mir::generics_of/predicates_of those shouldn't be exposed | Santiago Pastorino | -8/+0 |
| 2023-08-26 | Auto merge of #115211 - spastorino:add-missing-smir-generics-of, r=compiler-e... | bors | -0/+4 |
| 2023-08-25 | Auto merge of #115202 - ouz-a:more_smir, r=spastorino | bors | -4/+23 |
| 2023-08-25 | Add missing high-level stable_mir::generics_of fn | Santiago Pastorino | -0/+4 |
| 2023-08-25 | Auto merge of #115093 - Zalathar:smir-coverage, r=cjgillot,oli-obk | bors | -94/+5 |
| 2023-08-25 | Auto merge of #115045 - RalfJung:unwind-terminate-reason, r=davidtwco | bors | -2/+2 |
| 2023-08-25 | Add stable for Constant in smir | ouz-a | -4/+23 |
| 2023-08-24 | when terminating during unwinding, show the reason why | Ralf Jung | -2/+2 |
| 2023-08-23 | predicates of | Eric Mark Martin | -12/+43 |
| 2023-08-23 | stable types for predicates | Eric Mark Martin | -11/+269 |
| 2023-08-22 | add generics_of to smir | ouz-a | -13/+129 |
| 2023-08-22 | Treat `StatementKind::Coverage` as completely opaque for SMIR purposes | Zalathar | -94/+5 |
| 2023-08-21 | stable_mir: docs clarification | Ralf Jung | -1/+1 |
| 2023-08-20 | give some unwind-related terminators a more clear name | Ralf Jung | -2/+2 |
| 2023-08-16 | Add missing Clone/Debug impls to SMIR Trait related tys | Santiago Pastorino | -0/+3 |
| 2023-08-16 | Rollup merge of #114859 - spastorino:add-smir-cx-trait-fns, r=compiler-errors | Matthias Krüger | -0/+16 |
| 2023-08-16 | Auto merge of #114689 - m-ou-se:stabilize-thread-local-cell-methods, r=thomcc | bors | -1/+0 |
| 2023-08-15 | Add trait related queries to SMIR's rustc_internal | Santiago Pastorino | -0/+16 |
| 2023-08-14 | Rollup merge of #114745 - ouz-a:smir_const, r=spastorino | Matthias Krüger | -6/+23 |
| 2023-08-12 | Rollup merge of #114703 - ouz-a:smir_allocation, r=oli-obk | Matthias Krüger | -1/+4 |
| 2023-08-11 | Make Const more useful in smir | ouz-a | -6/+23 |
| 2023-08-10 | cover ParamConst | ouz-a | -1/+4 |
| 2023-08-10 | Add impl trait declarations to SMIR | Santiago Pastorino | -1/+75 |
| 2023-08-10 | Fix copy & paste doc error | Santiago Pastorino | -1/+1 |
| 2023-08-10 | Stabilize thread local cell methods. | Mara Bos | -1/+0 |
| 2023-08-09 | Rollup merge of #114587 - ouz-a:smir_allocation, r=oli-obk | Matthias Krüger | -27/+183 |
| 2023-08-09 | only allocate bytes within AllocRange | ouz-a | -34/+47 |