Merge pull request #2123 from GaloisInc/argo-client-0.0.13

Python: Require argo-client >= 0.0.13 and cryptol 3.2.1
GaloisInc · Sep 18, 2024 · ad9319c · ad9319c
2 parents 9251017 + b5b8c37
commit ad9319c
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 12 deletions.
diff --git a/saw-remote-api/python/CHANGELOG.md b/saw-remote-api/python/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Revision history for saw-client
 
+## 1.2.1 -- 2024-09-18
+
+* Require building with `argo-client-0.0.13` or later. `argo-client-0.0.13` uses
+  blocking IO, which should reduce CPU load when receiving replies.
+
 ## 1.2.0 -- 2024-08-30
 
 * Add `str_slice()` and `str_slice_range()` functions for constructing MIR `str`

diff --git a/saw-remote-api/python/poetry.lock b/saw-remote-api/python/poetry.lock
diff --git a/saw-remote-api/python/pyproject.toml b/saw-remote-api/python/pyproject.toml
@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "saw-client"
-version = "1.2.0.99"
+version = "1.2.1.99"
 readme = "README.md"
 description = "SAW client for the SAW RPC server"
 authors = ["Galois, Inc. <saw@galois.com>"]
@@ -14,8 +14,8 @@ include = [
 python = "^3.8"
 requests = "^2.25.1"
 BitVector = "^3.4.9"
-cryptol = "3.2.0" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
-argo-client = "0.0.12"
+cryptol = "3.2.1" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
+argo-client = ">=0.0.13"
 lmdb = "^1.4.1"
 cbor2 = "^5.4.6"
 python-dateutil = "^2.8.2"