Prepare release v1.2 - Githubissues

GaloisInc / saw-script

The SAW scripting language.

BSD 3-Clause "New" or "Revised" License

442 stars 63 forks source link

Closed mccleeary-galois closed 2 months ago

mccleeary-galois commented 2 months ago

Bump submodules, version numbers for both saw and saw-remote-api, update changelogs in preparation for SAW-1.2.

mccleeary-galois commented 2 months ago

Oh wait, do make sure to bump the SAW Python bindings' version number in pyproject.toml as well.

Updated.

mccleeary-galois commented 2 months ago

Added #2114 to capture the issue noted with compute coverage.