crux-mir supported toolchain version too old

[podhrmic]

Hi! I wanted to take crux-mir for a spin, and try some tests on smoltcp library.

However, the crux-mir supported toolchain (nightly-2020-03-22-x86_64-unknown-linux-gnu) doesn't work for my library (cargo build will fail). I tried rewinding to older smoltcp releases, to no avail.

Looks like the offender is mir-json - what does it take to support at least a slightly newer toolchain than 2020?

[TomMD]

Right, the big issue here seems to be GaloisInc/mir-json#32

mir-json will need a bit of a lift to get things running on modern rust.

[RyanGlScott]

It's a little bit of both. mir-json will need to be overhauled, and the resulting JSON schema will also need to be adapted to on the crux-mir side. This is something that we are actively working on.

[RyanGlScott]

This was fixed in #1096.