Commit c9353b99 authored by Guillaume Melquiond's avatar Guillaume Melquiond

New release.

parent a77bd08b
Pipeline #199609 passed with stages
in 31 minutes and 5 seconds
Version 3.4.0
-------------
* added some comparison functions to `IEEE754.BinarySingleNaN`
* proved the corresponding adequacy lemmas in `IEEE754.PrimFloat`
Version 3.3.1
-------------
......@@ -25,7 +31,7 @@ Version 3.1.0
-------------
* changed matching order in `Bcompare`
* improved behavior of `Binary.v` functions with respect to NaNs
* improved behavior of `IEEE754.Binary` functions with respect to NaNs
* ensured compatibility from Coq 8.7 to 8.9
* added functions `Bpred` and `Bsucc`
* added theorems on optimal relative error bounds for plus and square root
......
AC_INIT([Flocq], [3.3.1],
AC_INIT([Flocq], [3.4.0],
[Sylvie Boldo <sylvie.boldo@inria.fr>, Guillaume Melquiond <guillaume.melquiond@inria.fr>],
[flocq])
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment