Release 10.5

LeventErkok · Feb 21, 2024 · 9c7ec5e · 9c7ec5e
1 parent 661b7f3
commit 9c7ec5e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,11 +1,11 @@
 * Hackage: <http://hackage.haskell.org/package/sbv>
 * GitHub:  <http://leventerkok.github.io/sbv/>
 
-* Latest Hackage released version: 10.4, 2024-02-15
+* Latest Hackage released version: 10.5, 2024-02-20
 
-### Version 10.5, Not yet released
+### Version 10.5, 2024-02-20
 
-  * Export svFloatingPointAsSWord through internals
+  * Export svFloatingPointAsSWord through Data.SBV.Internals
 
   * crackNum: if verbose, alert the user if surface value of a NaN doesn't match its calculated value
     due to the redundancy in NaN representations.

diff --git a/sbv.cabal b/sbv.cabal
@@ -1,7 +1,7 @@
 Cabal-Version: 2.2
 
 Name        : sbv
-Version     : 10.4.5
+Version     : 10.5
 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