2 Repositories
Rust MIRAI Libraries
Rust mid-level IR Abstract Interpreter
MIRAI MIRAI is an abstract interpreter for the Rust compiler's mid-level intermediate representation (MIR). It is intended to become a widely used sta
789 Dec 26, 2022
Rust mid-level IR Abstract Interpreter
MIRAI MIRAI is an abstract interpreter for the Rust compiler's mid-level intermediate representation (MIR). It is intended to become a widely used sta
793 Jan 2, 2023