Skip to content

Commit

Permalink
Bump Crucible submodule to include Crux 0.5
Browse files Browse the repository at this point in the history
  • Loading branch information
Aaron Tomb committed Oct 6, 2021
1 parent 7cb49e3 commit 4e4d4e5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/crucible
Submodule crucible updated 45 files
+20 −39 .github/Dockerfile-crux-llvm
+7 −35 .github/Dockerfile-crux-mir
+1 −0 .github/cabal.project.crux-llvm
+2 −0 .github/cabal.project.crux-mir
+16 −62 .github/ci.sh
+6 −6 .github/workflows/crucible-wasm-build.yml
+9 −6 .github/workflows/crux-llvm-build.yml
+5 −4 .github/workflows/crux-mir-build.yml
+4 −0 README.md
+8 −9 cabal.GHC-8.10.2.config
+274 −0 cabal.GHC-8.10.4.config
+8 −9 cabal.GHC-8.6.5.config
+8 −9 cabal.GHC-8.8.4.config
+3 −4 crucible-concurrency/crucibles/Main.hs
+2 −1 crucible-concurrency/src/Cruces/ExploreCrux.hs
+1 −1 crucible-concurrency/test/Main.hs
+8 −9 crucible-go/tool/Main.hs
+7 −8 crucible-jvm/tool/Main.hs
+4 −0 crucible-llvm/src/Lang/Crucible/LLVM/SymIO.hs
+6 −7 crucible-wasm/tool/Main.hs
+1 −1 crux-llvm/crux-llvm.cabal
+1 −1 crux-llvm/exe/unix/RealMain.hs
+1 −1 crux-llvm/for-ide/unix/RealMain.hs
+2 −2 crux-llvm/src/CruxLLVMMain.hs
+17 −8 crux-llvm/svcomp/Main.hs
+150 −1 crux-llvm/svcomp/README.md
+303 −0 crux-llvm/svcomp/benchexec-util-scripts/CountScore.hs
+32 −0 crux-llvm/svcomp/benchexec-util-scripts/validate-witnesses.sh
+1 −1 crux-llvm/test/Test.hs
+1 −1 crux-mir/crux-mir.cabal
+10 −5 crux-mir/src/Mir/Language.hs
+1 −1 crux-mir/test/Test.hs
+1 −1 crux/crux.cabal
+22 −13 crux/src/Crux.hs
+35 −1 crux/src/Crux/Config/Common.hs
+19 −20 crux/src/Crux/Log.hs
+17 −13 crux/src/Crux/SVCOMP.hs
+14 −3 crux/src/Crux/SVCOMP/Witness.hs
+1 −1 uc-crux-llvm/.hlint.yaml
+1 −1 uc-crux-llvm/exe/unix/RealMain.hs
+3 −3 uc-crux-llvm/src/UCCrux/LLVM/Main.hs
+88 −0 uc-crux-llvm/test/Logging.hs
+8 −155 uc-crux-llvm/test/Test.hs
+182 −0 uc-crux-llvm/test/Utils.hs
+7 −2 uc-crux-llvm/uc-crux-llvm.cabal

0 comments on commit 4e4d4e5

Please sign in to comment.