Bump submodules to most recent releases.

mccleeary-galois · mccleeary-galois · commit fbddc256b21d · 2024-08-30T15:41:17.000-06:00
Cryptol - 3.2 Crucible - Crux v0.9 llvm-pretty - 0.12.1 llvm-pretty-bc-parser - 0.4.2 Added P.mDocTop to rmodule due to update in Cryptol see PR #1726 in Cryptol
diff --git a/cryptol-saw-core/src/Verifier/SAW/CryptolEnv.hs b/cryptol-saw-core/src/Verifier/SAW/CryptolEnv.hs
@@ -671,6 +671,7 @@ parseDecls sc env input = do
     let rmodule = P.Module { P.mName = P.Located P.emptyRange interactiveName
                            , P.mDef  = P.NormalModule rdecls
                            , P.mInScope = mempty
+                           , P.mDocTop = Nothing
                            }
 
     -- Infer types
diff --git a/deps/crucible b/deps/crucible
@@ -1 +1 @@
-Subproject commit 465395b92f8f99e2ae69f73f62d579bd1f53bdb1
+Subproject commit 00da89c240a5435e646c24ff7c44a404363d30f4
diff --git a/deps/cryptol b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 4ca062966eb2c99c6a86d272169d3a48c3e33e5c
+Subproject commit 1bcb75c5be92034b7b29155ab1f5d72780838605
diff --git a/deps/llvm-pretty b/deps/llvm-pretty
@@ -1 +1 @@
-Subproject commit 725bd01c4be76538cf9606696b780415d901c040
+Subproject commit 4d9017db63a53fd1c64edac7eb9de9070ec5d879
diff --git a/deps/llvm-pretty-bc-parser b/deps/llvm-pretty-bc-parser
@@ -1 +1 @@
-Subproject commit 0f789a1fb5150363e573dbe602e0dcd8bbf9f23c
+Subproject commit 45c49fe0d70c2c71c9009badab7c36fd07f77482

Original file line number	Diff line number	Diff line change
`@@ -671,6 +671,7 @@ parseDecls sc env input = do`
`671`	`671`	`let rmodule = P.Module { P.mName = P.Located P.emptyRange interactiveName`
`672`	`672`	`, P.mDef = P.NormalModule rdecls`
`673`	`673`	`, P.mInScope = mempty`
	`674`	`+ , P.mDocTop = Nothing`
`674`	`675`	`}`
`675`	`676`
`676`	`677`	`-- Infer types`