Prepare release 0.12 #1722

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft

aschwerdfeger-galois wants to merge 5 commits into master from prepare-release-crux-0.12

+23 −11

crucible-llvm/CHANGELOG.md

-Original file line number
+Diff line change
@@ -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
@@ Expand Down @@

crucible-llvm/crucible-llvm.cabal

            
                      Original file line number
                      Diff line number
                      Diff line change
                  
    @@ -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:    [email protected], [email protected], [email protected]

    @@ -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,

crucible-mir/CHANGELOG.md

-Original file line number
+Diff line change
@@ -1,5 +1,7 @@
     # next
+    # 0.6 -- 2026-01-29
     This release supports [version
 ](https://github.com/GaloisInc/mir-json/blob/master/SCHEMA_CHANGELOG.md#6) of
     `mir-json`'s schema.
@@ Expand Down @@

crucible-mir/crucible-mir.cabal

-Original file line number
+Diff line change
@@ -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
@@ Expand Down @@

crucible/CHANGELOG.md

-Original file line number
+Diff line change
@@ -1,5 +1,7 @@
     # next
+    # 0.9 -- 2026-01-29
     # 0.8.0 -- 2025-11-09
     * Add `setExecResultContext`, `setExecStateContext`
@@ Expand Down @@

crucible/crucible.cabal

-Original file line number
+Diff line change
@@ -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:    [email protected], [email protected], [email protected]
     Copyright:     (c) Galois, Inc 2014-2022
@@ Expand Down @@

crux-llvm/CHANGELOG.md

-Original file line number
+Diff line change
@@ -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
@@ Expand Down @@

crux-llvm/crux-llvm.cabal

-Original file line number
+Diff line change
@@ -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:    [email protected], [email protected], [email protected]
     Copyright:     (c) Galois, Inc 2014-2022
@@ Expand Down @@

crux-mir/CHANGELOG.md

-Original file line number
+Diff line change
@@ -1,5 +1,7 @@
     # next
+    # 0.12 -- 2026-01-29
     This release supports [version
 ](https://github.com/GaloisInc/mir-json/blob/master/SCHEMA_CHANGELOG.md#8) of
     `mir-json`'s schema.
@@ Expand Down @@

crux-mir/crux-mir.cabal

-Original file line number
+Diff line change
@@ -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
@@ Expand Down @@

crux/CHANGELOG.md

-Original file line number
+Diff line change
@@ -1,5 +1,7 @@
     # next
+    # 0.9 -- 2026-01-29
     # 0.8 -- 2025-11-09
     * We now support running simulations with custom users state.
@@ Expand Down @@

crux/crux.cabal

-Original file line number
+Diff line change
@@ -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:        [email protected]
     Maintainer:    [email protected], [email protected], [email protected]
@@ Expand Down @@

dependencies/llvm-pretty

Submodule llvm-pretty updated 3 files

+13 −1		.github/workflows/haskell.yml
+1 −1		CHANGELOG.md
+2 −2		llvm-pretty.cabal

dependencies/llvm-pretty-bc-parser

Submodule llvm-pretty-bc-parser updated 4 files

+1 −1		CHANGELOG.md
+3 −3		flake.lock
+1 −1		llvm-pretty
+2 −2		llvm-pretty-bc-parser.cabal

dependencies/rme

Submodule rme updated 4 files

+3 −1		rme-what4/CHANGELOG.md
+1 −1		rme-what4/rme-what4.cabal
+1 −1		rme/CHANGELOG.md
+1 −1		rme/rme.cabal

dependencies/what4

Submodule what4 updated 2 files

+1 −1		what4/CHANGES.md
+1 −1		what4/what4.cabal

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Prepare release 0.12 #1722

Diff view

Diff view

There are no files selected for viewing

Uh oh!

Prepare release 0.12 #1722

Are you sure you want to change the base?

Prepare release 0.12 #1722

Uh oh!

Uh oh!

Diff view

Diff view

There are no files selected for viewing

Uh oh!