Bump crucible submodule to bring in crucible-mir changes

This bumps the `crucible` submodule to bring in the changes from GaloisInc/crucible#1066, which splits out `crucible-mir` from `crux-mir`.
GaloisInc · Mar 14, 2023 · 9bc0a22 · 9bc0a22
1 parent 7582a4b
commit 9bc0a22
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1 deletion.
diff --git a/cabal.project b/cabal.project
@@ -23,6 +23,7 @@ packages:
     deps/crucible/crucible-concurrency
     deps/crucible/crucible-jvm
     deps/crucible/crucible-llvm
+    deps/crucible/crucible-mir
     deps/crucible/crucible-symio
     deps/crucible/crucible-syntax
     deps/crucible/crux

diff --git a/crux-mir-comp/crux-mir-comp.cabal b/crux-mir-comp/crux-mir-comp.cabal
@@ -37,6 +37,7 @@ library
                  bv-sized,
                  bytestring,
                  crux,
+                 crucible-mir,
                  crux-mir,
                  template-haskell,
                  saw-core,

diff --git a/deps/crucible b/deps/crucible
+1 −0		cabal.project
+3 −0		crucible-mir/CHANGELOG.md
+30 −0		crucible-mir/LICENSE
+6 −0		crucible-mir/README.md
+56 −0		crucible-mir/crucible-mir.cabal
+0 −0		crucible-mir/src/Mir/DefId.hs
+0 −0		crucible-mir/src/Mir/FancyMuxTree.hs
+0 −0		crucible-mir/src/Mir/Generator.hs
+0 −0		crucible-mir/src/Mir/GenericOps.hs
+0 −0		crucible-mir/src/Mir/Intrinsics.hs
+4 −8		crucible-mir/src/Mir/JSON.hs
+0 −0		crucible-mir/src/Mir/Mir.hs
+2 −2		crucible-mir/src/Mir/PP.hs
+76 −0		crucible-mir/src/Mir/ParseTranslate.hs
+3 −10		crucible-mir/src/Mir/Pass.hs
+3 −8		crucible-mir/src/Mir/Pass/AllocateEnum.hs
+0 −0		crucible-mir/src/Mir/Trans.hs
+4 −14		crucible-mir/src/Mir/TransCustom.hs
+9 −14		crucible-mir/src/Mir/TransTy.hs
+18 −0		crux-mir/CHANGELOG.md
+3 −28		crux-mir/crux-mir.cabal
+1 −8		crux-mir/src/Mir/Concurrency.hs
+6 −64		crux-mir/src/Mir/Generate.hs
+2 −1		crux-mir/src/Mir/Language.hs
+7 −27		crux-mir/src/Mir/Overrides.hs