Skip to content

Commit

Permalink
Bump crucible.
Browse files Browse the repository at this point in the history
  • Loading branch information
@andreistefanescu
andreistefanescu committed Dec 8, 2019
1 parent 6c1610a commit bcf6925
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/crucible
Submodule crucible updated 9 files
+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

0 comments on commit bcf6925

Please sign in to comment.