Merge pull request #1332 from GaloisInc/bump-cryptol · GaloisInc/saw-script@dd5a89b

Commit

Merge pull request #1332 from GaloisInc/bump-cryptol

chore: bump cryptol

mergify[bot] authored Jun 11, 2021

2 parents 490f05a + d46080d commit dd5a89b

+7 −23		.github/ci.sh
+171 −127		.github/workflows/ci.yml
+5 −0		cryptol-remote-api/docs/Cryptol.rst
+3 −0		cryptol-remote-api/python/cryptol/commands.py
+6 −0		cryptol-remote-api/python/cryptol/cryptoltypes.py
+28 −0		cryptol-remote-api/python/cryptol/opaque.py
+50 −0		cryptol-remote-api/python/tests/cryptol/test-files/CplxQNewtype.cry
+33 −0		cryptol-remote-api/python/tests/cryptol/test_CplxQNewtype.py
+27 −46		cryptol-remote-api/python/tests/cryptol/test_low_level_ops.py
+20 −35		cryptol-remote-api/run_rpc_tests.sh
+22 −9		cryptol-remote-api/src/CryptolServer.hs
+9 −7		cryptol-remote-api/src/CryptolServer/Check.hs
+281 −137		cryptol-remote-api/src/CryptolServer/Data/Expression.hs
+1 −1		cryptol-remote-api/src/CryptolServer/Data/Type.hs
+28 −26		cryptol-remote-api/src/CryptolServer/EvalExpr.hs
+2 −2		cryptol-remote-api/src/CryptolServer/Exceptions.hs
+2 −2		cryptol-remote-api/src/CryptolServer/LoadModule.hs
+7 −5		cryptol-remote-api/src/CryptolServer/Sat.hs
+5 −10		cryptol-remote-api/src/CryptolServer/TypeCheck.hs
+1 −1		src/Cryptol/REPL/Command.hs