GaloisInc / saw-script

The SAW scripting language.
BSD 3-Clause "New" or "Revised" License
442 stars 63 forks source link

Explicitly pin the `mir-json` version that SAW requires #2115

Closed RyanGlScott closed 2 months ago

RyanGlScott commented 2 months ago

SAW's MIR backend requires a particular MIR JSON schema, but it is not entirely obvious which version of the JSON schema to use (#2111). This patch is one step towards addressing this concern. It:

In the future, we will want to actually build and use mir-json in the CI (see #1868 for an in-progress attempt at this), but in the meantime, this is a decent first step. Until we actually start building mir-json in the CI and using it, we will need to remember to bump the mir-json submodule each time that SAW's JSON schema requirement changes.

Addresses one part of #2111.