New release.

validsdp · Jun 1, 2020 · 0f2359b · 0f2359b
1 parent 554a57b
commit 0f2359b
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/NEWS.md b/NEWS.md
@@ -1,3 +1,10 @@
+Version 3.3.0
+-------------
+
+* added `IEEE754.BinarySingleNaN` where NaN have no payload
+* proved adequacy of Coq 8.11 floating-point numbers in `IEEE754.PrimFloat`
+* added theorems about rounding to nearest, tie breaking to zero
+
 Version 3.2.1
 -------------
 

diff --git a/configure.in b/configure.in
@@ -1,4 +1,4 @@
-AC_INIT([Flocq], [3.2.1],
+AC_INIT([Flocq], [3.3.0],
         [Sylvie Boldo <[email protected]>, Guillaume Melquiond <[email protected]>],
         [flocq])