Commit 0f2359b7 authored by Guillaume Melquiond's avatar Guillaume Melquiond

New release.

parent 554a57bc
Pipeline #148325 passed with stages
in 29 minutes and 42 seconds
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
AC_INIT([Flocq], [3.2.1],
AC_INIT([Flocq], [3.3.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