Update crucible to get llvm debug information · GaloisInc/saw-script@80af875

Commit

Update crucible to get llvm debug information

Browse files

glguy committed Jul 19, 2021

1 parent be25449 commit 80af875

deps/crucible

Submodule crucible updated 37 files

+1 −1		.github/ci.sh
+6 −7		.github/workflows/crux-llvm-build.yml
+6 −1		crucible-concurrency/crucibles/Main.hs
+7 −2		crucible-concurrency/src/Cruces/CrucesMain.hs
+10 −4		crucible-concurrency/src/Cruces/ExploreCrux.hs
+8 −3		crucible-go/tool/Main.hs
+6 −3		crucible-jvm/tool/Main.hs
+70 −1		crucible-llvm/src/Lang/Crucible/LLVM/Extension/Syntax.hs
+2 −0		crucible-llvm/src/Lang/Crucible/LLVM/MemModel.hs
+48 −3		crucible-llvm/src/Lang/Crucible/LLVM/Translation/Instruction.hs
+9 −5		crucible-wasm/tool/Main.hs
+2 −0		crux-llvm/crux-llvm.cabal
+23 −9		crux-llvm/src/Crux/LLVM/Compile.hs
+61 −0		crux-llvm/src/Crux/LLVM/Log.hs
+15 −12		crux-llvm/src/Crux/LLVM/Simulate.hs
+28 −7		crux-llvm/src/CruxLLVMMain.hs
+63 −65		crux-llvm/svcomp/Main.hs
+123 −0		crux-llvm/svcomp/SVComp/Log.hs
+1 −1		crux-llvm/test/Test.hs
+2 −0		crux-mir/crux-mir.cabal
+1 −1		crux-mir/src/Mir/Intrinsics.hs
+55 −20		crux-mir/src/Mir/Language.hs
+39 −0		crux-mir/src/Mir/Log.hs
+6 −4		crux-mir/test/Test.hs
+2 −1		crux/crux.cabal
+57 −42		crux/src/Crux.hs
+20 −7		crux/src/Crux/Config/Common.hs
+44 −24		crux/src/Crux/Goal.hs
+224 −21		crux/src/Crux/Log.hs
+25 −6		crux/src/Crux/ProgressBar.hs
+1 −2		crux/src/Crux/SVCOMP.hs
+44 −2		uc-crux-llvm/src/UCCrux/LLVM/Logging.hs
+52 −13		uc-crux-llvm/src/UCCrux/LLVM/Main.hs
+7 −8		uc-crux-llvm/src/UCCrux/LLVM/Run/Explore.hs
+6 −6		uc-crux-llvm/src/UCCrux/LLVM/Run/Loop.hs
+4 −3		uc-crux-llvm/src/UCCrux/LLVM/Run/Simulate.hs
+108 −49		uc-crux-llvm/test/Test.hs

Please sign in to comment.