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

Python: Require argo-client >= 0.0.13 and cryptol 3.2.1

Author: RyanGlScott

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`

saw-remote-api/python/poetry.lock

@@ -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. <[email protected]>"]
@@ -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"