Update submodule versions

GaloisInc · Jun 27, 2022 · c85d2ce · c85d2ce
1 parent 8be2c1d
commit c85d2ce
Show file tree

Hide file tree

Showing 12 changed files with 12 additions and 12 deletions.
diff --git a/cabal.project b/cabal.project
@@ -42,4 +42,4 @@ packages:
 source-repository-package
     type: git
     location: https://github.com/eddywestbrook/hobbits.git
-    tag: e2df7a85ea8dfebce2be8065afdca96cbaef12ae
+    tag: e49911ce987c4e0fea8c63608d16638b243b051f
diff --git a/deps/crucible b/deps/crucible
diff --git a/deps/cryptol b/deps/cryptol
diff --git a/deps/dwarf b/deps/dwarf
diff --git a/deps/elf-edit b/deps/elf-edit
diff --git a/deps/flexdis86 b/deps/flexdis86
diff --git a/deps/jvm-parser b/deps/jvm-parser
diff --git a/deps/llvm-pretty b/deps/llvm-pretty
diff --git a/deps/llvm-pretty-bc-parser b/deps/llvm-pretty-bc-parser
diff --git a/deps/macaw b/deps/macaw
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
diff --git a/deps/what4 b/deps/what4
+7 −3		.github/ci.sh
+3 −3		.github/wix.ps1
+36 −19		.github/workflows/ci.yml
+7 −0		.gitignore
+2 −2		.gitpod.Dockerfile
+30 −3		CHANGES.md
+1 −1		Dockerfile
+4 −3		README.md
+40 −40		cabal.GHC-8.10.7.config
+40 −40		cabal.GHC-8.8.4.config
+40 −40		cabal.GHC-9.0.2.config
+310 −0		cabal.GHC-9.2.2.config
+4 −2		cryptol-remote-api/CHANGELOG.md
+3 −3		cryptol-remote-api/Dockerfile
+4 −4		cryptol-remote-api/cryptol-remote-api.cabal
+8 −8		cryptol-remote-api/ghc-portability.patch
+4 −2		cryptol-remote-api/python/CHANGELOG.md
+2 −2		cryptol-remote-api/python/pyproject.toml
+6 −6		cryptol.cabal
+1 −1		deps/argo
+4 −2		src/Cryptol/AES.hs
+2 −2		src/Cryptol/Backend/Monad.hs
+3 −3		src/Cryptol/Eval.hs
+1 −1		src/Cryptol/Eval/Env.hs
+5 −1		src/Cryptol/Eval/Generic.hs
+5 −5		src/Cryptol/Eval/Reference.lhs
+7 −10		src/Cryptol/Eval/What4.hs
+1 −1		src/Cryptol/IR/FreeVars.hs
+3 −3		src/Cryptol/ModuleSystem/Env.hs
+1 −1		src/Cryptol/ModuleSystem/Interface.hs
+1 −1		src/Cryptol/ModuleSystem/Monad.hs
+1 −0		src/Cryptol/ModuleSystem/Name.hs
+2 −0		src/Cryptol/ModuleSystem/NamingEnv.hs
+1 −1		src/Cryptol/ModuleSystem/Renamer/Monad.hs
+3 −3		src/Cryptol/Parser.y
+4 −2		src/Cryptol/Parser/Layout.hs
+2 −2		src/Cryptol/Parser/NoInclude.hs
+4 −2		src/Cryptol/Parser/NoPat.hs
+6 −4		src/Cryptol/Parser/ParserUtils.hs
+36 −25		src/Cryptol/REPL/Command.hs
+6 −3		src/Cryptol/REPL/Monad.hs
+4 −1		src/Cryptol/Symbolic/SBV.hs
+5 −4		src/Cryptol/Transform/MonoValues.hs
+3 −0		src/Cryptol/Transform/Specialize.hs
+2 −0		src/Cryptol/TypeCheck/CheckModuleInstance.hs
+6 −2		src/Cryptol/TypeCheck/Error.hs
+2 −0		src/Cryptol/TypeCheck/Infer.hs
+2 −0		src/Cryptol/TypeCheck/Kind.hs
+4 −4		src/Cryptol/TypeCheck/Monad.hs
+2 −2		src/Cryptol/TypeCheck/Sanity.hs
+2 −0		src/Cryptol/TypeCheck/SimpType.hs
+25 −1		src/Cryptol/TypeCheck/TypePat.hs
+1 −0		tests/issues/issue1344.icry
+4 −0		tests/issues/issue1344.icry.stdout
+5 −0		tests/issues/issue1344/A.cry
+5 −0		tests/issues/issue1344/issue1344.cry
+7 −0		tests/issues/issue1359.icry
+5 −0		tests/issues/issue1359.icry.stdout
+2 −2		win32/cryptol.wxs
+14 −15		.github/workflows/ci.yaml
+13 −0		cabal.project.dist.freeze.ghc-8.10.7
+1 −1		cabal.project.dist.freeze.ghc-8.8.4
+13 −0		cabal.project.dist.freeze.ghc-9.0.2
+16 −0		cabal.project.dist.freeze.ghc-9.2.2
+7 −0		src/Data/Dwarf/AT.hs
+7 −0		src/Data/Dwarf/Form.hs
+7 −0		src/Data/Dwarf/TAG.hs
+7 −0		src/Data/Dwarf/Types.hs
+7 −4		.github/update-freeze
+8 −6		.github/workflows/ci.yaml
+38 −37		cabal.project.freeze.ghc-8.10.7
+32 −31		cabal.project.freeze.ghc-8.8.4
+39 −38		cabal.project.freeze.ghc-9.0.2
+97 −0		cabal.project.freeze.ghc-9.2.2
+17 −6		src/Data/ElfEdit/Dynamic.hs
+4 −2		src/Data/ElfEdit/HighLevel/Layout.hs
+4 −1		tests/Makefile
+39 −2		tests/Test.hs
+11 −0		tests/fmax.c
+ −		tests/fmax.elf
+8 −6		.github/workflows/ci.yaml
+40 −37		cabal.project.ghc-8.10.7.freeze
+103 −0		cabal.project.ghc-9.0.2.freeze
+103 −0		cabal.project.ghc-9.2.2.freeze
+1 −1		deps/elf-edit
+17 −14		src/Flexdis86/Disassembler.hs
+2 −2		tests/Assemble.hs
+2 −0		utils/DumpInstr.hs
+4 −0		disasm-test/tests/atomicrmw.ll
+40 −0		disasm-test/tests/callbr.ll
+4 −13		doc/developing.md
+1 −1		llvm-pretty
+108 −44		src/Data/LLVM/BitCode/IR/Function.hs
+5 −0		parameterized-utils.cabal
+36 −0		src/Data/Parameterized/Fin.hs
+79 −0		src/Data/Parameterized/FinMap.hs
+248 −0		src/Data/Parameterized/FinMap/Safe.hs
+249 −0		src/Data/Parameterized/FinMap/Unsafe.hs
+28 −3		src/Data/Parameterized/NatRepr.hs
+7 −0		src/Data/Parameterized/Some.hs
+1 −4		src/Data/Parameterized/Vector.hs
+22 −3		test/Test/Fin.hs
+393 −0		test/Test/FinMap.hs
+74 −0		test/Test/Some.hs
+14 −3		test/Test/Vector.hs
+4 −0		test/UnitTest.hs
+2 −2		.github/workflows/test.yml
+1 −1		what4-transition-system/what4-transition-system.cabal
+47 −0		what4/CHANGES.md
+5 −5		what4/src/What4/Expr/Builder.hs
+3 −7		what4/what4.cabal