Ready saw-remote-api for v1.1.1 to handle python 3.12

.github/workflows/ci.yml

@@ -405,7 +405,9 @@ jobs:
 
       - uses: actions/setup-python@v2
         with:
-          python-version: '3.11'
+          # Ensure that this matches saw-remote-api/python/mypy.ini file
+          # and that saw-remote-api/python/pyproject.toml file is compatible with this version
+          python-version: '3.12'
 
       - uses: abatilo/[email protected]
         with:
@@ -701,7 +703,9 @@ jobs:
       - if: matrix.image == 'ghcr.io/galoisinc/saw-remote-api'
         uses: actions/setup-python@v2
         with:
-          python-version: '3.9'
+          # Ensure that this matches saw-remote-api/python/mypy.ini file
+          # and that saw-remote-api/python/pyproject.toml file is compatible with this version
+          python-version: '3.12'
 
       - if: matrix.image == 'ghcr.io/galoisinc/saw-remote-api'
         uses: abatilo/[email protected]

saw-remote-api/python/CHANGELOG.md

@@ -1,5 +1,9 @@
 # Revision history for saw-client
 
+## 1.1.1 -- 2024-05-16
+
+* Add support for Python 3.12
+
 ## 1.1.0 -- 2024-02-05
 
 * Add Python bindings for SAW's experimental MIR verification support:

saw-remote-api/python/README.md

@@ -199,3 +199,8 @@ saw_client.connect(url="http://localhost:8080/", reset_server=True)
 
 will connect to a SAW server running at `http://localhost:8080/` and will
 guarantee any previous state on the server is cleared.
+
+
+## Python Version Support
+
+Currently, `saw-remote-api` officially supports python `3.12`.

saw-remote-api/python/mypy.ini

@@ -1,6 +1,7 @@
 [mypy]
 no_implicit_optional = True
-python_version = 3.11
+# Ensure that this matches python-versions in .github/workflows/ci.yml file
+python_version = 3.12
 warn_return_any = True
 warn_unused_configs = True
 warn_unused_ignores = True

saw-remote-api/python/pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "saw-client"
-version = "1.1.0.99"
+version = "1.1.1"
 readme = "README.md"
 description = "SAW client for the SAW RPC server"
 authors = ["Galois, Inc. <[email protected]>"]
@@ -14,14 +14,14 @@ include = [
 python = "^3.8"
 requests = "^2.25.1"
 BitVector = "^3.4.9"
-cryptol = "3.1.0" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
-argo-client = "0.0.11"
+cryptol = "3.1.1" # { path = "../../deps/cryptol/cryptol-remote-api/python/", develop = true }
+argo-client = "0.0.12"
 lmdb = "^1.4.1"
 cbor2 = "^5.4.6"
 python-dateutil = "^2.8.2"
 
 [tool.poetry.dev-dependencies]
-mypy = "^0.991"
+mypy = "^1.10"
 
 [build-system]
 requires = ["poetry-core>=1.0.0"]

saw-remote-api/python/saw_client/solver_cache.py

@@ -1,4 +1,4 @@
-import cbor2 # type: ignore
+import cbor2
 from collections.abc import MutableMapping
 from dataclasses import dataclass
 from datetime import datetime, timezone