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

Python: Require argo-client >=0.0.13
GaloisInc · Sep 18, 2024 · 1b94a6f · 1b94a6f
2 parents b1bdfd0 + 1b302af
commit 1b94a6f
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 7 deletions.
diff --git a/cryptol-remote-api/python/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md
@@ -1,6 +1,9 @@
 # Revision history for `cryptol` Python package
 
-## next -- TBA
+## 3.2.1 -- 2024-08-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.
 
 ## 3.2.0 -- 2024-08-20
 

diff --git a/cryptol-remote-api/python/poetry.lock b/cryptol-remote-api/python/poetry.lock
diff --git a/cryptol-remote-api/python/pyproject.toml b/cryptol-remote-api/python/pyproject.toml
@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "cryptol"
-version = "3.2.0.99"
+version = "3.2.1.99"
 readme = "README.md"
 keywords = ["cryptography", "verification"]
 description = "Cryptol client for the Cryptol RPC server"
@@ -15,7 +15,7 @@ include = [
 [tool.poetry.dependencies]
 python = ">=3.8.0,<4"
 BitVector = "^3.4.9"
-argo-client = "0.0.12"
+argo-client = ">=0.0.13"
 typing-extensions = "^4.1.1"
 
 requests = ">=2.31.0"