Commit b5a3a8b3 authored by Guillaume Melquiond's avatar Guillaume Melquiond

New release.

parent 3764b8c5
Version 3.1.0
* changed matching order in `Bcompare`
* improved behavior of `Binary.v` 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
* made installation also install source files
Version 3.0.0
AC_INIT([Flocq], [3.0.0],
AC_INIT([Flocq], [3.1.0],
[Sylvie Boldo <>, Guillaume Melquiond <>],
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