GitHub repository: GaloisInc/mir-json
Primary language: Rust
Created: 2017-08-15T18:36:16Z
Description: Plugin for rustc to dump MIR in JSON format