Release 10.7

LeventErkok · Mar 23, 2024 · 7785bd1 · 7785bd1
1 parent 8766dfe
commit 7785bd1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,7 +1,7 @@
 * Hackage: <http://hackage.haskell.org/package/sbv>
 * GitHub:  <http://github.com/LeventErkok/sbv>
 
-### Version next
+### Version 10.7, 2024-03-23
 
   * Fix SMTDefinable instances for functions of arity 8-12. Thanks to Nick Lewchenko for the patch.
 
@@ -2380,7 +2380,6 @@ uninterpreted.
     to the chosen solver as determined by the imported module. (The latter is
     useful for modifying options to the SMT solver in an solver-agnostic way.)
   * Various improvements to Z3 model parsing routines.
-  * New web page for SBV: http://leventerkok.github.io/sbv/ is now online.
 
 ### Version 2.8, 2012-11-29
 

diff --git a/sbv.cabal b/sbv.cabal
@@ -1,7 +1,7 @@
 Cabal-Version: 2.2
 
 Name        : sbv
-Version     : 10.6
+Version     : 10.7
 Category    : Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math, SMT
 Synopsis    : SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
 Description : Express properties about Haskell programs and automatically prove them using SMT