diff --git a/crucible-llvm/CHANGELOG.md b/crucible-llvm/CHANGELOG.md index 20aa84090..2b1ee6350 100644 --- a/crucible-llvm/CHANGELOG.md +++ b/crucible-llvm/CHANGELOG.md @@ -1,5 +1,7 @@ # next +# 0.9 -- 2026-01-29 + * The `LLVM_Debug` data constructor for `LLVMStmt`, as well as the related `LLVM_Dbg` data type, have been removed. * Remove `aggInfo` in favor of `aggregateAlignment`, a lens that retrieves an diff --git a/crucible-llvm/crucible-llvm.cabal b/crucible-llvm/crucible-llvm.cabal index 163d95036..92cb984d2 100644 --- a/crucible-llvm/crucible-llvm.cabal +++ b/crucible-llvm/crucible-llvm.cabal @@ -1,6 +1,6 @@ Cabal-version: 2.2 Name: crucible-llvm -Version: 0.8.0.0.99 +Version: 0.9.0.0.99 Author: Galois Inc. Copyright: (c) Galois, Inc 2014-2022 Maintainer: rscott@galois.com, kquick@galois.com, langston@galois.com @@ -134,7 +134,7 @@ library extra, lens, itanium-abi >= 0.1.1.1 && < 0.2, - llvm-pretty >= 0.12.1 && < 0.14, + llvm-pretty >= 0.12.1 && < 0.15, mtl, parameterized-utils >= 2.1.5 && < 2.2, pretty, diff --git a/crucible-mir/CHANGELOG.md b/crucible-mir/CHANGELOG.md index b17848509..00ae377c5 100644 --- a/crucible-mir/CHANGELOG.md +++ b/crucible-mir/CHANGELOG.md @@ -1,5 +1,7 @@ # next +# 0.6 -- 2026-01-29 + This release supports [version 6](https://github.com/GaloisInc/mir-json/blob/master/SCHEMA_CHANGELOG.md#6) of `mir-json`'s schema. diff --git a/crucible-mir/crucible-mir.cabal b/crucible-mir/crucible-mir.cabal index 077dcd6fb..09a9110b0 100644 --- a/crucible-mir/crucible-mir.cabal +++ b/crucible-mir/crucible-mir.cabal @@ -1,6 +1,6 @@ cabal-version: 2.2 name: crucible-mir -version: 0.5.0.0.99 +version: 0.6.0.0.99 -- synopsis: -- description: homepage: https://github.com/GaloisInc/crucible/blob/master/crucible-mir/README.md diff --git a/crucible/CHANGELOG.md b/crucible/CHANGELOG.md index d0e53e9b5..a5060adfb 100644 --- a/crucible/CHANGELOG.md +++ b/crucible/CHANGELOG.md @@ -1,5 +1,7 @@ # next +# 0.9 -- 2026-01-29 + # 0.8.0 -- 2025-11-09 * Add `setExecResultContext`, `setExecStateContext` diff --git a/crucible/crucible.cabal b/crucible/crucible.cabal index d25675782..096a6e627 100644 --- a/crucible/crucible.cabal +++ b/crucible/crucible.cabal @@ -1,6 +1,6 @@ Cabal-version: 2.2 Name: crucible -Version: 0.8.0.0.99 +Version: 0.9.0.0.99 Author: Galois Inc. Maintainer: rscott@galois.com, kquick@galois.com, langston@galois.com Copyright: (c) Galois, Inc 2014-2022 diff --git a/crux-llvm/CHANGELOG.md b/crux-llvm/CHANGELOG.md index 1552fb730..e97b02ea1 100644 --- a/crux-llvm/CHANGELOG.md +++ b/crux-llvm/CHANGELOG.md @@ -1,5 +1,7 @@ # next +# 0.12 -- 2026-01-29 + # 0.11 -- 2025-11-09 * Sync the version number with `crux-mir-0.11` as part of the overall Crux 0.10 diff --git a/crux-llvm/crux-llvm.cabal b/crux-llvm/crux-llvm.cabal index 886856ce8..15263c11a 100644 --- a/crux-llvm/crux-llvm.cabal +++ b/crux-llvm/crux-llvm.cabal @@ -1,6 +1,6 @@ Cabal-version: 2.2 Name: crux-llvm -Version: 0.11.0.0.99 +Version: 0.12.0.0.99 Author: Galois Inc. Maintainer: rscott@galois.com, kquick@galois.com, langston@galois.com Copyright: (c) Galois, Inc 2014-2022 diff --git a/crux-mir/CHANGELOG.md b/crux-mir/CHANGELOG.md index ec779b404..f09247567 100644 --- a/crux-mir/CHANGELOG.md +++ b/crux-mir/CHANGELOG.md @@ -1,5 +1,7 @@ # next +# 0.12 -- 2026-01-29 + This release supports [version 8](https://github.com/GaloisInc/mir-json/blob/master/SCHEMA_CHANGELOG.md#8) of `mir-json`'s schema. diff --git a/crux-mir/crux-mir.cabal b/crux-mir/crux-mir.cabal index c191cbdf0..338cbdb5e 100644 --- a/crux-mir/crux-mir.cabal +++ b/crux-mir/crux-mir.cabal @@ -1,6 +1,6 @@ cabal-version: 2.2 name: crux-mir -version: 0.11.0.0.99 +version: 0.12.0.0.99 -- synopsis: -- description: homepage: https://github.com/GaloisInc/crucible/blob/master/crux-mir/README.md diff --git a/crux/CHANGELOG.md b/crux/CHANGELOG.md index d0862af06..6f6a0bb3d 100644 --- a/crux/CHANGELOG.md +++ b/crux/CHANGELOG.md @@ -1,5 +1,7 @@ # next +# 0.9 -- 2026-01-29 + # 0.8 -- 2025-11-09 * We now support running simulations with custom users state. diff --git a/crux/crux.cabal b/crux/crux.cabal index b963ae5f7..40f03f6cb 100644 --- a/crux/crux.cabal +++ b/crux/crux.cabal @@ -1,6 +1,6 @@ Cabal-version: 2.2 Name: crux -Version: 0.8.0.0.99 +Version: 0.9.0.0.99 Copyright: (c) Galois, Inc. 2018-2022 Author: sweirich@galois.com Maintainer: rscott@galois.com, kquick@galois.com, langston@galois.com diff --git a/dependencies/llvm-pretty b/dependencies/llvm-pretty index 919692dd5..45bb7504b 160000 --- a/dependencies/llvm-pretty +++ b/dependencies/llvm-pretty @@ -1 +1 @@ -Subproject commit 919692dd590dc8921360be86e7934dda370d7163 +Subproject commit 45bb7504bcc7ac3936a41b7ffcd45153cb062214 diff --git a/dependencies/llvm-pretty-bc-parser b/dependencies/llvm-pretty-bc-parser index ad3a80b1b..b78d998c9 160000 --- a/dependencies/llvm-pretty-bc-parser +++ b/dependencies/llvm-pretty-bc-parser @@ -1 +1 @@ -Subproject commit ad3a80b1bd0860e8d45f41fa81c4ad4c7fbf833b +Subproject commit b78d998c9b90a27a5c892156169ae47245c6174c diff --git a/dependencies/rme b/dependencies/rme index b3cf9a96e..963f0b71e 160000 --- a/dependencies/rme +++ b/dependencies/rme @@ -1 +1 @@ -Subproject commit b3cf9a96ec6138aae81994e9e629a40c736d25a5 +Subproject commit 963f0b71e3f992bd43c40255168d39072cb7b0f2 diff --git a/dependencies/what4 b/dependencies/what4 index 827b069f3..121714d2f 160000 --- a/dependencies/what4 +++ b/dependencies/what4 @@ -1 +1 @@ -Subproject commit 827b069f394222fedcf93af37818c6ff6d6e113b +Subproject commit 121714d2f67780de49a246915b27d009741cae80