Loreon
Labs
Platform
Docs
Home
Ecosystems
Rust
stable-mir-dev
Personal dev repository for the project stable mir
Rust
Emerging
GitHub
Stars
—
Forks
—
Contributors
4
Last push
7mo ago
Recent commits
Latest commits.
Add a job to check the demo
e543519
Celina G. Val
27mo ago
Add a demo example to be used in the RW2024
12ee0c1
Celina G. Val
27mo ago
Fix compilation after changes to trait and run
801f474
Celina G. Val
29mo ago
Fix test after moving name fn to CrateDef trait (#55)
8ec26c6
Celina G. Val
31mo ago
Improve our tests to check instances and visitor (#51)
4188bdc
Celina G. Val
31mo ago
Adjust test driver due to breaking changes
16849ae
Celina G. Val
32mo ago
Fix mdbook and add format check
fd9ce75
Celina G. Val
33mo ago
Add custom toolchain section
8b4868e
Celina G. Val
33mo ago
Top contributors
Builders behind this project.
celinval
15 commits
RalfJung
1 commits
fee1-dead
1 commits
oskgo
1 commits
