Bump Argo and Cryptol to support Python 3.12

GaloisInc · May 16, 2024 · d85e8a5 · d85e8a5
1 parent 70fe999
commit d85e8a5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/deps/argo b/deps/argo
diff --git a/deps/cryptol b/deps/cryptol
+3 −2		.github/workflows/ci.yml
+3 −3		README.rst
+4 −4		argo/argo.cabal
+4 −4		file-echo-api/file-echo-api.cabal
+4 −0		python/CHANGELOG.md
+1 −1		python/LICENSE
+4 −0		python/README.md
+0 −4		python/argo_client/connection.py
+2 −1		python/mypy.ini
+164 −150		python/poetry.lock
+6 −4		python/pyproject.toml
+34 −2		python/tests/test_file_echo_api.py
+6 −3		.github/workflows/ci.yml
+4 −0		cryptol-remote-api/python/CHANGELOG.md
+1 −1		cryptol-remote-api/python/LICENSE
+5 −0		cryptol-remote-api/python/README.md
+1 −1		cryptol-remote-api/python/cryptol/__init__.py
+3 −3		cryptol-remote-api/python/cryptol/connection.py
+2 −1		cryptol-remote-api/python/mypy.ini
+155 −154		cryptol-remote-api/python/poetry.lock
+6 −9		cryptol-remote-api/python/pyproject.toml
+2 −2		cryptol-remote-api/python/tests/cryptol/test_basics.py
+5 −5		cryptol-remote-api/python/tests/cryptol/test_cryptol_api.py
+4 −4		cryptol-remote-api/python/tests/cryptol/test_low_level_ops.py
+3 −3		cryptol-remote-api/python/tests/cryptol_eval/test_basics.py
+1 −1		cryptol-remote-api/test.Dockerfile
+1 −1		deps/argo
+4 −8		src/Cryptol/ModuleSystem/Env.hs
+1 −1		src/Cryptol/TypeCheck/Monad.hs
+0 −5		tests/issues/issue1621/a.cry
+0 −3		tests/issues/issue1621/b.cry
+0 −7		tests/issues/issue1621/issue1621.icry
+0 −17		tests/issues/issue1621/issue1621.icry.stdout
+5 −0		tests/issues/issue1649/A.cry
+9 −0		tests/issues/issue1649/BFunctor.cry
+4 −0		tests/issues/issue1649/BInterface.cry
+5 −0		tests/issues/issue1649/Test.cry
+2 −0		tests/issues/issue1649/issue1649.icry
+7 −0		tests/issues/issue1649/issue1649.icry.stdout