nikomatsakis/a-mir-formality

This is stars and forks stats for /nikomatsakis/a-mir-formality repository. As of 04 May, 2024 this repository has 222 stars and 24 forks.

a-mir-formality This repository is an early-stage experimental project that aims to be a complete, authoritative formal model of the Rust MIR. Presuming these experiments bear fruit, the intention is to bring this model into Rust as an RFC and develop it as an official part of the language definition. Quickstart guide Like any Rust project: Clone cargo test --all Layers of formality Formality is structured into several layers. These layers are meant to also map fairly closely onto chalk and the eventual...