| Age | Commit message (Expand) | Author | Lines |
|---|
| 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-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 | -3/+3 |
| 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 | -13/+18 |
| 2024-07-25 | Auto merge of #126963 - runtimeverification:smir_serde_derive, r=celinval | bors | -46/+50 |
| 2024-07-19 | Avoid ref when using format! in compiler | Yuri Astrakhan | -5/+5 |
| 2024-06-26 | add serde derive Serialize to stable_mir | Stephen Skeirik | -46/+50 |
| 2024-06-20 | Add blank lines after module-level `//!` comments. | Nicholas Nethercote | -0/+1 |
| 2024-06-13 | smir: merge identical Constant and ConstOperand types | Ralf Jung | -24/+17 |
| 2024-06-04 | Split smir `Const` into `TyConst` and `MirConst` | Boxy | -19/+32 |
| 2024-05-30 | Apply x clippy --fix and x fmt | r0cky | -2/+2 |
| 2024-05-28 | Add an intrinsic for `ptr::metadata` | Scott McMurray | -1/+13 |
| 2024-05-23 | Rollup merge of #125336 - momvart:smir-77-intrinsic, r=celinval | León Orell Valerian Liehr | -1/+3 |
| 2024-05-20 | Add intrinsic definition and retrieval APIs | Mohammad Omidvar | -1/+3 |
| 2024-05-17 | Rename Unsafe to Safety | Santiago Pastorino | -1/+1 |
| 2024-04-23 | Rollup merge of #122598 - Nadrieril:full-derefpats, r=matthewjasper | León Orell Valerian Liehr | -8/+18 |
| 2024-04-23 | Auto merge of #121801 - zetanumbers:async_drop_glue, r=oli-obk | bors | -1/+4 |
| 2024-04-21 | Add `AggregateKind::RawPtr` and enough support to compile | Scott McMurray | -0/+2 |
| 2024-04-20 | Add a non-shallow fake borrow | Nadrieril | -8/+18 |
| 2024-04-18 | Fix disabling the export of noop async_drop_in_place_raw | Daria Sukhonina | -1/+4 |
| 2024-04-10 | Rollup merge of #123659 - celinval:smir-fix-intrinsic, r=oli-obk | Guillaume Gomez | -1/+10 |
| 2024-04-09 | Rollup merge of #123655 - celinval:smir-fix-binop-ty, r=compiler-errors | Matthias Krüger | -36/+2 |
| 2024-04-08 | Add support to intrinsics fallback body | Celina G. Val | -1/+10 |
| 2024-04-08 | Remove unimplemented!() from BinOp::ty() function | Celina G. Val | -36/+2 |
| 2024-04-06 | Put checks that detect UB under their own flag below debug_assertions | Ben Kimock | -1/+1 |
| 2024-04-03 | rename `expose_addr` to `expose_provenance` | joboet | -0/+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/+4 |
| 2024-03-23 | Add+Use `mir::BinOp::Cmp` | Scott McMurray | -0/+4 |
| 2024-03-23 | Rollup merge of #122762 - RoboSchmied:RoboSchmied-typo, r=workingjubilee | Jubilee | -2/+2 |
| 2024-03-23 | refactor check_{lang,library}_ub: use a single intrinsic, put policy into lib... | Ralf Jung | -8/+2 |
| 2024-03-23 | rename MIR int2ptr casts to match library name | Ralf Jung | -1/+1 |
| 2024-03-21 | Rollup merge of #122801 - celinval:smir-pretty, r=compiler-errors | Matthias Krüger | -335/+222 |
| 2024-03-20 | s/place_debug/place_pretty in SMIR | Celina G. Val | -1/+1 |
| 2024-03-20 | Enable users to dump the body of an instance | Celina G. Val | -1/+8 |
| 2024-03-20 | Improve emit stable mir body | Celina G. Val | -335/+215 |
| 2024-03-20 | Update target.rs alloc.rs event.rs simd.rs | RoboSchmied | -2/+2 |
| 2024-03-20 | resolve clippy errors | onur-ozkan | -4/+4 |
| 2024-03-13 | Rollup merge of #122203 - adpaco-aws:smir-intrinsic-name, r=celinval | Matthias Krüger | -0/+11 |
| 2024-03-12 | Add `intrinsic_name` to get plain intrinsic name | Adrian Palacios | -0/+11 |
| 2024-03-08 | Distinguish between library and lang UB in assert_unsafe_precondition | Ben Kimock | -2/+8 |
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -1/+1 |
| 2024-02-08 | Add a new debug_assertions instrinsic (compiler) | Ben Kimock | -0/+3 |
| 2024-01-11 | Add more information to `visit_projection_elem` | Celina G. Val | -19/+38 |
| 2023-12-28 | Restore movability to SMIR | Michael Goulet | -4/+8 |
