search

GaloisInc / mir-json

Plugin for rustc to dump MIR in JSON format
Apache License 2.0
8 stars 2 forks source link

Update to Rust nightly-2020-03-22 #16

Closed spernsteiner closed 4 years ago

spernsteiner commented 4 years ago

Aside from the usual updates to account for rustc refactoring, this also required a bunch of improvements to constant handling. See GaloisInc/mir-verifier#23 for more info.