rust-lang/a-mir-formality
View on GitHub ↗ ★ 372 Rust
a model of MIR and the Rust type/trait system
3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2023-08-18 · latest 2026-10-13
20082026
-
…) is slowly getting more complete over time. Other ongoing efforts include a-mir-formality ( https://github.com/rust-lang/a-mir-formality ), minirust ( https://github.com/minirust/minirust ), the FLS ( https://github.com/rust-lang/fls ),…
comment by Georgelemental · 2026-10-13 · in 11 year old unsoundness bugs found in Rust borrow checker -
…internal representation that's sufficiently well specified to build formal models of (see https://github.com/rust-lang/a-mir-formality and https://github.com/rust-lang/miri ), as well as the ferrocene spec (…
comment by AlotOfReading · 2024-11-11 · in US government wants devs to stop using C and C++ -
…We may choose to port the model to another system at some point, or maintain multiple variants. [0] https://github.com/rust-lang/a-mir-formality [1] https://github.com/rust-lang/a-mir-formality/tree/1f40120f09...
comment by nextaccountic · 2023-08-18 · in My resignation letter as R7RS-large chair