Commit 74cf6f88 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Release 1.3

parent e2327b52
Version 1.3:
- fixed overflow handling in IEEE-754 formats with directed rounding
Version 1.2:
- added IEEE-754 binary32 and 64 formats, including infinities and NaN
......
AC_INIT([Flocq], [1.2],
AC_INIT([Flocq], [1.3],
[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