Skip to content

Personal dev repository for the project stable mir

License

Apache-2.0, MIT licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT
Notifications You must be signed in to change notification settings

celinval/stable-mir-dev

 
 

Stable MIR Librarification Project Group

project group status: active project group documentation Run compiler tests

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.

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.

About

Personal dev repository for the project stable mir

Resources

License

Apache-2.0, MIT licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT

Code of conduct

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Rust 100.0%