Commit 42f3d861 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Release 1.4.0

parent baf0ed77
Version 1.4.0:
- improved efficiency of IEEE-754 addition
- fixed compilation with Coq 8.3
Version 1.3: Version 1.3:
- fixed overflow handling in IEEE-754 formats with directed rounding - fixed overflow handling in IEEE-754 formats with directed rounding
......
AC_INIT([Flocq], [1.3], AC_INIT([Flocq], [1.4.0],
[Sylvie Boldo <sylvie.boldo@inria.fr>, Guillaume Melquiond <guillaume.melquiond@inria.fr>], [Sylvie Boldo <sylvie.boldo@inria.fr>, Guillaume Melquiond <guillaume.melquiond@inria.fr>],
[flocq]) [flocq])
AM_INIT_AUTOMAKE AM_INIT_AUTOMAKE
......
...@@ -22,7 +22,6 @@ FILES = \ ...@@ -22,7 +22,6 @@ FILES = \
Prop/Fprop_relative.v \ Prop/Fprop_relative.v \
Prop/Fprop_div_sqrt_error.v \ Prop/Fprop_div_sqrt_error.v \
Prop/Fprop_Sterbenz.v \ Prop/Fprop_Sterbenz.v \
Appli/Fappli_Axpy.v \
Appli/Fappli_IEEE.v \ Appli/Fappli_IEEE.v \
Appli/Fappli_sqrt_FLT_ne.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