bump submodules

GaloisInc · Jan 19, 2022 · 57f09ee · 57f09ee
1 parent 792b6c9
commit 57f09ee
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/deps/crucible b/deps/crucible
diff --git a/deps/macaw b/deps/macaw
diff --git a/deps/what4 b/deps/what4
+1 −1		deps/asl-translator
+1 −1		deps/crucible
+1 −1		deps/semmc
+1 −1		deps/what4
+27 −26		macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic/Functions.hs
+7 −3		macaw-aarch32-symbolic/tests/Main.hs
+3 −3		macaw-aarch32/src/Data/Macaw/ARM/Semantics/ARMSemantics.hs
+2 −2		macaw-aarch32/src/Data/Macaw/ARM/Semantics/TH.hs
+3 −3		macaw-aarch32/src/Data/Macaw/ARM/Semantics/ThumbSemantics.hs
+74 −76		macaw-ppc-symbolic/src/Data/Macaw/PPC/Symbolic/Functions.hs
+7 −3		macaw-ppc-symbolic/tests/Main.hs
+3 −3		macaw-ppc/src/Data/Macaw/PPC/Semantics/PPC32.hs
+3 −3		macaw-ppc/src/Data/Macaw/PPC/Semantics/PPC64.hs
+3 −3		macaw-semmc/src/Data/Macaw/SemMC/TH.hs
+4 −2		macaw-semmc/src/Data/Macaw/SemMC/TH/Monad.hs
+16 −6		refinement/src/Data/Macaw/Refinement/Solver.hs
+51 −37		refinement/src/Data/Macaw/Refinement/SymbolicExecution.hs
+7 −3		refinement/tests/RefinementTests.hs
+9 −3		x86_symbolic/tests/Main.hs
+27 −44		.github/workflows/test.yml
+9 −0		README.md
+7 −0		what4/CHANGES.md
+82 −44		what4/src/What4/Protocol/SMTLib2.hs
+10 −10		what4/src/What4/Protocol/SMTLib2/Syntax.hs
+21 −22		what4/src/What4/Protocol/SMTWriter.hs
+1 −1		what4/src/What4/Solver/Yices.hs
+15 −43		what4/test/AdapterTest.hs
+87 −102		what4/test/ExprBuilderSMTLib2.hs
+64 −77		what4/test/OnlineSolverTest.hs
+55 −0		what4/test/ProbeSolvers.hs
+8 −2		what4/what4.cabal