1.
Welcome
2.
Getting Started
2.1.
Initial Integration
2.2.
Migrating to StableMIR
2.3.
Tool Development: Tips and Tricks
3.
Contributing
Light
Rust
Coal
Navy
Ayu
Stable MIR Librarification Project
Migrating to StableMIR
For now, we recommend looking at the
Kani migration documentation
.