Skip to content

Commit

Permalink
Merge pull request #1610 from GaloisInc/update-deps
Browse files Browse the repository at this point in the history 
Update submodule versions.
  • Loading branch information
brianhuffman authored Mar 15, 2022
2 parents 6607f4c + 22474c3 commit 87ab2f3
Show file tree
Hide file tree
Showing 7 changed files with 7 additions and 7 deletions.
2 changes: 1 addition & 1 deletion deps/argo
Submodule argo updated 3 files
+1 −1 .github/workflows/ci.yml
+2 −2 argo/argo.cabal
+2 −2 file-echo-api/file-echo-api.cabal
2 changes: 1 addition & 1 deletion deps/cryptol
Submodule cryptol updated 19 files
+11 −0 CHANGES.md
+1 −1 README.md
+1 −0 docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
+29 −26 src/Cryptol/ModuleSystem/Base.hs
+37 −30 src/Cryptol/TypeCheck/Error.hs
+5 −4 src/Cryptol/TypeCheck/Infer.hs
+2 −1 src/Cryptol/TypeCheck/Kind.hs
+10 −9 src/Cryptol/TypeCheck/Monad.hs
+127 −39 src/Cryptol/TypeCheck/Unify.hs
+1 −0 tests/issues/issue084.icry.stdout
+8 −0 tests/issues/issue1324.cry
+1 −0 tests/issues/issue1324.icry
+10 −0 tests/issues/issue1324.icry.stdout
+1 −0 tests/issues/issue382.icry.stdout
+1 −0 tests/modsys/T1330.icry
+4 −0 tests/modsys/T1330.icry.stdout
+3 −0 tests/modsys/T1330/include.cry
+3 −0 tests/modsys/T1330/main.cry
+3 −0 tests/modsys/T1330/modA.cry
2 changes: 1 addition & 1 deletion deps/llvm-pretty
Submodule llvm-pretty updated from ca81ab to 34c95e
2 changes: 1 addition & 1 deletion deps/llvm-pretty-bc-parser
Submodule llvm-pretty-bc-parser updated 17 files
+1 −1 .github/workflows/build.yml
+1 −1 .github/workflows/llvm-quick-fuzz.yml
+1 −1 disasm-test/Main.hs
+1 −1 llvm-disasm/LLVMDis.hs
+1 −1 llvm-pretty
+27 −25 llvm-pretty-bc-parser.cabal
+0 −1 src/Data/LLVM/BitCode/BitString.hs
+12 −7 src/Data/LLVM/BitCode/Bitstream.hs
+12 −12 src/Data/LLVM/BitCode/GetBits.hs
+0 −1 src/Data/LLVM/BitCode/IR.hs
+3 −0 src/Data/LLVM/BitCode/IR/Constants.hs
+6 −6 src/Data/LLVM/BitCode/IR/Function.hs
+13 −9 src/Data/LLVM/BitCode/IR/Metadata.hs
+14 −14 src/Data/LLVM/BitCode/IR/Module.hs
+6 −3 src/Data/LLVM/BitCode/Parse.hs
+4 −3 src/Data/LLVM/BitCode/Record.hs
+8 −8 unit-test/Tests/Metadata.hs
2 changes: 1 addition & 1 deletion deps/macaw
Submodule macaw updated 46 files
+10 −0 .github/workflows/ci.yaml
+12 −0 .gitmodules
+12 −0 README.md
+5 −0 cabal.project.dist
+1 −1 cabal.project.freeze.ghc-8.10.7
+1 −1 cabal.project.freeze.ghc-8.8.4
+12 −20 cabal.project.freeze.ghc-9.0.2
+1 −0 deps/bv-sized
+1 −0 deps/bv-sized-float
+1 −0 deps/grift
+1 −0 deps/softfloat-hs
+5 −0 macaw-riscv/ChangeLog.md
+30 −0 macaw-riscv/LICENSE
+2 −0 macaw-riscv/Setup.hs
+65 −0 macaw-riscv/macaw-riscv.cabal
+75 −0 macaw-riscv/src/Data/Macaw/RISCV.hs
+139 −0 macaw-riscv/src/Data/Macaw/RISCV/Arch.hs
+451 −0 macaw-riscv/src/Data/Macaw/RISCV/Disassemble.hs
+158 −0 macaw-riscv/src/Data/Macaw/RISCV/Disassemble/Monad.hs
+81 −0 macaw-riscv/src/Data/Macaw/RISCV/Eval.hs
+75 −0 macaw-riscv/src/Data/Macaw/RISCV/Identify.hs
+451 −0 macaw-riscv/src/Data/Macaw/RISCV/RISCVReg.hs
+14 −0 macaw-riscv/tests/Main.hs
+245 −0 macaw-riscv/tests/RISCVTests.hs
+73 −0 macaw-riscv/tests/Shared.hs
+20 −0 macaw-riscv/tests/riscv/branch-rv64gc.dump
+ − macaw-riscv/tests/riscv/branch-rv64gc.exe
+4 −0 macaw-riscv/tests/riscv/branch-rv64gc.expected
+7 −0 macaw-riscv/tests/riscv/branch.c
+399 −0 macaw-riscv/tests/riscv/fact-rv64gc.dump
+ − macaw-riscv/tests/riscv/fact-rv64gc.exe
+12 −0 macaw-riscv/tests/riscv/fact-rv64gc.expected
+48 −0 macaw-riscv/tests/riscv/function-call-rv64gc.dump
+ − macaw-riscv/tests/riscv/function-call-rv64gc.exe
+6 −0 macaw-riscv/tests/riscv/function-call-rv64gc.expected
+12 −0 macaw-riscv/tests/riscv/function-call.c
+14 −0 macaw-riscv/tests/riscv/just-exit-rv64gc.dump
+ − macaw-riscv/tests/riscv/just-exit-rv64gc.exe
+4 −0 macaw-riscv/tests/riscv/just-exit-rv64gc.expected
+24 −0 macaw-riscv/tests/riscv/syscall-rv64gc.dump
+ − macaw-riscv/tests/riscv/syscall-rv64gc.exe
+5 −0 macaw-riscv/tests/riscv/syscall-rv64gc.expected
+6 −0 macaw-riscv/tests/riscv/syscall.c
+2 −1 refinement/src/Data/Macaw/Refinement/SymbolicExecution.hs
+2 −0 symbolic/ChangeLog.md
+26 −5 symbolic/src/Data/Macaw/Symbolic/Memory.hs
2 changes: 1 addition & 1 deletion deps/parameterized-utils
Submodule parameterized-utils updated 3 files
+2 −2 Changelog.md
+1 −1 LICENSE
+2 −2 parameterized-utils.cabal
2 changes: 1 addition & 1 deletion deps/what4
Submodule what4 updated 6 files
+10 −0 what4/CHANGES.md
+10 −0 what4/src/What4/Expr/App.hs
+18 −0 what4/src/What4/Interface.hs
+339 −0 what4/src/What4/Utils/ResolveBounds/BV.hs
+77 −2 what4/test/ExprBuilderSMTLib2.hs
+3 −1 what4/what4.cabal

0 comments on commit 87ab2f3

Please sign in to comment.