Update submodule versions.

GaloisInc · Oct 26, 2021 · 5f8bf6f · 5f8bf6f
1 parent 0ad7b72
commit 5f8bf6f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/deps/crucible b/deps/crucible
diff --git a/deps/what4 b/deps/what4
+75 −0		uc-crux-llvm/src/UCCrux/LLVM/Overrides/Polymorphic.hs
+24 −22		uc-crux-llvm/src/UCCrux/LLVM/Overrides/Skip.hs
+23 −21		uc-crux-llvm/src/UCCrux/LLVM/Overrides/Unsound.hs
+4 −2		uc-crux-llvm/src/UCCrux/LLVM/Run/Loop.hs
+42 −8		uc-crux-llvm/src/UCCrux/LLVM/Run/Simulate.hs
+1 −0		uc-crux-llvm/uc-crux-llvm.cabal
+3 −3		what4/src/What4/Expr/WeightedSum.hs
+3 −1		what4/src/What4/LabeledPred.hs
+87 −24		what4/src/What4/Utils/AbstractDomains.hs
+10 −0		what4/src/What4/Utils/AnnotatedMap.hs