| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -1/+1 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -1/+2 |
| 2024-07-25 | Auto merge of #126963 - runtimeverification:smir_serde_derive, r=celinval | bors | -1/+2 |
| 2024-06-28 | Add method to get all attributes on a definition | Adwin White | -1/+32 |
| 2024-06-28 | Support fetching `Attribute` of items. | Adwin White | -1/+7 |
| 2024-06-26 | add serde derive Serialize to stable_mir | Stephen Skeirik | -1/+2 |
| 2024-06-12 | Add a new trait to retrieve StableMir definition Ty | Celina G. Val | -1/+36 |
| 2023-11-23 | Improve documentation and fix the fixme comment | Celina G. Val | -6/+9 |
| 2023-11-22 | Add CrateDef trait and methods to get def names | Celina G. Val | -0/+66 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |