Skip to content

GitLab

F
flocq
Commit 7b5eec92 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files
Options

New release.

parent 8c0fdde4
Show whitespace changes
Inline Side-by-side
Showing with 6 additions and 1 deletion
NEWS
View file @ 7b5eec92
Version 2.4.0:
- moved some lemmas from Fcalc_digits to Fcore_digits and made them axiom-free
- added theorems about double rounding being innocuous (Fappli_double_round.v)
- improved a bit the efficiency of IEEE-754 arithmetic
Version 2.3.0: Version 2.3.0:
- moved some lemmas from Fcalc_digits to Fcore_digits and made them axiom-free - moved some lemmas from Fcalc_digits to Fcore_digits and made them axiom-free
- used the square root from the standard library instead of a custom one - used the square root from the standard library instead of a custom one
......
configure.in
View file @ 7b5eec92
AC_INIT([Flocq], [2.3.0], AC_INIT([Flocq], [2.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])
......
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