Skip to content

Commit

Permalink
Bump Cryptol version to latest functor branch
Browse files Browse the repository at this point in the history
  • Loading branch information
@yav
yav committed May 16, 2023
1 parent cbd8c2d commit aaaef43
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/cryptol
Submodule cryptol updated 18 files
+5 −5 .github/workflows/ci.yml
+9 −1 cryptol-remote-api/CHANGELOG.md
+21 −1 cryptol-remote-api/docs/Cryptol.rst
+9 −1 cryptol-remote-api/python/CHANGELOG.md
+10 −0 cryptol-remote-api/python/cryptol/commands.py
+19 −1 cryptol-remote-api/python/cryptol/connection.py
+68 −1 cryptol-remote-api/python/cryptol/cryptoltypes.py
+13 −3 cryptol-remote-api/python/cryptol/single_connection.py
+25 −11 cryptol-remote-api/python/cryptol/synchronous.py
+2 −1 cryptol-remote-api/python/pyproject.toml
+33 −0 cryptol-remote-api/python/tests/cryptol/test-files/Names.cry
+48 −0 cryptol-remote-api/python/tests/cryptol/test_names.py
+2 −2 cryptol-remote-api/src/CryptolServer/Data/Type.hs
+71 −21 cryptol-remote-api/src/CryptolServer/Names.hs
+1 −1 deps/argo
+1 −1 src/Cryptol/ModuleSystem/Binds.hs
+0 −1 src/Cryptol/ModuleSystem/NamingEnv.hs
+5 −1 src/Cryptol/Utils/PP.hs

0 comments on commit aaaef43

Please sign in to comment.