Commit 52d078dc authored by Guillaume Melquiond's avatar Guillaume Melquiond

Release 1.2

parent 571f1bf2
Version 1.2:
- added IEEE-754 binary32 and 64 formats, including infinities and NaN
Version 1.1:
- simplified effective rounding for negative reals
- proved monotonicity of exponent functions for common formats
......
AC_INIT([Flocq], [1.1],
AC_INIT([Flocq], [1.2],
[Sylvie Boldo <sylvie.boldo@inria.fr>, Guillaume Melquiond <guillaume.melquiond@inria.fr>],
[flocq])
AM_INIT_AUTOMAKE
......
......@@ -22,7 +22,6 @@ FILES = \
Prop/Fprop_relative.v \
Prop/Fprop_div_sqrt_error.v \
Prop/Fprop_Sterbenz.v \
Appli/Fappli_Axpy.v \
Appli/Fappli_IEEE.v \
Appli/Fappli_sqrt_FLT_ne.v
......
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