| Age | Commit message (Expand) | Author | Lines |
| 2023-09-12 | Add explicit_predicates_of to SMIR | Santiago Pastorino | -0/+5 |
| 2023-09-09 | add function that returns span of an item | ouz-a | -0/+7 |
| 2023-09-06 | Rollup merge of #115605 - ouz-a:smir_better_debug, r=oli-obk | Matthias Krüger | -1/+8 |
| 2023-09-06 | Ty Debug now prints id and kind | ouz-a | -1/+8 |
| 2023-09-06 | Implement and test monomorphization | Oli Scherer | -2/+63 |
| 2023-09-06 | Allow fetching the SMIR body of FnDefs | Oli Scherer | -3/+13 |
| 2023-09-06 | Deopaquify `ParamConst` | Oli Scherer | -10/+17 |
| 2023-09-06 | Add types to all constants | Oli Scherer | -6/+6 |
| 2023-09-06 | Also use `Const` in `SMIR` instead of just `ConstantKind` | Oli Scherer | -2/+2 |
| 2023-09-06 | Add type folder to SMIR | Oli Scherer | -1/+218 |
| 2023-09-05 | Add tests and use ControlFlow | Celina G. Val | -1/+6 |
| 2023-09-05 | Diferentiate between ICE and compilation error | Celina G. Val | -1/+6 |
| 2023-09-05 | Adjust StableMIR interface to return and not crash | Celina G. Val | -0/+4 |
| 2023-09-04 | provide more useful info for DefId Debug | ouz-a | -1/+15 |
| 2023-09-03 | Auto merge of #115470 - ericmarkmartin:stable-prov, r=oli-obk | bors | -2/+8 |
| 2023-09-02 | add stable provenance | Eric Mark Martin | -2/+8 |
| 2023-09-01 | Create a SMIR visitor | Oli Scherer | -0/+187 |
| 2023-08-30 | Move some logic using rustc datastructures to the `rustc_smir` module | Oli Scherer | -124/+1 |
| 2023-08-30 | Move around constants' `Stable` impls a bit | Oli Scherer | -12/+8 |
| 2023-08-29 | Rollup merge of #115300 - spastorino:smir-tweaks, r=oli-obk | Matthias Krüger | -38/+17 |
| 2023-08-29 | Create StableMir replacer for SMirCalls | ouz-a | -2/+1 |
| 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 | -9/+3 |
| 2023-08-29 | Add stable_mir::DefId as new type wrapper | Santiago Pastorino | -1/+2 |
| 2023-08-28 | Context::generics _of/predicates_of should receive stable_mir::DefId | Santiago Pastorino | -4/+4 |
| 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 | -3/+10 |
| 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 | -39/+4 |
| 2023-08-25 | Add stable for Constant in smir | ouz-a | -3/+10 |
| 2023-08-23 | predicates of | Eric Mark Martin | -2/+15 |
| 2023-08-23 | stable types for predicates | Eric Mark Martin | -0/+78 |
| 2023-08-22 | add generics_of to smir | ouz-a | -12/+49 |
| 2023-08-22 | Treat `StatementKind::Coverage` as completely opaque for SMIR purposes | Zalathar | -39/+4 |
| 2023-08-21 | stable_mir: docs clarification | Ralf Jung | -1/+1 |
| 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-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 | -1/+5 |
| 2023-08-12 | Rollup merge of #114703 - ouz-a:smir_allocation, r=oli-obk | Matthias Krüger | -0/+1 |
| 2023-08-11 | Make Const more useful in smir | ouz-a | -1/+5 |
| 2023-08-10 | cover ParamConst | ouz-a | -0/+1 |
| 2023-08-10 | Add impl trait declarations to SMIR | Santiago Pastorino | -1/+27 |
| 2023-08-10 | Fix copy & paste doc error | Santiago Pastorino | -1/+1 |
| 2023-08-09 | Rollup merge of #114587 - ouz-a:smir_allocation, r=oli-obk | Matthias Krüger | -1/+146 |
| 2023-08-09 | only allocate bytes within AllocRange | ouz-a | -9/+42 |
| 2023-08-09 | Convert Const to Allocation in smir | ouz-a | -1/+113 |
| 2023-08-08 | fix: add RiscvInterrupt* cconv to smir | Seth Pellegrino | -0/+2 |