Merge pull request #1074 from GaloisInc/update-deps

Update submodule versions.
GaloisInc · Feb 15, 2021 · a2010f4 · a2010f4
2 parents c4ab82b + d6a7c31
commit a2010f4
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 7 deletions.
diff --git a/deps/argo b/deps/argo
diff --git a/deps/crucible b/deps/crucible
diff --git a/deps/jvm-parser b/deps/jvm-parser
diff --git a/deps/macaw b/deps/macaw
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
diff --git a/deps/saw-core b/deps/saw-core
diff --git a/deps/what4 b/deps/what4
+3 −0		.github/workflows/ci.yml
+48 −47		python/cryptol/test/test_bitvector.py
+2 −0		.github/workflows/crux-llvm-build.yml
+2 −0		.gitignore
+16 −1		crux-llvm/crux-llvm.cabal
+17 −11		crux-llvm/src/Crux/LLVM/Config.hs
+3 −2		crux-llvm/src/CruxLLVMMain.hs
+7 −9		crux-llvm/svcomp/Main.hs
+0 −4		crux-llvm/test-data/golden/golden-loop-merging/default.config
+0 −1		crux-llvm/test-data/golden/golden-loop-merging/issue_478.config
+4 −0		crux-llvm/test-data/golden/golden-loop-merging/issue_478.config
+0 −1		crux-llvm/test-data/golden/golden-loop-merging/issue_478_unsafe.config
+4 −0		crux-llvm/test-data/golden/golden-loop-merging/issue_478_unsafe.config
+0 −1		crux-llvm/test-data/golden/golden-loop-merging/loop_exit.config
+4 −0		crux-llvm/test-data/golden/golden-loop-merging/loop_exit.config
+0 −1		crux-llvm/test-data/golden/golden-loop-merging/loop_exit_unsafe.config
+4 −0		crux-llvm/test-data/golden/golden-loop-merging/loop_exit_unsafe.config
+0 −1		crux-llvm/test-data/golden/golden-loop-merging/loop_sequence.config
+4 −0		crux-llvm/test-data/golden/golden-loop-merging/loop_sequence.config
+0 −1		crux-llvm/test-data/golden/golden-loop-merging/loop_sequence_unsafe.config
+4 −0		crux-llvm/test-data/golden/golden-loop-merging/loop_sequence_unsafe.config
+0 −1		crux-llvm/test-data/golden/golden-loop-merging/string.config
+4 −0		crux-llvm/test-data/golden/golden-loop-merging/string.config
+0 −1		crux-llvm/test-data/golden/golden-loop-merging/string2.config
+4 −0		crux-llvm/test-data/golden/golden-loop-merging/string2.config
+0 −1		crux-llvm/test-data/golden/golden-loop-merging/strlen_test.config
+4 −0		crux-llvm/test-data/golden/golden-loop-merging/strlen_test.config
+1 −0		crux-llvm/test-data/golden/golden/strlen_test2.good
+29 −0		crux-llvm/test-data/golden/golden/strlen_test2.pre-clang11.good
+90 −29		crux-llvm/test/Test.hs
+0 −1		crux-mir/lib/backtrace/crates/backtrace-sys/LICENSE-APACHE
+201 −0		crux-mir/lib/backtrace/crates/backtrace-sys/LICENSE-APACHE
+0 −1		crux-mir/lib/backtrace/crates/backtrace-sys/LICENSE-MIT
+25 −0		crux-mir/lib/backtrace/crates/backtrace-sys/LICENSE-MIT
+1 −0		crux/crux.cabal
+7 −1		crux/src/Crux.hs
+8 −8		crux/src/Crux/Config/Common.hs
+53 −8		crux/src/Crux/Config/Doc.hs
+30 −7		crux/src/Crux/Report.hs
+19 −2		base/src/Data/Macaw/AbsDomain/StackAnalysis.hs
+151 −52		base/src/Data/Macaw/Analysis/RegisterUse.hs
+2 −2		base/src/Data/Macaw/CFG/AssignRhs.hs
+2 −1		x86/src/Data/Macaw/X86/ArchTypes.hs
+1 −1		src/Data/Parameterized/Context.hs
+12 −0		src/Data/Parameterized/Context/Safe.hs
+7 −0		src/Data/Parameterized/Context/Unsafe.hs
+33 −0		src/Data/Parameterized/Vector.hs
+3 −0		test/Test/Context.hs
+32 −1		test/Test/Vector.hs
+3 −0		README.md
+6 −2		saw-core-coq/README.md
+40 −1		saw-core/prelude/Prelude.sawcore
+137 −0		saw-core/saw-core.el
+73 −0		.github/workflows/test.yml
+0 −57		.travis.yml
+105 −86		what4/test/OnlineSolverTest.hs
+1 −1		what4/what4.cabal