Bump submodules to bring in changes from GaloisInc/crucible#1225

This bumps the `crucible` submodule to bring in the changes from GaloisInc/crucible#1225, which fixes GaloisInc/crucible#1224 on the SAW side. This also requires bumping the `cryptol`, `macaw`, and `what4` submodules in order to construct a consistent build plan with the latest `crucible`.
GaloisInc · Jul 18, 2024 · 4697041 · 4697041
1 parent 352c629
commit 4697041
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/deps/crucible b/deps/crucible
diff --git a/deps/cryptol b/deps/cryptol
diff --git a/deps/macaw b/deps/macaw
diff --git a/deps/what4 b/deps/what4
+3 −0		.github/workflows/crucible-go-build.yml
+3 −0		.github/workflows/crucible-jvm-build.yml
+3 −0		.github/workflows/crucible-wasm-build.yml
+4 −0		.github/workflows/crux-llvm-build.yml
+4 −0		.github/workflows/crux-mir-build.yml
+1 −1		.gitmodules
+2 −2		crucible-cli/crucible-cli.cabal
+24 −18		crucible-cli/src/Lang/Crucible/CLI.hs
+4 −4		crucible-cli/test-data/simulate/override-nondet-test-both.out.good
+2 −2		crucible-cli/test-data/simulate/override-test2.out.good
+1 −1		crucible-llvm-cli/crucible-llvm-cli.cabal
+252 −11		crucible-llvm/src/Lang/Crucible/LLVM/Globals.hs
+28 −15		crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Cast.hs
+2 −2		crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Common.hs
+68 −1		crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/LLVM.hs
+6 −2		crucible-llvm/src/Lang/Crucible/LLVM/Intrinsics/Libc.hs
+5 −18		crucible-llvm/src/Lang/Crucible/LLVM/MemModel.hs
+22 −5		crucible-llvm/src/Lang/Crucible/LLVM/MemModel/Partial.hs
+87 −5		crucible-llvm/src/Lang/Crucible/LLVM/MemModel/Pointer.hs
+2 −0		crucible-llvm/src/Lang/Crucible/LLVM/Translation/Instruction.hs
+31 −1		crucible-llvm/src/Lang/Crucible/LLVM/Utils.hs
+5 −0		crucible-mir/CHANGELOG.md
+3 −1		crucible-mir/src/Mir/JSON.hs
+1 −1		crucible-mir/src/Mir/Mir.hs
+18 −20		crucible-symio/tests/TestMain.hs
+21 −15		crucible-syntax/src/Lang/Crucible/Syntax/Overrides.hs
+4 −0		crucible/CHANGELOG.md
+8 −0		crucible/crucible.cabal
+26 −250		crucible/src/Lang/Crucible/Backend.hs
+268 −0		crucible/src/Lang/Crucible/Backend/Assumptions.hs
+455 −0		crucible/src/Lang/Crucible/Backend/Prove.hs
+607 −0		crucible/src/Lang/Crucible/Concretize.hs
+28 −0		crucible/src/Lang/Crucible/Simulator/SymSequence.hs
+18 −0		crucible/src/Lang/Crucible/Utils/Seconds.hs
+38 −0		crucible/src/Lang/Crucible/Utils/Timeout.hs
+18 −0		crux-llvm/test-data/golden/T1174.c
+1 −0		crux-llvm/test-data/golden/T1174.z3.good
+14 −0		crux-llvm/test-data/golden/T1196.c
+1 −0		crux-llvm/test-data/golden/T1196.z3.good
+8 −0		crux-llvm/test-data/golden/T1204.c
+1 −0		crux-llvm/test-data/golden/T1204.z3.good
+20 −0		crux-mir/test/conc_eval/ptr/coerce_array_to_pointer.rs
+1 −1		dependencies/what4
+23 −22		.github/workflows/ci.yml
+2 −2		.gitpod.Dockerfile
+3 −3		Dockerfile
+2 −2		README.md
+73 −66		cabal.GHC-9.4.8.config
+79 −72		cabal.GHC-9.6.5.config
+94 −89		cabal.GHC-9.8.2.config
+3 −11		cry
+4 −4		cryptol-remote-api/Dockerfile
+3 −3		cryptol-remote-api/cryptol-remote-api.cabal
+4 −4		cryptol-remote-api/python/poetry.lock
+2 −2		cryptol.cabal
+6 −1		cryptol/REPL/Logo.hs
+10 −10		lib/Cryptol.cry
+5 −3		src/Cryptol/Backend/FFI/Error.hs
+3 −3		src/Cryptol/Eval/FFI/GenHeader.hs
+1 −1		src/Cryptol/Eval/Reference.lhs
+13 −2		src/Cryptol/IR/FreeVars.hs
+7 −5		src/Cryptol/ModuleSystem/Base.hs
+9 −1		src/Cryptol/ModuleSystem/Names.hs
+12 −3		src/Cryptol/ModuleSystem/Renamer.hs
+8 −2		src/Cryptol/Parser/Layout.hs
+12 −2		src/Cryptol/Parser/ParserUtils.hs
+5 −5		src/Cryptol/Symbolic/SBV.hs
+2 −2		src/Cryptol/Symbolic/What4.hs
+9 −7		src/Cryptol/TypeCheck/Error.hs
+5 −2		src/Cryptol/TypeCheck/Module.hs
+1 −0		src/Cryptol/TypeCheck/Solver/SMT.hs
+1 −1		src/Cryptol/Utils/PP.hs
+1 −1		tests/ffi/ffi-runtime-errors.icry.stdout
+1 −1		tests/ffi/ffi-runtime-errors.icry.stdout.darwin
+1 −1		tests/ffi/ffi-runtime-errors.icry.stdout.mingw32
+5 −5		tests/ffi/ffi-type-errors.icry.stdout
+4 −4		tests/issues/T146.icry.stdout
+6 −6		tests/issues/issue1024.icry.stdout
+12 −0		tests/issues/issue1663.icry
+13 −0		tests/issues/issue1663.icry.stdout
+2 −2		tests/issues/issue290v2.icry.stdout
+2 −2		tests/issues/issue723.icry.stdout
+4 −4		tests/regression/tc-errors.icry.stdout
+5 −5		.github/workflows/ci.yaml
+2 −2		.gitmodules
+16 −0		README.md
+3 −0		base/ChangeLog.md
+1 −1		base/src/Data/Macaw/AbsDomain/AbsState.hs
+3 −3		base/src/Data/Macaw/Dwarf.hs
+16 −2		base/src/Data/Macaw/Memory/ElfLoader.hs
+2 −0		base/src/Data/Macaw/Types.hs
+65 −60		cabal.project.freeze.ghc-9.2.8
+74 −69		cabal.project.freeze.ghc-9.4.8
+79 −74		cabal.project.freeze.ghc-9.6.5
+1 −1		deps/crucible
+1 −1		deps/llvm-pretty
+1 −1		deps/llvm-pretty-bc-parser
+1 −1		deps/what4
+1 −0		macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic.hs
+1 −1		macaw-semmc/macaw-semmc.cabal
+5 −2		refinement/src/Data/Macaw/Refinement/Path.hs
+1 −1		symbolic/macaw-symbolic.cabal
+8 −8		symbolic/src/Data/Macaw/Symbolic/Memory/Common.hs
+28 −38		symbolic/src/Data/Macaw/Symbolic/Testing.hs
+61 −31		x86_symbolic/src/Data/Macaw/X86/Crucible.hs
+47 −0		x86_symbolic/tests/pass/T393-division.c
+ −		x86_symbolic/tests/pass/T393-division.opt.exe
+ −		x86_symbolic/tests/pass/T393-division.unopt.exe
+2 −2		.github/workflows/gen_matrix.pl
+1 −1		what4-transition-system/what4-transition-system.cabal
+20 −1		what4/CHANGES.md
+36 −0		what4/src/What4/Expr/GroundEval.hs
+8 −0		what4/src/What4/Solver/CVC4.hs
+0 −8		what4/src/What4/Solver/CVC5.hs
+53 −23		what4/test/ExprBuilderSMTLib2.hs
+1 −1		what4/what4.cabal