diff --git a/saw-remote-api/python/CHANGELOG.md b/saw-remote-api/python/CHANGELOG.md index d5fc1317e..e4b5a9797 100644 --- 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 index 99c19c0a1..0d9f292c1 100644 --- a/saw-remote-api/python/poetry.lock +++ b/saw-remote-api/python/poetry.lock @@ -1,14 +1,14 @@ -# This file is automatically @generated by Poetry 1.8.2 and should not be changed by hand. +# This file is automatically @generated by Poetry 1.8.3 and should not be changed by hand. [[package]] name = "argo-client" -version = "0.0.12" +version = "0.0.13" description = "A JSON RPC client library." optional = false python-versions = "<4,>=3.8.0" files = [ - {file = "argo_client-0.0.12-py3-none-any.whl", hash = "sha256:6986b79f03d6592cdcc87cb228a0829cedf12852134c3af9083a322fa28bdc4a"}, - {file = "argo_client-0.0.12.tar.gz", hash = "sha256:97f5b2db3caa4598c5cdcb1e9c80b5d330bdc5ecae08e36198e4dab217af4b97"}, + {file = "argo_client-0.0.13-py3-none-any.whl", hash = "sha256:dd7fdab6b0aecc04c10cfb0ce2989289ebd8f9ae03d9bded16fb6ff8d5c400cb"}, + {file = "argo_client-0.0.13.tar.gz", hash = "sha256:2cbacdfaa801a89889536145ea46c63d42fa34ae0354bb4f05c39f46074939b4"}, ] [package.dependencies] @@ -189,17 +189,17 @@ files = [ [[package]] name = "cryptol" -version = "3.2.0" +version = "3.2.1" description = "Cryptol client for the Cryptol RPC server" optional = false python-versions = "<4,>=3.8.0" files = [ - {file = "cryptol-3.2.0-py3-none-any.whl", hash = "sha256:4753bbf22aeef13af09dfb1342613ccf3a573f0355775d25e16fe51d2039c860"}, - {file = "cryptol-3.2.0.tar.gz", hash = "sha256:8a18a118b97f0cb35d4509b5a060ff76b300380e6c1e76acf6e72600769de9a7"}, + {file = "cryptol-3.2.1-py3-none-any.whl", hash = "sha256:1d4126727b8c4963317dc534516ef75db4255847679559cf58ed2ce3b202ebb1"}, + {file = "cryptol-3.2.1.tar.gz", hash = "sha256:94cb3d249f1ae8485966a54fd9cc2e360f5eb7f59cbb02488a7199ef8c4777ef"}, ] [package.dependencies] -argo-client = "0.0.12" +argo-client = ">=0.0.13" BitVector = ">=3.4.9,<4.0.0" requests = ">=2.31.0" types-requests = ">=2.31.0" @@ -407,4 +407,4 @@ zstd = ["zstandard (>=0.18.0)"] [metadata] lock-version = "2.0" python-versions = "^3.8" -content-hash = "8179d8458cdeb24f26e9d8c46e5e9d7adad2935b1299658e79a0c83e7fb97f45" +content-hash = "71a23001abb21fc1bf9d541cbe4508cf1ed836b241f2bd02ad1e77a505cfc763" diff --git a/saw-remote-api/python/pyproject.toml b/saw-remote-api/python/pyproject.toml index 79fdd856d..816be227f 100644 --- 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. "] @@ -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"