Bump crucible submodule commit (#610) · GaloisInc/saw-script@4b0019b

Commit

Bump crucible submodule commit (#610)

Browse files

chameco authored and andreistefanescu committed Dec 9, 2019

1 parent 56c0472 commit 4b0019b

+1 −0		crucible-llvm/crucible-llvm.cabal
+4 −1		crucible-llvm/src/Lang/Crucible/LLVM/Translation.hs
+0 −1		crucible/src/Lang/Crucible/Simulator/EvalStmt.hs
+11 −0		crux/src/Crux/Config/Common.hs
+23 −10		crux/src/Crux/Goal.hs
+5 −3		what4/src/What4/Expr/Builder.hs
+0 −1		what4/src/What4/Interface.hs
+1 −1		what4/src/What4/Protocol/SMTLib2/Syntax.hs
+1 −1		what4/src/What4/Solver/Yices.hs