Merge pull request #2589 from GaloisInc/branch-release-1.4

Branch release 1.4

Author: sauclovian-g

CHANGES.md

@@ -4,6 +4,14 @@ This release supports [version
 4](https://github.com/GaloisInc/mir-json/blob/master/SCHEMA_CHANGELOG.md#4) of
 `mir-json`'s schema.
 
+Nothing yet.
+
+# Version 1.4 -- date still TBD
+
+This release supports [version
+4](https://github.com/GaloisInc/mir-json/blob/master/SCHEMA_CHANGELOG.md#4) of
+`mir-json`'s schema.
+
 The `saw` executable's command-line handling has been changed to
 permit passing arguments to SAWScript scripts.
 Words on the command line following the script name are treated as

saw-python/CHANGELOG.md

@@ -2,6 +2,10 @@
 
 ## next -- TBA
 
+Nothing yet
+
+## 1.4 - release date still TBD
+
 * Require urllib 2.5.0 or later to avoid a security alert.
   This in turn requires Python 3.9, so Python 3.8 is no longer supported.
 

saw-python/pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "saw-client"
-version = "1.3.0.99"
+version = "1.4.0.99"
 readme = "README.md"
 description = "SAW client for the SAW RPC server"
 authors = ["Galois, Inc. <[email protected]>"]

saw-remote-api/CHANGELOG.md

@@ -2,6 +2,10 @@
 
 ## next -- TBA
 
+Nothing yet.
+
+## 1.4 -- release date still TBD
+
 * Add a `"mutable globals"` field to specification objects, which contains a
   list of strings representing the names of mutable global variables that
   should be allocated. This field can only be used with LLVM, and attempting to

saw.cabal

@@ -1,6 +1,6 @@
 Cabal-version:      3.0
 Name:               saw
-Version:            1.3.0.99
+Version:            1.4.0.99
 Author:             Galois, Inc.
 Maintainer:         [email protected]
 Build-type:         Simple