Bump version numbers for release (Crucible 0.9, Crux 0.12).

aschwerdfeger-galois · aschwerdfeger-galois · commit 21c5bb78b450 · 2026-01-29T03:13:38.000Z
diff --git a/crucible-llvm/CHANGELOG.md b/crucible-llvm/CHANGELOG.md
@@ -1,4 +1,4 @@
-# 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.
diff --git 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
 Author:        Galois Inc.
 Copyright:     (c) Galois, Inc 2014-2022
 Maintainer:    rscott@galois.com, kquick@galois.com, langston@galois.com
diff --git a/crucible/CHANGELOG.md b/crucible/CHANGELOG.md
@@ -1,4 +1,4 @@
-# next
+# 0.9 -- 2026-01-29
 
 # 0.8.0 -- 2025-11-09
 
diff --git 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
 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
@@ -1,4 +1,4 @@
-# next
+# 0.12 -- 2026-01-29
 
 # 0.11 -- 2025-11-09
 
diff --git 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
 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
@@ -1,4 +1,4 @@
-# next
+# 0.12 -- 2026-01-29
 
 This release supports [version
 8](https://github.com/GaloisInc/mir-json/blob/master/SCHEMA_CHANGELOG.md#8) of
diff --git 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
 -- synopsis:
 -- description:
 homepage:            https://github.com/GaloisInc/crucible/blob/master/crux-mir/README.md
diff --git a/crux/CHANGELOG.md b/crux/CHANGELOG.md
@@ -1,4 +1,4 @@
-# next
+# 0.9 -- 2026-01-29
 
 # 0.8 -- 2025-11-09
 
diff --git 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
 Copyright:     (c) Galois, Inc. 2018-2022
 Author:        sweirich@galois.com
 Maintainer:    rscott@galois.com, kquick@galois.com, langston@galois.com

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# next`
	`1`	`+# 0.9 -- 2026-01-29`
`2`	`2`
`3`	`3`	* The `LLVM_Debug` data constructor for `LLVMStmt`, as well as the related
`4`	`4`	`LLVM_Dbg` data type, have been removed.
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# next`
	`1`	`+# 0.12 -- 2026-01-29`
`2`	`2`
`3`	`3`	`# 0.11 -- 2025-11-09`
`4`	`4`