Open RyanGlScott opened 3 months ago
We should offer a Docker image that provides all of the mir-json tools for a particular rustc version. These are included as part of the crux-mir image, but this is a larger image than what may be needed for certain use cases.
mir-json
rustc
crux-mir
We should offer a Docker image that provides all of the
mir-jsontools for a particularrustcversion. These are included as part of thecrux-mirimage, but this is a larger image than what may be needed for certain use cases.