Skip to content

Commit

Permalink
Bump Cryptol submodule to match 2.12.0 release
Browse files Browse the repository at this point in the history
  • Loading branch information
Aaron Tomb committed Oct 6, 2021
1 parent f090471 commit 15c7b23
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/cryptol
Submodule cryptol updated 39 files
+19 −61 .github/ci.sh
+18 −11 .github/workflows/ci.yml
+46 −1 CHANGES.md
+86 −0 CODE_OF_CONDUCT.md
+9 −51 Dockerfile
+2 −4 README.md
+4 −47 cryptol-remote-api/Dockerfile
+6 −0 cryptol-remote-api/cryptol-eval-server/Main.hs
+1 −0 cryptol-remote-api/cryptol-remote-api.cabal
+6 −0 cryptol-remote-api/cryptol-remote-api/Main.hs
+18 −0 cryptol-remote-api/docs/Cryptol.rst
+20 −0 cryptol-remote-api/python/CHANGELOG.md
+8 −3 cryptol-remote-api/python/cryptol/__init__.py
+125 −61 cryptol-remote-api/python/cryptol/commands.py
+166 −39 cryptol-remote-api/python/cryptol/connection.py
+234 −0 cryptol-remote-api/python/cryptol/single_connection.py
+44 −26 cryptol-remote-api/python/cryptol/solver.py
+371 −0 cryptol-remote-api/python/cryptol/synchronous.py
+7 −7 cryptol-remote-api/python/poetry.lock
+3 −3 cryptol-remote-api/python/pyproject.toml
+11 −10 cryptol-remote-api/python/tests/cryptol/test_AES.py
+18 −17 cryptol-remote-api/python/tests/cryptol/test_CplxQNewtype.py
+11 −11 cryptol-remote-api/python/tests/cryptol/test_DES.py
+9 −9 cryptol-remote-api/python/tests/cryptol/test_EvenMansour.py
+10 −9 cryptol-remote-api/python/tests/cryptol/test_SHA256.py
+143 −27 cryptol-remote-api/python/tests/cryptol/test_basics.py
+74 −75 cryptol-remote-api/python/tests/cryptol/test_cryptol_api.py
+7 −7 cryptol-remote-api/python/tests/cryptol/test_error_recovery.py
+52 −0 cryptol-remote-api/python/tests/cryptol/test_smt.py
+11 −10 cryptol-remote-api/python/tests/cryptol/test_types.py
+2 −2 cryptol-remote-api/run_rpc_tests.sh
+33 −0 cryptol-remote-api/src/CryptolServer/Interrupt.hs
+6 −1 cryptol-remote-api/test_docker.sh
+2 −2 cryptol.cabal
+1 −1 cryptol/REPL/Haskeline.hs
+1 −1 deps/argo
+13 −0 src/Cryptol/TypeCheck/SimpType.hs
+1 −1 tests/modsys/T16.icry.stdout.mingw32
+1 −1 tests/regression/negshift.icry

0 comments on commit 15c7b23

Please sign in to comment.