GNU MPFR 4.1.0 Release Candidate 2

[Vincent Lefevre]

The release of GNU MPFR 4.1.0 ("épinards à la crème") is imminent.
Please help to make this release as good as possible by downloading
and testing this release candidate:

https://www.mpfr.org/mpfr-4.1.0/mpfr-4.1.0-rc2.tar.xz
https://www.mpfr.org/mpfr-4.1.0/mpfr-4.1.0-rc2.tar.bz2
https://www.mpfr.org/mpfr-4.1.0/mpfr-4.1.0-rc2.tar.gz
https://www.mpfr.org/mpfr-4.1.0/mpfr-4.1.0-rc2.zip

The SHA1 digests:
f6320390ed7e79c5310bc1249b4b821c20669033  mpfr-4.1.0-rc2.tar.bz2
e589b42226d80227f8662eed5202e10961337526  mpfr-4.1.0-rc2.tar.gz
2ec87a25c9ed866c2864137f533de4d86b7a8d8f  mpfr-4.1.0-rc2.tar.xz
a8aec8a2a70c83e384a7173617030ec46139bdb8  mpfr-4.1.0-rc2.zip

The SHA256 digests:
468cc2ab74caf97ab1f35c5f015297bc3be2dd26e8854f4314d8dacdd6631928  mpfr-4.1.0-rc2.tar.bz2
2fd45c229022d07487c1b5c58e241f4a281dd14d2eefacb9063bf66b1a7c57f4  mpfr-4.1.0-rc2.tar.gz
8ff1252a89de8fc33dc8c147f6e56ee7e971787d5ce4291c9e0f0605ac51b384  mpfr-4.1.0-rc2.tar.xz
41538322aa5fb54cc4c412e80864fab47eba226f9dac362547bd8e5ff9b4bbb3  mpfr-4.1.0-rc2.zip

The signatures:
https://www.mpfr.org/mpfr-4.1.0/mpfr-4.1.0-rc2.tar.xz.asc
https://www.mpfr.org/mpfr-4.1.0/mpfr-4.1.0-rc2.tar.bz2.asc
https://www.mpfr.org/mpfr-4.1.0/mpfr-4.1.0-rc2.tar.gz.asc
https://www.mpfr.org/mpfr-4.1.0/mpfr-4.1.0-rc2.zip.asc

Each tarball is signed by Vincent Lefèvre. This can be verified using
the DSA key ID 980C197698C3739D; this key can be retrieved with:

  gpg --recv-keys 980C197698C3739D

or by downloading it from <https://www.vinc17.net/pgp.html>.
The key fingerprint is:

  07F3 DBBE CC1A 3960 5078  094D 980C 1976 98C3 739D

The signatures can be verified with: gpg --verify <file.asc>
You should check that the key fingerprint matches.

Changes from versions 4.0.* to version 4.1.0:
- The "épinards à la crème" release.
- Binary compatible with MPFR 4.0.*, though some minor changes in the
  behavior of the formatted output functions may be visible, regarded
  as underspecified behavior or bug fixes (see below).
- New --enable-formally-proven-code configure option, to use (when available)
  formally proven code.
- Improved __GMP_CC and __GMP_CFLAGS retrieval (in particular for MS Windows).
- Option -pedantic is now always removed from __GMP_CFLAGS (see INSTALL).
- Changed __float128 to the type _Float128 specified in ISO/IEC TS 18661.
  __float128 is used as a fallback if _Float128 is not supported.
- New function mpfr_get_str_ndigits about conversion to a string of digits.
- New function mpfr_dot for the dot product (incomplete, experimental).
- New functions mpfr_get_decimal128 and mpfr_set_decimal128 (available only
  when MPFR has been built with decimal float support).
- New function mpfr_cmpabs_ui.
- New function mpfr_total_order_p for the IEEE 754 totalOrder predicate.
- The mpfr_out_str function now accepts bases from -2 to -36, in order to
  follow mpfr_get_str and GMP's mpf_out_str functions (these cases gave an
  assertion failure, as with other invalid bases).
- Shared caches: cleanup; really detect lock failures (abort in this case).
- The behavior of the formatted output functions (mpfr_printf, etc.) with
  an empty precision field has improved: trailing zeros are kept in a way
  similar to the formatted output functions from C.
- Improved mpfr_add and mpfr_sub when all operands have a precision equal to
  twice the number of bits per word, e.g., 128 bits on a 64-bit platform.
- Optimized the tuning parameters for various architectures.
- Improved test coverage to 98.6% of code for x86_64.
- Bug fixes.
- MPFR manual: corrected/completed the mpfr_get_str description in order to
  follow the historical behavior and GMP's mpf_get_str function.
- New: optional "make check-exported-symbols", mainly for the MPFR developers
  and binary distributions, to check that MPFR does not define symbols with a
  GMP reserved prefix (experimental).
- Mini-gmp support: replaced --enable-mini-gmp configure option by
  --with-mini-gmp (still experimental, read doc/mini-gmp).
- A GCC bug on Sparc (present at least in old GCC 4.5.3 and 5.5.0 versions),
  which made several tests fail when TLS was enabled, is now avoided in the
  tests. The MPFR library itself was not affected and normal code using the
  MPFR library should not be affected either. Users and distributions that
  disabled TLS just because of the test failures can safely re-enable it.

Please send success and failure reports with "./config.guess" output
to <mpfr at inria.fr>.

If no problems are found, GNU MPFR 4.1.0 should be released
around 2020-07-10.

Regards,

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)