Bump submodules to most recent releases.

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
GaloisInc · Aug 30, 2024 · 1ee8d65 · 1ee8d65
1 parent 1c224e4
commit 1ee8d65
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 4 deletions.
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
diff --git a/deps/cryptol b/deps/cryptol
diff --git a/deps/llvm-pretty b/deps/llvm-pretty
diff --git a/deps/llvm-pretty-bc-parser b/deps/llvm-pretty-bc-parser