Welcome to the repository for the Stable MIR Librarification Project Group! Our goal is to provide a stable API based on the rust compiler mid-level intermediate representation (MIR) that can be used as the foundation for development of tools that want to perform sophisticated analyses and make stronger guarantees about the behavior of Rust programs.
This is the repository we use to organise our work. Please refer to our charter as well as our github pages website for more information on our goals and current scope.
If you are wondering how to use Stable MIR in your project, also see the rustc_smir crate.
You can find a list of the current members available
on rust-lang/team.
If you'd like to participate be sure to check out any of our open issues on this repository.
We also participate on Zulip, feel free to introduce yourself over there and ask us any questions you have.