Bump crucible, cryptol submodules to 0.8.*, 3.1.* series

GaloisInc · Feb 5, 2024 · 7eb6694 · 7eb6694
1 parent 362788b
commit 7eb6694
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/deps/crucible b/deps/crucible
diff --git a/deps/cryptol b/deps/cryptol
+55 −55		cabal.GHC-8.10.7.config
+56 −56		cabal.GHC-9.2.8.config
+56 −56		cabal.GHC-9.4.5.config
+56 −56		cabal.GHC-9.6.2.config
+3 −0		crucible-cli/CHANGELOG.md
+1 −1		crucible-cli/crucible-cli.cabal
+1 −1		crucible-concurrency/crucible-concurrency.cabal
+3 −2		crucible-go/CHANGELOG.md
+1 −1		crucible-go/crucible-go.cabal
+3 −2		crucible-jvm/CHANGELOG.md
+3 −0		crucible-llvm-cli/CHANGELOG.md
+1 −1		crucible-llvm-cli/crucible-llvm-cli.cabal
+3 −0		crucible-llvm-syntax/CHANGELOG.md
+1 −1		crucible-llvm-syntax/crucible-llvm-syntax.cabal
+12 −1		crucible-llvm/CHANGELOG.md
+9 −4		crucible-llvm/crucible-llvm.cabal
+38 −1		crucible-mir/CHANGELOG.md
+1 −1		crucible-mir/crucible-mir.cabal
+1 −1		crucible-symio/CHANGELOG.md
+9 −2		crucible-symio/crucible-symio.cabal
+11 −1		crucible-syntax/CHANGELOG.md
+1 −1		crucible-syntax/crucible-syntax.cabal
+9 −0		crucible/CHANGELOG.md
+8 −3		crucible/crucible.cabal
+4 −0		crux-llvm/CHANGELOG.md
+7 −2		crux-llvm/crux-llvm.cabal
+14 −0		crux-mir/CHANGELOG.md
+1 −1		crux-mir/crux-mir.cabal
+5 −0		crux/CHANGELOG.md
+7 −2		crux/crux.cabal
+1 −1		dependencies/llvm-pretty
+1 −1		dependencies/llvm-pretty-bc-parser
+14 −4		CHANGES.md
+3 −2		cryptol-remote-api/CHANGELOG.md
+1 −1		cryptol-remote-api/cryptol-remote-api.cabal
+3 −2		cryptol-remote-api/python/CHANGELOG.md
+1 −1		cryptol-remote-api/python/pyproject.toml
+2 −2		cryptol.cabal