Bump submodules in preparation for supporting CVC5

RyanGlScott · RyanGlScott · commit c12030647635 · 2023-03-22T09:45:09.000-04:00
The main payload of this commit is to bump the `what4` submodule to bring in the changes from GaloisInc/what4#204. This also brings in a variety of other submodule changes to accommodate this: * GaloisIns/crucible#1068, which ensures that everything can build against `tasty-sugar >= 2.0` (the version of the library that `what4-1.4` depends on). * GaloisInc/cryptol#1504, which adapts Cryptol to CVC5. This adjusts the lower and upper version bounds on SBV in Cryptol, so I do the same here in `saw-core.sbv.cabal` and `saw-script.cabal`. * GaloisInc/language-sally#12, which performs a similar `what4` adaptation. * GaloisInc/macaw#328, which performs a similar `what4` adaptation.
diff --git a/deps/crucible b/deps/crucible
@@ -1 +1 @@
-Subproject commit 4b8e481f986e2ba2125032edf05dda407dbb57b8
+Subproject commit f4145fbed96245f385a91ef3a32e6737df1075ff
diff --git a/deps/cryptol b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 4b89554988e1f755b6d8f49e6be08027aadbaacf
+Subproject commit 9382d527543db70068b71fe3a327cd07fe0b36c8
diff --git a/deps/language-sally b/deps/language-sally
@@ -1 +1 @@
-Subproject commit a217a9f661caabd7858a17c2b556217fc39a946e
+Subproject commit 24d53a963c2a2d11a118cfaa98956a69f5c8c6d5
diff --git a/deps/macaw b/deps/macaw
@@ -1 +1 @@
-Subproject commit 88d024990b97292f4d3d0fe0bf9c08e75c12c3ce
+Subproject commit 0686e5d86bfd802e04dd94cf8836127127232f8f
diff --git a/deps/what4 b/deps/what4
@@ -1 +1 @@
-Subproject commit 6f5e0fe9bef58234603ccf6914c32ea1ba2f9766
+Subproject commit 6c462cd46e0ea9ebbfbd6b6ea237984eeb3dc72a
diff --git a/saw-core-sbv/saw-core-sbv.cabal b/saw-core-sbv/saw-core-sbv.cabal
@@ -20,7 +20,7 @@ library
     lens,
     mtl,
     saw-core,
-    sbv >= 8.10 && < 9.1,
+    sbv >= 9.1 && < 9.3,
     text,
     transformers,
     vector
diff --git a/saw-script.cabal b/saw-script.cabal
@@ -80,7 +80,7 @@ library
     , saw-core-coq
     , saw-core-sbv
     , saw-core-what4
-    , sbv >= 8.10 && < 9.1
+    , sbv >= 9.1 && < 9.3
     , split
     , temporary
     , template-haskell
