EXPERIMENT: Bump cryptol submodule to include GaloisInc/cryptol#1791 · GaloisInc/saw-script@42145b1

Commit

EXPERIMENT: Bump cryptol submodule to include GaloisInc/cryptol#1791

Browse files

RyanGlScott committed Jan 23, 2025

1 parent 8aaf505 commit 42145b1

+6 −4		.github/workflows/docs.yml
+11 −0		CHANGES.md
+2 −1		Dockerfile
+68 −70		cabal.GHC-9.4.8.config
+67 −69		cabal.GHC-9.6.5.config
+67 −69		cabal.GHC-9.8.2.config
+1 −1		cryptol-remote-api/docs/Cryptol.rst
+3 −0		cryptol-remote-api/python/cryptol/solver.py
+9 −3		cryptol-remote-api/python/tests/cryptol/test_smt.py
+2 −2		cryptol.cabal
+1 −1		cryptol/Main.hs
+9 −1		docs/RefMan/conf.py
+33 −1		src/Cryptol/Eval/Reference.lhs
+11 −0		src/Cryptol/REPL/Monad.hs
+2 −0		src/Cryptol/Symbolic/SBV.hs
+8 −0		src/Cryptol/Symbolic/What4.hs
+5 −1		src/Cryptol/TypeCheck/InferTypes.hs
+35 −8		src/Cryptol/TypeCheck/Solver/SMT.hs
+1 −2		src/Cryptol/Utils/Ident.hs
+17 −0		tests/issues/issue1249.icry
+18 −0		tests/issues/issue1249.icry.stdout
+3 −0		tests/issues/issue1786.cry
+7 −0		tests/issues/issue1786.icry
+5 −0		tests/issues/issue1786.icry.stdout