2 Repositories
Rust miri Libraries
A Rust doubly-linked intrusive list with Miri tests
Intrusive stack-allocated doubly-linked list example Quickstart cargo test Or to run the tests under Miri: rustup toolchain install nightly # if y
9 Dec 4, 2022
An interpreter for Rust's mid-level intermediate representation
Miri An experimental interpreter for Rust's mid-level intermediate representation (MIR). It can run binaries and test suites of cargo projects and det
2.9k Jan 8, 2023