GitHub repository: tsion/miri
Primary language: Rust
Created: 2015-11-12T21:51:25Z
Description: An experimental interpreter for Rust MIR