Merge pull request #620 from GaloisInc/update-deps

Update submodule versions.
GaloisInc · Jan 3, 2020 · 0c0fabb · 0c0fabb
2 parents 2c2df99 + 8714343
commit 0c0fabb
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/deps/aig b/deps/aig
diff --git a/deps/crucible b/deps/crucible
diff --git a/deps/cryptol b/deps/cryptol
diff --git a/deps/cryptol-specs b/deps/cryptol-specs
diff --git a/deps/cryptol-verifier b/deps/cryptol-verifier
+7 −9		crucible-llvm/src/Lang/Crucible/LLVM/MemModel.hs
+3 −2		crux-llvm/test/Test.hs
+9 −6		crux/src/Crux.hs
+1 −6		crux/src/Crux/Goal.hs
+13 −41		what4/src/What4/Expr/Builder.hs
+229 −117		what4/src/What4/Expr/WeightedSum.hs
+10 −6		what4/src/What4/Protocol/SMTWriter.hs
+301 −0		what4/src/What4/Utils/AnnotatedMap.hs
+2 −0		what4/what4.cabal
+1 −1		cryptol.cabal
+7 −15		src/Cryptol/Eval.hs
+12 −11		src/Cryptol/Eval/Value.hs
+2 −2		src/Cryptol/ModuleSystem/Name.hs
+52 −96		src/Cryptol/ModuleSystem/Renamer.hs
+2 −2		src/Cryptol/Parser/AST.hs
+2 −1		src/Cryptol/Parser/Name.hs
+10 −13		src/Cryptol/Prims/Eval.hs
+1 −1		src/Cryptol/REPL/Command.hs
+4 −3		src/Cryptol/Symbolic.hs
+3 −6		src/Cryptol/Symbolic/Value.hs
+3 −3		src/Cryptol/Testing/Concrete.hs
+10 −11		src/Cryptol/Testing/Random.hs
+1 −1		src/Cryptol/TypeCheck/TCon.hs
+10 −12		src/Cryptol/TypeCheck/Type.hs
+17 −12		src/Cryptol/Utils/Fixity.hs
+17 −16		src/Cryptol/Utils/PP.hs
+2 −2		tests/cryptol-test-runner.cabal
+6 −6		tests/issues/issue066.icry.stdout
+0 −2		tests/issues/issue444.icry
+0 −17		tests/issues/issue444.icry.stdout
+6 −0		tests/issues/issue614.cry
+1 −0		tests/issues/issue614.icry
+16 −0		tests/issues/issue614.icry.stdout
+1 −0		tests/issues/issue667.icry
+2 −0		tests/issues/issue667.icry.stdout
+7 −0		tests/issues/issue670.cry
+3 −0		tests/issues/issue670.icry
+5 −0		tests/issues/issue670.icry.stdout
+41 −18		Primitive/Asymmetric/Signature/Dilithium.cry
+19 −0		Primitive/Asymmetric/Signature/Dilithium2.cry
+365 −342		Primitive/Asymmetric/Signature/Dilithium_BV.cry
+1,705 −0		Primitive/Asymmetric/Signature/testDilithium.cry