| Age | Commit message (Expand) | Author | Lines |
| 2025-02-10 | Extend the renaming to coerce_unsafe_ptr | Bastian Kersting | -1/+1 |
| 2025-02-08 | occured -> occurred | Michael Goulet | -2/+2 |
| 2025-02-03 | Contracts core intrinsics. | Felix S. Klock II | -1/+4 |
| 2025-01-31 | Insert null checks for pointer dereferences when debug assertions are enabled | Bastian Kersting | -1/+9 |
| 2025-01-28 | Represent the raw pointer for a array length check as a new kind of fake borrow | Michael Goulet | -5/+33 |
| 2025-01-16 | Add gpu-kernel calling convention | Flakebi | -0/+3 |
| 2024-12-18 | make no-variant types a dedicated Variants variant | Ralf Jung | -1/+3 |
| 2024-12-18 | Variants::Single: do not use invalid VariantIdx for uninhabited enums | Ralf Jung | -0/+1 |
| 2024-12-14 | Encode coroutine-closures in SMIR | Michael Goulet | -2/+22 |
| 2024-11-08 | Rollup merge of #132161 - celinval:smir-fix-indent, r=compiler-errors | Stuart Cook | -25/+84 |
| 2024-11-07 | Rollup merge of #132131 - celinval:smir-crate-defs, r=compiler-errors | Jubilee | -1/+18 |
| 2024-11-07 | [StableMIR] A few fixes to pretty printing | Celina G. Val | -25/+84 |
| 2024-11-07 | [StableMIR] API to retrieve definitions from crates | Celina G. Val | -1/+18 |
| 2024-10-24 | Rollup merge of #132085 - celinval:update-smir-doc, r=compiler-errors | Jubilee | -88/+22 |
| 2024-10-24 | Update README.md | Celina G. Val | -3/+11 |
| 2024-10-24 | Apply suggestions from code review | Celina G. Val | -2/+2 |
| 2024-10-24 | Remove associated type based effects logic | Michael Goulet | -1/+0 |
| 2024-10-16 | Rollup merge of #131778 - practicalrs:fix_needless_lifetimes, r=jieyouxu | Matthias Krüger | -1/+1 |
| 2024-10-16 | Rollup merge of #131777 - practicalrs:fix_trivially_copy_pass_by_ref, r=jieyouxu | Matthias Krüger | -3/+3 |
| 2024-10-16 | Fix needless_lifetimes in stable_mir | Michal Piotrowski | -1/+1 |
| 2024-10-16 | Fix trivially_copy_pass_by_ref in stable_mir | Michal Piotrowski | -3/+3 |
| 2024-10-16 | Rollup merge of #131700 - practicalrs:fix_match_same_arms, r=celinval | Urgau | -38/+24 |
| 2024-10-15 | Fix uninlined_format_args in stable_mir | Michal Piotrowski | -12/+12 |
| 2024-10-14 | Fix match_same_arms in stable_mir | Michal Piotrowski | -38/+24 |
| 2024-10-05 | clarify semantics of ConstantIndex MIR projection | Ralf Jung | -2/+4 |
| 2024-10-04 | Rollup merge of #131194 - practicalrs:fix_needless_lifetimes, r=celinval | Jubilee | -2/+2 |
| 2024-10-04 | Use wide pointers consistenly across the compiler | Urgau | -3/+3 |
| 2024-10-03 | Fix needless_lifetimes in stable_mir | Michal Piotrowski | -2/+2 |
| 2024-09-27 | Auto merge of #130946 - matthiaskrgr:rollup-ia4mf0y, r=matthiaskrgr | bors | -1/+1 |
| 2024-09-27 | Rollup merge of #130826 - fmease:compiler-mv-obj-safe-dyn-compat, r=compiler-... | Matthias Krüger | -1/+1 |
| 2024-09-26 | Use `&raw` in the compiler | Josh Stone | -1/+1 |
| 2024-09-25 | Update StableMIR doc to reflect current status | Celina G. Val | -88/+14 |
| 2024-09-25 | Compiler: Rename "object safe" to "dyn compatible" | León Orell Valerian Liehr | -1/+1 |
| 2024-09-24 | unify dyn* coercions with other pointer coercions | Lukas Markeffsky | -0/+1 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -10/+10 |
| 2024-09-21 | add `C-cmse-nonsecure-entry` ABI | Folkert de Vries | -0/+2 |
| 2024-09-02 | chore: Fix typos in 'compiler' (batch 3) | Alexander Cyon | -2/+2 |
| 2024-08-23 | Introduce methods for obtaining `Location` for statements and terminators | Artem Agvanian | -4/+14 |
| 2024-08-16 | Add an ability to convert between `Span` and `visit::Location` | Artem Agvanian | -0/+6 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -36/+42 |
| 2024-07-25 | Auto merge of #126963 - runtimeverification:smir_serde_derive, r=celinval | bors | -139/+166 |
| 2024-07-19 | Avoid ref when using format! in compiler | Yuri Astrakhan | -5/+5 |
| 2024-07-11 | Remove extern "wasm" ABI | Nikita Popov | -1/+0 |
| 2024-06-28 | Add method to get all attributes on a definition | Adwin White | -25/+41 |
| 2024-06-28 | Support fetching `Attribute` of items. | Adwin White | -2/+33 |
| 2024-06-26 | add serde derive Serialize to stable_mir | Stephen Skeirik | -139/+166 |
| 2024-06-26 | Remove `f16` and `f128` ICE paths from smir | Trevor Gross | -0/+2 |
| 2024-06-21 | Add method to get `FnAbi` of function pointer | Adwin White | -1/+14 |
| 2024-06-20 | Add blank lines after module-level `//!` comments. | Nicholas Nethercote | -0/+1 |
| 2024-06-15 | Rollup merge of #126410 - RalfJung:smir-const-operand, r=oli-obk | Guillaume Gomez | -24/+17 |