Merge pull request #1245 from GaloisInc/prepare-release-crux-v0.9

Prepare release crux v0.9
GaloisInc · Aug 30, 2024 · 5c92113 · 5c92113
2 parents 465395b + ea43879
commit 5c92113
Show file tree

Hide file tree

Showing 14 changed files with 38 additions and 12 deletions.
diff --git a/crucible-llvm/CHANGELOG.md b/crucible-llvm/CHANGELOG.md
@@ -1,5 +1,8 @@
-# next
+# 0.7 -- 2024-08-30
 
+* Add support for GHC 9.8
+* Add integer-related `llvm.vector.reduce.*` intrinsics.
+* Add workaround to allow loading bitcode using LLVM's reltable lookup optimization.
 * `register_llvm_overrides{,_}` now returns the list of overrides that were
   applied.
 * The `doMallocHandle` function was 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.6.0.99
+Version:       0.7.0.99
 Author:        Galois Inc.
 Copyright:     (c) Galois, Inc 2014-2022
 Maintainer:    [email protected], [email protected], [email protected]

diff --git a/crucible-mir/CHANGELOG.md b/crucible-mir/CHANGELOG.md
@@ -1,7 +1,10 @@
-# next -- TBA
+# 0.3 -- 2024-08-30
 
-* Fix a bug in which `crucible-mir` would fail to parse MIR JSON code involving
-  casts from array references to pointers.
+* Implement byte-to-char casts.
+* Fix a bug which failed to parse MIR JSON code involving casts from array references to pointers.
+* Rearranged handling of constant slices into a reference and a separate static allocation for the body the reference points to.
+* Add support for GHC 9.8
+* Properly parse ArrayToPointer casts
 
 # 0.2 -- 2024-02-05
 

diff --git a/crucible-mir/crucible-mir.cabal b/crucible-mir/crucible-mir.cabal
@@ -1,5 +1,5 @@
 name:                crucible-mir
-version:             0.2
+version:             0.3.0.99
 -- synopsis:
 -- description:
 homepage:            https://github.com/GaloisInc/crucible/blob/master/crucible-mir/README.md

diff --git a/crucible-symio/CHANGELOG.md b/crucible-symio/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for crucible-symio
 
+## 0.1.1 -- 2024-08-30
+
+* Add support for GHC 9.8
+
 ## 0.1 -- 2024-02-05
 
 * First version. Released on an unsuspecting world.
diff --git a/crucible-symio/crucible-symio.cabal b/crucible-symio/crucible-symio.cabal
@@ -6,7 +6,7 @@ description:
   reading and writing symbolic data. An example use case would be to support verifying
   programs that e.g., use configuration files or accept input from files.
 name:                crucible-symio
-version:             0.1.0.99
+version:             0.1.1.0.99
 license:             BSD-3-Clause
 license-file:        LICENSE
 author:              Daniel Matichuk

diff --git a/crucible/CHANGELOG.md b/crucible/CHANGELOG.md
@@ -1,4 +1,6 @@
-# next
+# 0.7.1 -- 2024-08-30
+
+* Add support for GHC 9.8
 
 * Deprecate `concreteizeSymSequence` in favor of `concretizeSymSequence`
 

diff --git a/crucible/crucible.cabal b/crucible/crucible.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          crucible
-Version:       0.7.0.99
+Version:       0.7.1.0.99
 Author:        Galois Inc.
 Maintainer:    [email protected], [email protected], [email protected]
 Copyright:     (c) Galois, Inc 2014-2022

diff --git a/crux-llvm/CHANGELOG.md b/crux-llvm/CHANGELOG.md
@@ -1,3 +1,8 @@
+# 0.9 -- 2024-08-30
+
+* Add support for GHC 9.8
+* The type signatures in `Crux.LLVM.Overrides` now use fewer type parameters in the `OverrideTemplates` that they return, in accordance with downstream changes from `crucible-llvm`.
+
 # 0.8 -- 2024-02-05
 
 * Add support for LLVM bitcode files generated by Apple Clang on macOS.

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.8.0.99
+Version:       0.9.0.99
 Author:        Galois Inc.
 Maintainer:    [email protected], [email protected], [email protected]
 Copyright:     (c) Galois, Inc 2014-2022

diff --git a/crux-mir/CHANGELOG.md b/crux-mir/CHANGELOG.md
@@ -1,3 +1,8 @@
+# 0.9 -- 2024-08-30
+
+* Add support for GHC 9.8
+* Constant slice updates in accordance with downstream changes from `crucible-mir`.
+
 # 0.8 -- 2024-02-05
 
 * `crux-mir` now supports the `nightly-2023-01-23` Rust toolchain. Some of the

diff --git a/crux-mir/crux-mir.cabal b/crux-mir/crux-mir.cabal
@@ -1,5 +1,5 @@
 name:                crux-mir
-version:             0.8.0.99
+version:             0.9.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
@@ -1,3 +1,7 @@
+# 0.7.1 -- 2024-08-30
+
+* Add support for GHC 9.8
+
 # 0.7 -- 2024-02-05
 
 * Add a `Crux.Overrides` module, which defines common functionality for defining

diff --git a/crux/crux.cabal b/crux/crux.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          crux
-Version:       0.7.0.99
+Version:       0.7.1.0.99
 Copyright:     (c) Galois, Inc. 2018-2022
 Author:        [email protected]
 Maintainer:    [email protected], [email protected], [email protected]