search

rust-lang / project-stable-mir

Define compiler intermediate representation usable by external tools
Other
57 stars 12 forks source link

Initial use case: a-mir-formality #29

Open celinval opened 1 year ago

celinval commented 1 year ago

Port 1 a-mir-formality crate to use StableMIR APIs.

This will help us assess our APIs with a real use case.

Kriskras99 commented 2 months ago

FYI your link has a trailing 'i' and therefore points to a 404.

celinval commented 2 months ago

Fixed! Thanks