Commit 2e32d89f authored by Guillaume Melquiond's avatar Guillaume Melquiond

Release 2.1.0

parent c31654e3
Version 2.1.0:
- ensured compatibility with both Coq 8.3 and 8.4
- improved support for rounding toward and away from zero
- proved that formats are stable by arbitrary rounding or ulp addition
- generalized usage of ln_beta
Version 2.0.0:
- changed rounding modes from records to R -> Z functions as arguments
to the round function
AC_INIT([Flocq], [2.0.0],
AC_INIT([Flocq], [2.1.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