Skip to content

Commit

Permalink
Update submodule versions.
Browse files Browse the repository at this point in the history
  • Loading branch information
Brian Huffman committed Nov 13, 2021
1 parent d01539c commit 8bc8cef
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion deps/argo
Submodule argo updated 2 files
+1 −1 argo/argo.cabal
+25 −3 argo/src/Argo.hs
2 changes: 1 addition & 1 deletion deps/crucible
Submodule crucible updated 22 files
+5 −0 uc-crux-llvm/.hlint.yaml
+3 −109 uc-crux-llvm/README.md
+59 −0 uc-crux-llvm/doc/developing.md
+1 −1 uc-crux-llvm/src/UCCrux/LLVM/Classify.hs
+1 −1 uc-crux-llvm/src/UCCrux/LLVM/Classify/Poison.hs
+3 −8 uc-crux-llvm/src/UCCrux/LLVM/Classify/Types.hs
+16 −3 uc-crux-llvm/src/UCCrux/LLVM/Constraints.hs
+18 −3 uc-crux-llvm/src/UCCrux/LLVM/Cursor.hs
+7 −7 uc-crux-llvm/src/UCCrux/LLVM/Equivalence.hs
+42 −33 uc-crux-llvm/src/UCCrux/LLVM/Main.hs
+19 −1 uc-crux-llvm/src/UCCrux/LLVM/Main/Config/FromEnv.hs
+1 −1 uc-crux-llvm/src/UCCrux/LLVM/Main/Config/Type.hs
+5 −0 uc-crux-llvm/src/UCCrux/LLVM/Module.hs
+45 −9 uc-crux-llvm/src/UCCrux/LLVM/Overrides/Check.hs
+420 −0 uc-crux-llvm/src/UCCrux/LLVM/Run/Check.hs
+1 −1 uc-crux-llvm/src/UCCrux/LLVM/Run/Explore.hs
+22 −17 uc-crux-llvm/src/UCCrux/LLVM/Run/Loop.hs
+16 −3 uc-crux-llvm/src/UCCrux/LLVM/Run/Result.hs
+87 −9 uc-crux-llvm/test/Check.hs
+36 −32 uc-crux-llvm/test/Test.hs
+13 −0 uc-crux-llvm/test/programs/check_two_callsites.c
+2 −0 uc-crux-llvm/uc-crux-llvm.cabal

0 comments on commit 8bc8cef

Please sign in to comment.