Stable MIR Librarification Project Group

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 and document our work.

If you are wondering how to use Stable MIR in your project, please check out the Getting Started chapter.

How Can I Get Involved?

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.