Merge pull request #1662 from GaloisInc/rem/cryptol-remote-api-v3.1.1

Bump cryptol-remote-api to 3.1.1

.github/workflows/ci.yml

@@ -100,6 +100,7 @@ jobs:
 
       - uses: actions/setup-python@v2
         with:
+          # Ensure pyproject.toml and python/mypy.ini are kept in sync with the Python version here.
           python-version: '3.12'
 
       - uses: abatilo/[email protected]
@@ -322,6 +323,7 @@ jobs:
       - if: matrix.suite == 'rpc'
         uses: actions/setup-python@v2
         with:
+          # Ensure cryptol-remote-api/python/{pyproject.toml,mypy.ini} are kept in sync with the Python version here.
           python-version: '3.12'
 
       - if: matrix.suite == 'rpc'
@@ -464,6 +466,7 @@ jobs:
       - if: matrix.image == 'ghcr.io/galoisinc/cryptol-remote-api'
         uses: actions/setup-python@v2
         with:
+          # Ensure cryptol-remote-api/python/{pyproject.toml,mypy.ini} are kept in sync with the Python version here.
           python-version: '3.12'
 
       - if: matrix.image == 'ghcr.io/galoisinc/cryptol-remote-api'

cryptol-remote-api/python/CHANGELOG.md

@@ -1,5 +1,9 @@
 # Revision history for `cryptol` Python package
 
+## 3.1.1 -- 2024-05-15
+
+* Add support for Python 3.12.
+
 ## 3.1.0 -- 2024-02-05
 
 * The v3.1.0 release is made in tandem with the Cryptol 3.1.0 release. See the

cryptol-remote-api/python/LICENSE

@@ -1,4 +1,4 @@
-Copyright (c) 2013-2021 Galois Inc.
+Copyright (c) 2013-2024 Galois Inc.
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without

cryptol-remote-api/python/mypy.ini

@@ -1,5 +1,6 @@
 [mypy]
 no_implicit_optional = True
+# Ensure .github/workflows/ci.yml and cryptol-remote-api/python/mypy.ini match the Python version used here.
 python_version = 3.12
 warn_return_any = True
 warn_unused_configs = True

cryptol-remote-api/python/pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "cryptol"
-version = "3.1.0.99"
+version = "3.1.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.11"
+argo-client = "0.0.12"
 typing-extensions = "^4.1.1"
 
 requests = ">=2.31.0"