Merge pull request #1993 from GaloisInc/bump-cryptol · GaloisInc/saw-script@df33101

Commit

Merge pull request #1993 from GaloisInc/bump-cryptol

Bump cryptol submodule

mergify[bot] authored Dec 8, 2023

2 parents 2adef40 + f42b898 commit df33101

+2 −0		CHANGES.md
+5 −5		cryptol-remote-api/python/poetry.lock
+0 −1		cryptol-remote-api/run_rpc_tests.sh
+2 −1		cryptol-remote-api/src/CryptolServer/FileDeps.hs
+0 −1		cryptol-remote-api/test_docker.sh
+21 −14		src/Cryptol/Backend/FFI.hs
+30 −19		src/Cryptol/Backend/SeqMap.hs
+19 −25		src/Cryptol/Eval.hs
+12 −11		src/Cryptol/Eval/Generic.hs
+6 −5		src/Cryptol/ModuleSystem/Base.hs
+4 −3		src/Cryptol/ModuleSystem/Env.hs
+2 −1		src/Cryptol/REPL/Command.hs
+2 −2		src/Cryptol/TypeCheck/Module.hs
+20 −18		src/Cryptol/TypeCheck/ModuleInstance.hs
+2 −0		tests/issues/T1578.icry
+3 −0		tests/issues/T1578.icry.stdout
+1 −0		tests/issues/T1584.icry
+2 −0		tests/issues/T1584.icry.stdout
+14 −0		tests/issues/issue1590.cry
+1 −0		tests/issues/issue1590.icry
+3 −0		tests/issues/issue1590.icry.stdout