Update submodule versions.

GaloisInc · Feb 13, 2021 · a951e3c · a951e3c
1 parent c4ab82b
commit a951e3c
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
+6 −4		.github/workflows/ci.yml
+1 −1		README.rst
+0 −1		cabal.project
+0 −21		docs/CryptolPython.rst
+0 −3		docs/SAWPython.rst
+0 −43		dreams/salsa20.py
+0 −99		dreams/salsa20_comp.py
+0 −46		dreams/swap.py
+0 −182		examples/Salsa20.cry
+ −		examples/salsa20.bc
+0 −191		examples/salsa20.c
+0 −72		examples/salsa20.h
+0 −187		examples/salsa20.py
+ −		examples/swap.bc
+0 −13		examples/swap.c
+0 −39		examples/swap.py
+0 −14		file-echo-api/file-echo-api.cabal
+5 −0		python/CHANGELOG.md
+11 −0		python/LICENSE
+3 −0		python/README.md
+0 −34		python/argo-python.cabal
+0 −0		python/argo_client/__init__.py
+0 −0		python/argo_client/connection.py
+1 −1		python/argo_client/interaction.py
+0 −0		python/argo_client/netstring.py
+0 −0		python/argo_client/py.typed
+0 −457		python/cryptol/__init__.py
+0 −478		python/cryptol/bitvector.py
+0 −505		python/cryptol/cryptoltypes.py
+0 −29		python/cryptol/solver.py
+0 −2		python/cryptol/test/__init__.py
+0 −446		python/cryptol/test/test_bitvector.py
+0 −42		python/hs-test/Main.hs
+0 −6		python/hs/Argo/PythonBindings.hs
+1 −12		python/mypy.ini
+6 −0		python/pyproject.toml
+0 −2		python/requirements.txt
+0 −365		python/saw/__init__.py
+0 −84		python/saw/commands.py
+0 −82		python/saw/connection.py
+0 −243		python/saw/dashboard.py
+0 −99		python/saw/exceptions.py
+0 −384		python/saw/llvm.py
+0 −60		python/saw/llvm_types.py
+0 −93		python/saw/proofscript.py
+0 −0		python/saw/py.typed
+42 −7		python/setup.py
+0 −0		python/tests/__init__.py
+0 −0		python/tests/test-data/hello.txt
+117 −59		python/tests/test_file_echo_api.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