Merge pull request #1403 from GaloisInc/update-deps

Update submodules.
GaloisInc · Aug 20, 2021 · d76cdf4 · d76cdf4
2 parents d78f9b7 + f587dc8
commit d76cdf4
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 7 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/dwarf b/deps/dwarf
diff --git a/deps/elf-edit b/deps/elf-edit
diff --git a/deps/macaw b/deps/macaw
diff --git a/deps/what4 b/deps/what4
+5 −0		crucible-concurrency/.gitignore
+2 −1		crucible-concurrency/test/Main.hs
+1 −1		crucible-go/src/Lang/Crucible/Go/Overrides.hs
+3 −3		crucible-go/src/Lang/Crucible/Go/Simulate.hs
+2 −4		crucible-go/tool/Main.hs
+1 −0		crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics.hs
+26 −2		crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Libc.hs
+8 −5		crucible-llvm/src/Lang/Crucible/LLVM/MemModel/Generic.hs
+36 −1		crucible-llvm/test/TestMemory.hs
+4 −0		crucible/src/Lang/Crucible/Backend.hs
+26 −0		crux-llvm/crux-llvm.cabal
+94 −0		crux-llvm/for-ide/Main.hs
+34 −0		crux-llvm/for-ide/unix/RealMain.hs
+10 −0		crux-llvm/for-ide/windows/RealMain.hs
+14 −10		crux-llvm/src/Crux/LLVM/Compile.hs
+5 −0		crux-llvm/src/Crux/LLVM/Log.hs
+42 −13		crux-llvm/src/CruxLLVMMain.hs
+2 −0		crux-llvm/svcomp/Main.hs
+7 −0		crux-llvm/svcomp/SVComp/Log.hs
+6 −0		crux-llvm/test-data/golden/T784-fail.c
+4 −0		crux-llvm/test-data/golden/T784-fail.good
+6 −0		crux-llvm/test-data/golden/T784-pass.c
+1 −0		crux-llvm/test-data/golden/T784-pass.good
+5 −0		crux-llvm/test-data/golden/T787.c
+4 −0		crux-llvm/test-data/golden/T787.good
+6 −1		crux-mir/src/Mir/Language.hs
+7 −1		crux-mir/src/Mir/Log.hs
+3 −0		crux/src/Crux.hs
+26 −2		crux/src/Crux/Config.hs
+5 −1		crux/src/Crux/SVCOMP.hs
+6 −35		uc-crux-llvm/src/UCCrux/LLVM/Config.hs
+5 −0		uc-crux-llvm/src/UCCrux/LLVM/Logging.hs
+6 −1		uc-crux-llvm/src/UCCrux/LLVM/Main.hs
+6 −0		uc-crux-llvm/test/Test.hs
+2 −0		uc-crux-llvm/uc-crux-llvm.cabal
+12 −13		.github/workflows/ci.yml
+6 −0		CHANGES.md
+5 −0		cryptol-remote-api/python/CHANGELOG.md
+29 −16		cryptol-remote-api/python/cryptol/connection.py
+25 −22		cryptol-remote-api/python/poetry.lock
+2 −2		cryptol-remote-api/python/pyproject.toml
+41 −9		cryptol-remote-api/python/tests/cryptol/test_basics.py
+1 −0		cryptol-remote-api/run_rpc_tests.sh
+13 −2		cryptol-remote-api/src/CryptolServer.hs
+4 −2		cryptol-remote-api/src/CryptolServer/LoadModule.hs
+1 −1		cryptol.cabal
+1 −1		deps/argo
+17 −10		src/Cryptol/Eval/SBV.hs
+10 −7		src/Cryptol/Eval/What4.hs
+3 −1		src/Cryptol/ModuleSystem.hs
+7 −7		src/Cryptol/ModuleSystem/Base.hs
+23 −18		src/Cryptol/ModuleSystem/Env.hs
+17 −18		src/Cryptol/ModuleSystem/Exports.hs
+5 −1		src/Cryptol/ModuleSystem/Renamer.hs
+42 −3		src/Cryptol/Parser.y
+1 −1		src/Cryptol/Parser/AST.hs
+10 −9		src/Cryptol/REPL/Command.hs
+2 −1		src/Cryptol/TypeCheck.hs
+1 −1		src/Cryptol/TypeCheck/Infer.hs
+2 −3		src/Cryptol/TypeCheck/Monad.hs
+17 −8		src/Cryptol/TypeCheck/Solver/SMT.hs
+8 −0		src/Cryptol/TypeCheck/Subst.hs
+0 −2		tests/regression/ignore-safe.icry
+0 −2		tests/regression/ignore-safe.icry.stdout
+42 −0		tests/regression/repl-decls.icry
+27 −0		tests/regression/repl-decls.icry.stdout
+337 −303		src/Data/Dwarf.hs
+180 −179		src/Data/Dwarf/CFA.hs
+126 −94		src/Data/Dwarf/Types.hs
+3 −3		src/Data/ElfEdit.hs
+1 −1		src/Data/ElfEdit/HighLevel/Layout.hs
+3 −2		src/Data/ElfEdit/Prim/Ehdr.hs
+5 −5		src/Data/ElfEdit/Prim/SymbolTable.hs
+7 −1		.github/workflows/test.yml
+8 −5		what4/src/What4/Expr/VarIdentification.hs
+17 −0		what4/src/What4/ProblemFeatures.hs
+24 −5		what4/src/What4/Protocol/SMTWriter.hs
+6 −2		what4/src/What4/Solver/CVC4.hs
+18 −0		what4/test/ExprBuilderSMTLib2.hs
+0 −1		what4/what4.cabal