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

GaloisInc · Jan 23, 2025 · 409a96d · 409a96d
1 parent 8aaf505
commit 409a96d
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/cabal.GHC-9.4.8.config b/cabal.GHC-9.4.8.config
@@ -336,7 +336,7 @@ constraints: any.BoundedChan ==1.0.3.0,
              any.simple-get-opt ==0.4,
              any.simple-sendfile ==0.2.32,
              simple-sendfile +allow-bsd -fallback,
-             any.simple-smt ==0.9.7,
+             any.simple-smt ==0.9.8,
              any.smallcheck ==1.2.1.1,
              any.split ==0.2.5,
              any.splitmix ==0.1.0.5,
@@ -440,4 +440,4 @@ constraints: any.BoundedChan ==1.0.3.0,
              any.zenc ==0.1.2,
              any.zlib ==0.7.1.0,
              any.zlib-bindings ==0.1.1.5
-index-state: hackage.haskell.org 2024-08-02T09:23:27Z
+index-state: hackage.haskell.org 2024-12-30T16:38:21Z
diff --git a/cabal.GHC-9.6.6.config b/cabal.GHC-9.6.6.config
@@ -334,7 +334,7 @@ constraints: any.BoundedChan ==1.0.3.0,
              any.simple-get-opt ==0.4,
              any.simple-sendfile ==0.2.32,
              simple-sendfile +allow-bsd -fallback,
-             any.simple-smt ==0.9.7,
+             any.simple-smt ==0.9.8,
              any.smallcheck ==1.2.1.1,
              any.split ==0.2.5,
              any.splitmix ==0.1.0.5,
@@ -438,4 +438,4 @@ constraints: any.BoundedChan ==1.0.3.0,
              any.zenc ==0.1.2,
              any.zlib ==0.7.1.0,
              any.zlib-bindings ==0.1.1.5
-index-state: hackage.haskell.org 2024-08-02T09:23:27Z
+index-state: hackage.haskell.org 2024-12-30T16:38:21Z
diff --git a/cabal.GHC-9.8.2.config b/cabal.GHC-9.8.2.config
@@ -335,7 +335,7 @@ constraints: any.BoundedChan ==1.0.3.0,
              any.simple-get-opt ==0.4,
              any.simple-sendfile ==0.2.32,
              simple-sendfile +allow-bsd -fallback,
-             any.simple-smt ==0.9.7,
+             any.simple-smt ==0.9.8,
              any.smallcheck ==1.2.1.1,
              any.split ==0.2.5,
              any.splitmix ==0.1.0.5,
@@ -441,4 +441,4 @@ constraints: any.BoundedChan ==1.0.3.0,
              any.zenc ==0.1.2,
              any.zlib ==0.7.1.0,
              any.zlib-bindings ==0.1.1.5
-index-state: hackage.haskell.org 2024-08-02T09:23:27Z
+index-state: hackage.haskell.org 2024-12-30T16:38:21Z
diff --git a/deps/cryptol b/deps/cryptol
+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