Merge pull request #1518 from GaloisInc/rpc-version

rpc version

saw-remote-api/CHANGELOG.md

@@ -1,5 +1,11 @@
 # Revision history for saw-remote-api
 
-## 0.1.0.0 -- YYYY-mm-dd
 
-* First version. Released on an unsuspecting world.
+## 0.9.1 -- YYYY-MM-DD
+
+* NEW CHANGELOG ENTRIES SINCE 0.9.0 GO HERE
+
+
+## 0.9.0 -- 2021-11-19
+
+* v0.9 release

saw-remote-api/python/CHANGELOG.md

@@ -0,0 +1,10 @@
+# Revision history for saw-client
+
+## 0.9.1 -- YYYY-MM-DD
+
+* NEW CHANGELOG ENTRIES SINCE 0.9.0 GO HERE
+
+
+## 0.9.0 -- 2021-11-19
+
+* v0.9 release

saw-remote-api/python/pyproject.toml

@@ -1,9 +1,9 @@
 [tool.poetry]
 name = "saw-client"
-version = "0.8.1"
+version = "0.9.1"
 readme = "README.md"
-description = "SAW client for the SAW 0.8 RPC server"
-authors = ["Andrew Kent <[email protected]>", "Aaron Tomb <atomb@galois.com>"]
+description = "SAW client for the SAW 0.9 RPC server"
+authors = ["Galois, Inc. <saw@galois.com>"]
 license = "BSD License"
 include = [
     "LICENSE",
@@ -14,7 +14,7 @@ include = [
 python = "^3.8"
 requests = "^2.25.1"
 BitVector = "^3.4.9"
-cryptol = { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
+cryptol = "2.12.0" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
 argo-client = "~0.0.6"
 
 [tool.poetry.dev-dependencies]

saw-remote-api/saw-remote-api.cabal

@@ -4,14 +4,14 @@ cabal-version:       2.4
 -- http://haskell.org/cabal/users-guide/
 
 name:                saw-remote-api
-version:             0.1.0.0
+version:             0.9.1
 -- synopsis:
 -- description:
 -- bug-reports:
 license:             BSD-3-Clause
 license-file:        LICENSE
-author:              Kenny Foner
-maintainer:          kwf@galois.com
+author:              Galois, Inc.
+maintainer:          saw@galois.com
 -- copyright:
 category:            Network
 extra-source-files:  CHANGELOG.md