Bump submodules

robdockins · robdockins · commit 6be04af04c65 · 2022-01-25T12:50:02.000-08:00
Pulls in: GaloisInc/what4#176 GaloisInc/what4#177 GaloisInc/what4#179 GaloisInc/what4#181 GaloisInc/crucible#945 GaloisInc/crucible#952 GaloisInc/crucible#948 GaloisInc/crucible#950 GaloisInc/crucible#947 GaloisInc/crucible#946 GaloisInc/crucible#944 GaloisInc/crucible#943 GaloisInc/crucible#939 GaloisInc/crucible#938 GaloisInc/crucible#931 GaloisInc/crucible#921 GaloisInc/crucible#933 GaloisInc/macaw#257 GaloisInc/macaw#249 GaloisInc/macaw#246 And a fix for: GaloisInc/macaw#260 Of these, GaloisInc/crucible#945 is the most disruptive, causing quite a few downstream changes in Macaw and a smaller number here in SAWScript, addressed in subsequent patches.
diff --git a/deps/crucible b/deps/crucible
@@ -1 +1 @@
-Subproject commit acd37d5fc69ea41cd8ade700994f69d26c0ed530
+Subproject commit e1308319eef8e0fcb55ed04df7eb2e9d5e87aac5
diff --git a/deps/macaw b/deps/macaw
@@ -1 +1 @@
-Subproject commit d3a53a676920ab56c8252a8d171098f2ad884ea8
+Subproject commit d1d71fd973f802483e93dffc968dfbdde12fab59
diff --git a/deps/what4 b/deps/what4
@@ -1 +1 @@
-Subproject commit d70c7b17534f45bf1b50e81fa2d4bfc7bde587ef
+Subproject commit 629f9f1d6fa586cef756e3cc65c130c14de34e17
