Merge pull request #269 from GaloisInc/new-release-for-crucible-1246

1.6.1 release prep
GaloisInc · Sep 3, 2024 · 9461339 · 9461339
2 parents 494ac64 + d966e4b
commit 9461339
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/what4/CHANGES.md b/what4/CHANGES.md
@@ -1,3 +1,12 @@
+# 1.6.1 (Sep 2024)
+
+* Fix a bug in which `what4`'s CVC5 adapter would fail to parse models
+  involving structs. ([#265](https://github.com/GaloisInc/what4/issues/265))
+
+* Add `What4.Expr.GroundEval.groundToSym`, which allows injecting
+  `GroundValue`s back into `SymExpr`s.
+  ([#268](https://github.com/GaloisInc/what4/pull/268))
+
 # 1.6 (May 2024)
 
 * Allow building with GHC 9.8.

diff --git a/what4/what4.cabal b/what4/what4.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.4
 Name:          what4
-Version:       1.6.0.0.99
+Version:       1.6.1.0.99
 Author:        Galois Inc.
 Maintainer:    rscott@galois.com, kquick@galois.com
 Copyright:     (c) Galois, Inc 2014-2023