1 file changed
+1
-1
lines changed- .github/ci.sh+19-61
- .github/workflows/ci.yml+18-11
- CHANGES.md+46-1
- CODE_OF_CONDUCT.md+86
- Dockerfile+9-51
- README.md+2-4
- cryptol-remote-api/Dockerfile+4-47
- cryptol-remote-api/cryptol-eval-server/Main.hs+6
- cryptol-remote-api/cryptol-remote-api.cabal+1
- cryptol-remote-api/cryptol-remote-api/Main.hs+6
- cryptol-remote-api/docs/Cryptol.rst+18
- cryptol-remote-api/python/CHANGELOG.md+20
- cryptol-remote-api/python/cryptol/__init__.py+8-3
- cryptol-remote-api/python/cryptol/commands.py+125-61
- cryptol-remote-api/python/cryptol/connection.py+166-39
- cryptol-remote-api/python/cryptol/single_connection.py+234
- cryptol-remote-api/python/cryptol/solver.py+44-26
- cryptol-remote-api/python/cryptol/synchronous.py+371
- cryptol-remote-api/python/poetry.lock+7-7
- cryptol-remote-api/python/pyproject.toml+3-3
- cryptol-remote-api/python/tests/cryptol/test_AES.py+11-10
- cryptol-remote-api/python/tests/cryptol/test_CplxQNewtype.py+18-17
- cryptol-remote-api/python/tests/cryptol/test_DES.py+11-11
- cryptol-remote-api/python/tests/cryptol/test_EvenMansour.py+9-9
- cryptol-remote-api/python/tests/cryptol/test_SHA256.py+10-9
- cryptol-remote-api/python/tests/cryptol/test_basics.py+143-27
- cryptol-remote-api/python/tests/cryptol/test_cryptol_api.py+74-75
- cryptol-remote-api/python/tests/cryptol/test_error_recovery.py+7-7
- cryptol-remote-api/python/tests/cryptol/test_smt.py+52
- cryptol-remote-api/python/tests/cryptol/test_types.py+11-10
- cryptol-remote-api/run_rpc_tests.sh+2-2
- cryptol-remote-api/src/CryptolServer/Interrupt.hs+33
- cryptol-remote-api/test_docker.sh+6-1
- cryptol.cabal+2-2
- cryptol/REPL/Haskeline.hs+1-1
- deps/argo+1-1
- src/Cryptol/TypeCheck/SimpType.hs+13
- tests/modsys/T16.icry.stdout.mingw32+1-1
- tests/regression/negshift.icry+1-1
0 commit comments