Source-Changes-HG archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

[src/trunk]: src/external/lgpl3/mpfr/dist GNU mpfr 4.1.0. main changes from ...



details:   https://anonhg.NetBSD.org/src/rev/109bc8219b4c
branches:  trunk
changeset: 955293:109bc8219b4c
user:      mrg <mrg%NetBSD.org@localhost>
date:      Sat Sep 26 07:25:38 2020 +0000

description:
GNU mpfr 4.1.0.  main changes from 4.0:

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).
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.

diffstat:

 external/lgpl3/mpfr/dist/AUTHORS                       |      5 +-
 external/lgpl3/mpfr/dist/BUGS                          |      4 +-
 external/lgpl3/mpfr/dist/COPYING                       |      8 +-
 external/lgpl3/mpfr/dist/COPYING.LESSER                |      8 +-
 external/lgpl3/mpfr/dist/ChangeLog                     |  15155 ++++++++++++++-
 external/lgpl3/mpfr/dist/INSTALL                       |    143 +-
 external/lgpl3/mpfr/dist/Makefile.am                   |     27 +-
 external/lgpl3/mpfr/dist/NEWS                          |     52 +-
 external/lgpl3/mpfr/dist/README                        |     14 +-
 external/lgpl3/mpfr/dist/TODO                          |    167 +-
 external/lgpl3/mpfr/dist/acinclude.m4                  |    793 +-
 external/lgpl3/mpfr/dist/aclocal.m4                    |    198 +-
 external/lgpl3/mpfr/dist/ar-lib                        |     19 +-
 external/lgpl3/mpfr/dist/compile                       |     17 +-
 external/lgpl3/mpfr/dist/configure                     |   3716 ++-
 external/lgpl3/mpfr/dist/configure.ac                  |    502 +-
 external/lgpl3/mpfr/dist/depcomp                       |      8 +-
 external/lgpl3/mpfr/dist/doc/FAQ.html                  |     10 +-
 external/lgpl3/mpfr/dist/doc/Makefile.am               |     10 +-
 external/lgpl3/mpfr/dist/doc/Makefile.in               |     24 +-
 external/lgpl3/mpfr/dist/doc/README.dev                |    426 +-
 external/lgpl3/mpfr/dist/doc/check-typography          |      2 +-
 external/lgpl3/mpfr/dist/doc/fdl.texi                  |      2 +-
 external/lgpl3/mpfr/dist/doc/mini-gmp                  |     77 +
 external/lgpl3/mpfr/dist/doc/mpfr.info                 |    Bin 
 external/lgpl3/mpfr/dist/doc/mpfr.texi                 |   1312 +-
 external/lgpl3/mpfr/dist/doc/texinfo.tex               |   1221 +-
 external/lgpl3/mpfr/dist/examples/can_round.c          |      5 +-
 external/lgpl3/mpfr/dist/examples/divworst.c           |      5 +-
 external/lgpl3/mpfr/dist/examples/rndo-add.c           |      5 +-
 external/lgpl3/mpfr/dist/examples/sample.c             |      7 +-
 external/lgpl3/mpfr/dist/examples/threads.c            |     90 +
 external/lgpl3/mpfr/dist/examples/version.c            |      5 +-
 external/lgpl3/mpfr/dist/install-sh                    |     49 +-
 external/lgpl3/mpfr/dist/ltmain.sh                     |    225 +-
 external/lgpl3/mpfr/dist/m4/libtool.m4                 |     27 +-
 external/lgpl3/mpfr/dist/missing                       |     16 +-
 external/lgpl3/mpfr/dist/mpfr.pc.in                    |      2 +-
 external/lgpl3/mpfr/dist/src/Makefile.am               |     83 +-
 external/lgpl3/mpfr/dist/src/abort_prec_max.c          |      4 +-
 external/lgpl3/mpfr/dist/src/acos.c                    |      4 +-
 external/lgpl3/mpfr/dist/src/acosh.c                   |      6 +-
 external/lgpl3/mpfr/dist/src/add.c                     |      4 +-
 external/lgpl3/mpfr/dist/src/add1.c                    |     14 +-
 external/lgpl3/mpfr/dist/src/add1sp.c                  |    544 +-
 external/lgpl3/mpfr/dist/src/add1sp1_extracted.c       |    363 +
 external/lgpl3/mpfr/dist/src/add_d.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/add_ui.c                  |     42 +-
 external/lgpl3/mpfr/dist/src/agm.c                     |     26 +-
 external/lgpl3/mpfr/dist/src/ai.c                      |    173 +-
 external/lgpl3/mpfr/dist/src/amd/mparam.h              |    233 +
 external/lgpl3/mpfr/dist/src/arm/mparam.h              |    413 +-
 external/lgpl3/mpfr/dist/src/asin.c                    |      4 +-
 external/lgpl3/mpfr/dist/src/asinh.c                   |      6 +-
 external/lgpl3/mpfr/dist/src/atan.c                    |     45 +-
 external/lgpl3/mpfr/dist/src/atan2.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/atanh.c                   |     10 +-
 external/lgpl3/mpfr/dist/src/bernoulli.c               |     18 +-
 external/lgpl3/mpfr/dist/src/beta.c                    |      6 +-
 external/lgpl3/mpfr/dist/src/buildopt.c                |      6 +-
 external/lgpl3/mpfr/dist/src/cache.c                   |     68 +-
 external/lgpl3/mpfr/dist/src/cbrt.c                    |    110 +-
 external/lgpl3/mpfr/dist/src/check.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/clear.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/clears.c                  |      5 +-
 external/lgpl3/mpfr/dist/src/cmp.c                     |      4 +-
 external/lgpl3/mpfr/dist/src/cmp2.c                    |    276 +-
 external/lgpl3/mpfr/dist/src/cmp_d.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/cmp_ld.c                  |     18 +-
 external/lgpl3/mpfr/dist/src/cmp_si.c                  |     21 +-
 external/lgpl3/mpfr/dist/src/cmp_ui.c                  |     21 +-
 external/lgpl3/mpfr/dist/src/cmpabs.c                  |     94 +
 external/lgpl3/mpfr/dist/src/cmpabs_ui.c               |     35 +
 external/lgpl3/mpfr/dist/src/comparisons.c             |      4 +-
 external/lgpl3/mpfr/dist/src/const_catalan.c           |      4 +-
 external/lgpl3/mpfr/dist/src/const_euler.c             |     10 +-
 external/lgpl3/mpfr/dist/src/const_log2.c              |     35 +-
 external/lgpl3/mpfr/dist/src/const_pi.c                |     11 +-
 external/lgpl3/mpfr/dist/src/constant.c                |      8 +-
 external/lgpl3/mpfr/dist/src/copysign.c                |      4 +-
 external/lgpl3/mpfr/dist/src/cos.c                     |     12 +-
 external/lgpl3/mpfr/dist/src/cosh.c                    |      4 +-
 external/lgpl3/mpfr/dist/src/cot.c                     |      4 +-
 external/lgpl3/mpfr/dist/src/coth.c                    |      4 +-
 external/lgpl3/mpfr/dist/src/csc.c                     |      4 +-
 external/lgpl3/mpfr/dist/src/csch.c                    |      4 +-
 external/lgpl3/mpfr/dist/src/d_div.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/d_sub.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/digamma.c                 |     63 +-
 external/lgpl3/mpfr/dist/src/dim.c                     |      4 +-
 external/lgpl3/mpfr/dist/src/div.c                     |    217 +-
 external/lgpl3/mpfr/dist/src/div_2exp.c                |      4 +-
 external/lgpl3/mpfr/dist/src/div_2si.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/div_2ui.c                 |     24 +-
 external/lgpl3/mpfr/dist/src/div_d.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/div_ui.c                  |     24 +-
 external/lgpl3/mpfr/dist/src/dot.c                     |     59 +
 external/lgpl3/mpfr/dist/src/dump.c                    |      6 +-
 external/lgpl3/mpfr/dist/src/eint.c                    |     46 +-
 external/lgpl3/mpfr/dist/src/eq.c                      |      4 +-
 external/lgpl3/mpfr/dist/src/erandom.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/erf.c                     |     33 +-
 external/lgpl3/mpfr/dist/src/erfc.c                    |     10 +-
 external/lgpl3/mpfr/dist/src/exceptions.c              |     30 +-
 external/lgpl3/mpfr/dist/src/exp.c                     |      4 +-
 external/lgpl3/mpfr/dist/src/exp10.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/exp2.c                    |      4 +-
 external/lgpl3/mpfr/dist/src/exp3.c                    |      4 +-
 external/lgpl3/mpfr/dist/src/exp_2.c                   |     16 +-
 external/lgpl3/mpfr/dist/src/expm1.c                   |     45 +-
 external/lgpl3/mpfr/dist/src/extract.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/factorial.c               |      4 +-
 external/lgpl3/mpfr/dist/src/fits_intmax.c             |     16 +-
 external/lgpl3/mpfr/dist/src/fits_s.h                  |      4 +-
 external/lgpl3/mpfr/dist/src/fits_sint.c               |      4 +-
 external/lgpl3/mpfr/dist/src/fits_slong.c              |      4 +-
 external/lgpl3/mpfr/dist/src/fits_sshort.c             |      4 +-
 external/lgpl3/mpfr/dist/src/fits_u.h                  |      4 +-
 external/lgpl3/mpfr/dist/src/fits_uint.c               |      4 +-
 external/lgpl3/mpfr/dist/src/fits_uintmax.c            |     12 +-
 external/lgpl3/mpfr/dist/src/fits_ulong.c              |      4 +-
 external/lgpl3/mpfr/dist/src/fits_ushort.c             |      4 +-
 external/lgpl3/mpfr/dist/src/fma.c                     |    209 +-
 external/lgpl3/mpfr/dist/src/fmma.c                    |     13 +-
 external/lgpl3/mpfr/dist/src/fms.c                     |      4 +-
 external/lgpl3/mpfr/dist/src/fpif.c                    |     81 +-
 external/lgpl3/mpfr/dist/src/frac.c                    |      4 +-
 external/lgpl3/mpfr/dist/src/free_cache.c              |     12 +-
 external/lgpl3/mpfr/dist/src/frexp.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/gamma.c                   |      6 +-
 external/lgpl3/mpfr/dist/src/gamma_inc.c               |     10 +-
 external/lgpl3/mpfr/dist/src/gammaonethird.c           |      4 +-
 external/lgpl3/mpfr/dist/src/gen_inverse.h             |      4 +-
 external/lgpl3/mpfr/dist/src/generic/coverage/mparam.h |      8 +-
 external/lgpl3/mpfr/dist/src/generic/mparam.h          |      7 +-
 external/lgpl3/mpfr/dist/src/get_d.c                   |     54 +-
 external/lgpl3/mpfr/dist/src/get_d128.c                |    441 +
 external/lgpl3/mpfr/dist/src/get_d64.c                 |    162 +-
 external/lgpl3/mpfr/dist/src/get_exp.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/get_f.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/get_float128.c            |     18 +-
 external/lgpl3/mpfr/dist/src/get_flt.c                 |     20 +-
 external/lgpl3/mpfr/dist/src/get_ld.c                  |    106 +-
 external/lgpl3/mpfr/dist/src/get_q.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/get_si.c                  |     30 +-
 external/lgpl3/mpfr/dist/src/get_sj.c                  |     60 +-
 external/lgpl3/mpfr/dist/src/get_str.c                 |    375 +-
 external/lgpl3/mpfr/dist/src/get_ui.c                  |     28 +-
 external/lgpl3/mpfr/dist/src/get_uj.c                  |     14 +-
 external/lgpl3/mpfr/dist/src/get_z.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/get_z_exp.c               |     18 +-
 external/lgpl3/mpfr/dist/src/gmp_op.c                  |     25 +-
 external/lgpl3/mpfr/dist/src/grandom.c                 |     42 +-
 external/lgpl3/mpfr/dist/src/hypot.c                   |     30 +-
 external/lgpl3/mpfr/dist/src/ieee_floats.h             |      4 +-
 external/lgpl3/mpfr/dist/src/init.c                    |      4 +-
 external/lgpl3/mpfr/dist/src/init2.c                   |      8 +-
 external/lgpl3/mpfr/dist/src/inits.c                   |      5 +-
 external/lgpl3/mpfr/dist/src/inits2.c                  |      5 +-
 external/lgpl3/mpfr/dist/src/inp_str.c                 |     48 +-
 external/lgpl3/mpfr/dist/src/int_ceil_log2.c           |     12 +-
 external/lgpl3/mpfr/dist/src/invert_limb.h             |     11 +-
 external/lgpl3/mpfr/dist/src/invsqrt_limb.h            |     11 +-
 external/lgpl3/mpfr/dist/src/isinf.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/isinteger.c               |      6 +-
 external/lgpl3/mpfr/dist/src/isnan.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/isnum.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/isqrt.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/isregular.c               |      4 +-
 external/lgpl3/mpfr/dist/src/iszero.c                  |      4 +-
 external/lgpl3/mpfr/dist/src/jn.c                      |      8 +-
 external/lgpl3/mpfr/dist/src/jyn_asympt.c              |     52 +-
 external/lgpl3/mpfr/dist/src/li2.c                     |      8 +-
 external/lgpl3/mpfr/dist/src/lngamma.c                 |     10 +-
 external/lgpl3/mpfr/dist/src/log.c                     |      4 +-
 external/lgpl3/mpfr/dist/src/log10.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/log1p.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/log2.c                    |      4 +-
 external/lgpl3/mpfr/dist/src/log_ui.c                  |      6 +-
 external/lgpl3/mpfr/dist/src/logging.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/min_prec.c                |      4 +-
 external/lgpl3/mpfr/dist/src/minmax.c                  |      4 +-
 external/lgpl3/mpfr/dist/src/mips/mparam.h             |    367 +-
 external/lgpl3/mpfr/dist/src/modf.c                    |      7 +-
 external/lgpl3/mpfr/dist/src/mp_clz_tab.c              |      4 +-
 external/lgpl3/mpfr/dist/src/mparam_h.in               |     68 +-
 external/lgpl3/mpfr/dist/src/mpf2mpfr.h                |      4 +-
 external/lgpl3/mpfr/dist/src/mpfr-cvers.h              |      4 +-
 external/lgpl3/mpfr/dist/src/mpfr-gmp.c                |      6 +-
 external/lgpl3/mpfr/dist/src/mpfr-gmp.h                |    209 +-
 external/lgpl3/mpfr/dist/src/mpfr-impl.h               |    586 +-
 external/lgpl3/mpfr/dist/src/mpfr-intmax.h             |     55 +-
 external/lgpl3/mpfr/dist/src/mpfr-mini-gmp.c           |    128 +-
 external/lgpl3/mpfr/dist/src/mpfr-mini-gmp.h           |     21 +-
 external/lgpl3/mpfr/dist/src/mpfr-sassert.h            |     20 +-
 external/lgpl3/mpfr/dist/src/mpfr-thread.h             |     99 +-
 external/lgpl3/mpfr/dist/src/mpfr.h                    |    106 +-
 external/lgpl3/mpfr/dist/src/mpn_exp.c                 |     98 +-
 external/lgpl3/mpfr/dist/src/mul.c                     |    111 +-
 external/lgpl3/mpfr/dist/src/mul_1_extracted.c         |    325 +
 external/lgpl3/mpfr/dist/src/mul_2exp.c                |      4 +-
 external/lgpl3/mpfr/dist/src/mul_2si.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/mul_2ui.c                 |     36 +-
 external/lgpl3/mpfr/dist/src/mul_d.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/mul_ui.c                  |    104 +-
 external/lgpl3/mpfr/dist/src/mulders.c                 |    250 +-
 external/lgpl3/mpfr/dist/src/nbits_ulong.c             |     83 +
 external/lgpl3/mpfr/dist/src/neg.c                     |      4 +-
 external/lgpl3/mpfr/dist/src/next.c                    |      4 +-
 external/lgpl3/mpfr/dist/src/nrandom.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/odd_p.c                   |      6 +-
 external/lgpl3/mpfr/dist/src/out_str.c                 |     32 +-
 external/lgpl3/mpfr/dist/src/pool.c                    |      4 +-
 external/lgpl3/mpfr/dist/src/pow.c                     |    149 +-
 external/lgpl3/mpfr/dist/src/pow_si.c                  |      9 +-
 external/lgpl3/mpfr/dist/src/pow_ui.c                  |      8 +-
 external/lgpl3/mpfr/dist/src/pow_z.c                   |      8 +-
 external/lgpl3/mpfr/dist/src/powerof2.c                |      4 +-
 external/lgpl3/mpfr/dist/src/powerpc64/mparam.h        |    418 +-
 external/lgpl3/mpfr/dist/src/print_raw.c               |      4 +-
 external/lgpl3/mpfr/dist/src/print_rnd_mode.c          |      7 +-
 external/lgpl3/mpfr/dist/src/printf.c                  |     15 +-
 external/lgpl3/mpfr/dist/src/random_deviate.c          |     59 +-
 external/lgpl3/mpfr/dist/src/random_deviate.h          |      4 +-
 external/lgpl3/mpfr/dist/src/rec_sqrt.c                |     38 +-
 external/lgpl3/mpfr/dist/src/reldiff.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/rem1.c                    |     26 +-
 external/lgpl3/mpfr/dist/src/rint.c                    |     10 +-
 external/lgpl3/mpfr/dist/src/rndna.c                   |     14 +-
 external/lgpl3/mpfr/dist/src/root.c                    |      6 +-
 external/lgpl3/mpfr/dist/src/round_near_x.c            |      4 +-
 external/lgpl3/mpfr/dist/src/round_p.c                 |      6 +-
 external/lgpl3/mpfr/dist/src/round_prec.c              |     71 +-
 external/lgpl3/mpfr/dist/src/round_raw_generic.c       |     78 +-
 external/lgpl3/mpfr/dist/src/scale2.c                  |      4 +-
 external/lgpl3/mpfr/dist/src/sec.c                     |      4 +-
 external/lgpl3/mpfr/dist/src/sech.c                    |      4 +-
 external/lgpl3/mpfr/dist/src/set.c                     |     46 +-
 external/lgpl3/mpfr/dist/src/set_d.c                   |    150 +-
 external/lgpl3/mpfr/dist/src/set_d128.c                |    495 +
 external/lgpl3/mpfr/dist/src/set_d64.c                 |    114 +-
 external/lgpl3/mpfr/dist/src/set_dfl_prec.c            |      4 +-
 external/lgpl3/mpfr/dist/src/set_exp.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/set_f.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/set_float128.c            |     27 +-
 external/lgpl3/mpfr/dist/src/set_flt.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/set_inf.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/set_ld.c                  |    116 +-
 external/lgpl3/mpfr/dist/src/set_nan.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/set_prc_raw.c             |      4 +-
 external/lgpl3/mpfr/dist/src/set_prec.c                |      4 +-
 external/lgpl3/mpfr/dist/src/set_q.c                   |     34 +-
 external/lgpl3/mpfr/dist/src/set_rnd.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/set_si.c                  |      4 +-
 external/lgpl3/mpfr/dist/src/set_si_2exp.c             |     26 +-
 external/lgpl3/mpfr/dist/src/set_sj.c                  |     12 +-
 external/lgpl3/mpfr/dist/src/set_str.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/set_str_raw.c             |      4 +-
 external/lgpl3/mpfr/dist/src/set_ui.c                  |      4 +-
 external/lgpl3/mpfr/dist/src/set_ui_2exp.c             |     25 +-
 external/lgpl3/mpfr/dist/src/set_uj.c                  |     30 +-
 external/lgpl3/mpfr/dist/src/set_z.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/set_z_exp.c               |      4 +-
 external/lgpl3/mpfr/dist/src/set_zero.c                |      4 +-
 external/lgpl3/mpfr/dist/src/setmax.c                  |      4 +-
 external/lgpl3/mpfr/dist/src/setmin.c                  |      4 +-
 external/lgpl3/mpfr/dist/src/setsign.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/sgn.c                     |      4 +-
 external/lgpl3/mpfr/dist/src/si_op.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/signbit.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/sin.c                     |     10 +-
 external/lgpl3/mpfr/dist/src/sin_cos.c                 |     24 +-
 external/lgpl3/mpfr/dist/src/sinh.c                    |      4 +-
 external/lgpl3/mpfr/dist/src/sinh_cosh.c               |      7 +-
 external/lgpl3/mpfr/dist/src/sparc64/mparam.h          |    419 +-
 external/lgpl3/mpfr/dist/src/sqr.c                     |    116 +-
 external/lgpl3/mpfr/dist/src/sqrt.c                    |     75 +-
 external/lgpl3/mpfr/dist/src/sqrt_ui.c                 |     21 +-
 external/lgpl3/mpfr/dist/src/stack_interface.c         |      4 +-
 external/lgpl3/mpfr/dist/src/strtofr.c                 |    475 +-
 external/lgpl3/mpfr/dist/src/sub.c                     |      4 +-
 external/lgpl3/mpfr/dist/src/sub1.c                    |    128 +-
 external/lgpl3/mpfr/dist/src/sub1sp.c                  |   1085 +-
 external/lgpl3/mpfr/dist/src/sub1sp1_extracted.c       |    530 +
 external/lgpl3/mpfr/dist/src/sub_d.c                   |      4 +-
 external/lgpl3/mpfr/dist/src/sub_ui.c                  |     42 +-
 external/lgpl3/mpfr/dist/src/subnormal.c               |     33 +-
 external/lgpl3/mpfr/dist/src/sum.c                     |     16 +-
 external/lgpl3/mpfr/dist/src/swap.c                    |      4 +-
 external/lgpl3/mpfr/dist/src/tan.c                     |      4 +-
 external/lgpl3/mpfr/dist/src/tanh.c                    |      4 +-
 external/lgpl3/mpfr/dist/src/total_order.c             |     42 +
 external/lgpl3/mpfr/dist/src/ubf.c                     |     26 +-
 external/lgpl3/mpfr/dist/src/uceil_exp2.c              |      4 +-
 external/lgpl3/mpfr/dist/src/uceil_log2.c              |      4 +-
 external/lgpl3/mpfr/dist/src/ufloor_log2.c             |      4 +-
 external/lgpl3/mpfr/dist/src/ui_div.c                  |     39 +-
 external/lgpl3/mpfr/dist/src/ui_pow.c                  |      4 +-
 external/lgpl3/mpfr/dist/src/ui_pow_ui.c               |      6 +-
 external/lgpl3/mpfr/dist/src/ui_sub.c                  |     42 +-
 external/lgpl3/mpfr/dist/src/urandom.c                 |      4 +-
 external/lgpl3/mpfr/dist/src/urandomb.c                |      4 +-
 external/lgpl3/mpfr/dist/src/version.c                 |      6 +-
 external/lgpl3/mpfr/dist/src/volatile.c                |      4 +-
 external/lgpl3/mpfr/dist/src/x86/mparam.h              |    421 +-
 external/lgpl3/mpfr/dist/src/x86_64/core2/mparam.h     |    422 +-
 external/lgpl3/mpfr/dist/src/x86_64/mparam.h           |    233 +
 external/lgpl3/mpfr/dist/src/yn.c                      |     18 +-
 external/lgpl3/mpfr/dist/src/zeta.c                    |     33 +-
 external/lgpl3/mpfr/dist/src/zeta_ui.c                 |      4 +-
 external/lgpl3/mpfr/dist/test-driver                   |     10 +-
 external/lgpl3/mpfr/dist/tests/Makefile.am             |     79 +-
 external/lgpl3/mpfr/dist/tests/Makefile.in             |   1280 +-
 external/lgpl3/mpfr/dist/tests/cmp_str.c               |      4 +-
 external/lgpl3/mpfr/dist/tests/memory.c                |     47 +-
 external/lgpl3/mpfr/dist/tests/mpf_compat.c            |      4 +-
 external/lgpl3/mpfr/dist/tests/mpf_compat.h            |      4 +-
 external/lgpl3/mpfr/dist/tests/mpfr-test.h             |     79 +-
 external/lgpl3/mpfr/dist/tests/mpfr_compat.c           |      4 +-
 external/lgpl3/mpfr/dist/tests/random2.c               |     20 +-
 external/lgpl3/mpfr/dist/tests/reuse.c                 |      6 +-
 external/lgpl3/mpfr/dist/tests/rnd_mode.c              |      4 +-
 external/lgpl3/mpfr/dist/tests/tabort_defalloc1.c      |      9 +-
 external/lgpl3/mpfr/dist/tests/tabort_defalloc2.c      |      9 +-
 external/lgpl3/mpfr/dist/tests/tabort_prec_max.c       |      4 +-
 external/lgpl3/mpfr/dist/tests/tabs.c                  |      4 +-
 external/lgpl3/mpfr/dist/tests/tacos.c                 |      6 +-
 external/lgpl3/mpfr/dist/tests/tacosh.c                |      6 +-
 external/lgpl3/mpfr/dist/tests/tadd.c                  |     26 +-
 external/lgpl3/mpfr/dist/tests/tadd1sp.c               |    220 +-
 external/lgpl3/mpfr/dist/tests/tadd_d.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tadd_ui.c               |      4 +-
 external/lgpl3/mpfr/dist/tests/tagm.c                  |      5 +-
 external/lgpl3/mpfr/dist/tests/tai.c                   |     98 +-
 external/lgpl3/mpfr/dist/tests/talloc-cache.c          |      4 +-
 external/lgpl3/mpfr/dist/tests/talloc.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tasinh.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tassert.c               |      4 +-
 external/lgpl3/mpfr/dist/tests/tatanh.c                |      6 +-
 external/lgpl3/mpfr/dist/tests/taway.c                 |      6 +-
 external/lgpl3/mpfr/dist/tests/tbeta.c                 |      9 +-
 external/lgpl3/mpfr/dist/tests/tbuildopt.c             |     46 +-
 external/lgpl3/mpfr/dist/tests/tcan_round.c            |    167 +-
 external/lgpl3/mpfr/dist/tests/tcbrt.c                 |     79 +-
 external/lgpl3/mpfr/dist/tests/tcheck.c                |      6 +-
 external/lgpl3/mpfr/dist/tests/tcmp.c                  |      4 +-
 external/lgpl3/mpfr/dist/tests/tcmp2.c                 |      6 +-
 external/lgpl3/mpfr/dist/tests/tcmp_d.c                |      7 +-
 external/lgpl3/mpfr/dist/tests/tcmp_ld.c               |      7 +-
 external/lgpl3/mpfr/dist/tests/tcmp_ui.c               |     15 +-
 external/lgpl3/mpfr/dist/tests/tcmpabs.c               |    271 +-
 external/lgpl3/mpfr/dist/tests/tcomparisons.c          |      4 +-
 external/lgpl3/mpfr/dist/tests/tconst_catalan.c        |     23 +-
 external/lgpl3/mpfr/dist/tests/tconst_euler.c          |     22 +-
 external/lgpl3/mpfr/dist/tests/tconst_log2.c           |     22 +-
 external/lgpl3/mpfr/dist/tests/tconst_pi.c             |     21 +-
 external/lgpl3/mpfr/dist/tests/tcopysign.c             |      4 +-
 external/lgpl3/mpfr/dist/tests/tcos.c                  |      4 +-
 external/lgpl3/mpfr/dist/tests/tcosh.c                 |      4 +-
 external/lgpl3/mpfr/dist/tests/tcot.c                  |      4 +-
 external/lgpl3/mpfr/dist/tests/tcoth.c                 |      4 +-
 external/lgpl3/mpfr/dist/tests/tcsc.c                  |      4 +-
 external/lgpl3/mpfr/dist/tests/tcsch.c                 |      4 +-
 external/lgpl3/mpfr/dist/tests/td_div.c                |     13 +-
 external/lgpl3/mpfr/dist/tests/td_sub.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tdigamma.c              |      6 +-
 external/lgpl3/mpfr/dist/tests/tdim.c                  |      4 +-
 external/lgpl3/mpfr/dist/tests/tdiv.c                  |    171 +-
 external/lgpl3/mpfr/dist/tests/tdiv_d.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tdiv_ui.c               |     33 +-
 external/lgpl3/mpfr/dist/tests/tdot.c                  |    177 +
 external/lgpl3/mpfr/dist/tests/teint.c                 |      6 +-
 external/lgpl3/mpfr/dist/tests/teq.c                   |      4 +-
 external/lgpl3/mpfr/dist/tests/terandom.c              |      4 +-
 external/lgpl3/mpfr/dist/tests/terandom_chisq.c        |      8 +-
 external/lgpl3/mpfr/dist/tests/terf.c                  |     25 +-
 external/lgpl3/mpfr/dist/tests/tests.c                 |    213 +-
 external/lgpl3/mpfr/dist/tests/texceptions.c           |     22 +-
 external/lgpl3/mpfr/dist/tests/texp10.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/texp2.c                 |      4 +-
 external/lgpl3/mpfr/dist/tests/texpm1.c                |      8 +-
 external/lgpl3/mpfr/dist/tests/tfactorial.c            |      4 +-
 external/lgpl3/mpfr/dist/tests/tfits.c                 |     20 +-
 external/lgpl3/mpfr/dist/tests/tfma.c                  |    676 +-
 external/lgpl3/mpfr/dist/tests/tfmma.c                 |    200 +-
 external/lgpl3/mpfr/dist/tests/tfmod.c                 |      4 +-
 external/lgpl3/mpfr/dist/tests/tfms.c                  |      4 +-
 external/lgpl3/mpfr/dist/tests/tfpif.c                 |    132 +-
 external/lgpl3/mpfr/dist/tests/tfprintf.c              |     35 +-
 external/lgpl3/mpfr/dist/tests/tfrac.c                 |      4 +-
 external/lgpl3/mpfr/dist/tests/tfrexp.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tgamma.c                |     55 +-
 external/lgpl3/mpfr/dist/tests/tgamma_inc.c            |    139 +-
 external/lgpl3/mpfr/dist/tests/tgeneric.c              |     13 +-
 external/lgpl3/mpfr/dist/tests/tgeneric_ui.c           |      4 +-
 external/lgpl3/mpfr/dist/tests/tget_d.c                |     12 +-
 external/lgpl3/mpfr/dist/tests/tget_d_2exp.c           |      6 +-
 external/lgpl3/mpfr/dist/tests/tget_f.c                |     10 +-
 external/lgpl3/mpfr/dist/tests/tget_flt.c              |    337 +-
 external/lgpl3/mpfr/dist/tests/tget_ld_2exp.c          |     32 +-
 external/lgpl3/mpfr/dist/tests/tget_q.c                |     28 +-
 external/lgpl3/mpfr/dist/tests/tget_set_d128.c         |    595 +
 external/lgpl3/mpfr/dist/tests/tget_set_d64.c          |    226 +-
 external/lgpl3/mpfr/dist/tests/tget_sj.c               |     50 +-
 external/lgpl3/mpfr/dist/tests/tget_str.c              |    186 +-
 external/lgpl3/mpfr/dist/tests/tget_z.c                |      8 +-
 external/lgpl3/mpfr/dist/tests/tgmpop.c                |    139 +-
 external/lgpl3/mpfr/dist/tests/tgrandom.c              |      8 +-
 external/lgpl3/mpfr/dist/tests/thyperbolic.c           |      4 +-
 external/lgpl3/mpfr/dist/tests/thypot.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tinits.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tinp_str.c              |      4 +-
 external/lgpl3/mpfr/dist/tests/tinternals.c            |      4 +-
 external/lgpl3/mpfr/dist/tests/tisnan.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tisqrt.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tj0.c                   |      4 +-
 external/lgpl3/mpfr/dist/tests/tj1.c                   |      4 +-
 external/lgpl3/mpfr/dist/tests/tjn.c                   |     27 +-
 external/lgpl3/mpfr/dist/tests/tl2b.c                  |      6 +-
 external/lgpl3/mpfr/dist/tests/tlgamma.c               |      4 +-
 external/lgpl3/mpfr/dist/tests/tli2.c                  |      4 +-
 external/lgpl3/mpfr/dist/tests/tlngamma.c              |      4 +-
 external/lgpl3/mpfr/dist/tests/tlog.c                  |      4 +-
 external/lgpl3/mpfr/dist/tests/tlog10.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tlog1p.c                |      6 +-
 external/lgpl3/mpfr/dist/tests/tlog2.c                 |      4 +-
 external/lgpl3/mpfr/dist/tests/tlog_ui.c               |      4 +-
 external/lgpl3/mpfr/dist/tests/tmin_prec.c             |      4 +-
 external/lgpl3/mpfr/dist/tests/tminmax.c               |      4 +-
 external/lgpl3/mpfr/dist/tests/tmodf.c                 |      4 +-
 external/lgpl3/mpfr/dist/tests/tmul.c                  |    224 +-
 external/lgpl3/mpfr/dist/tests/tmul_2exp.c             |     60 +-
 external/lgpl3/mpfr/dist/tests/tmul_d.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tmul_ui.c               |     34 +-
 external/lgpl3/mpfr/dist/tests/tnext.c                 |      4 +-
 external/lgpl3/mpfr/dist/tests/tnrandom.c              |      4 +-
 external/lgpl3/mpfr/dist/tests/tnrandom_chisq.c        |      6 +-
 external/lgpl3/mpfr/dist/tests/tout_str.c              |     68 +-
 external/lgpl3/mpfr/dist/tests/toutimpl.c              |      4 +-
 external/lgpl3/mpfr/dist/tests/tpow.c                  |    174 +-
 external/lgpl3/mpfr/dist/tests/tpow3.c                 |      4 +-
 external/lgpl3/mpfr/dist/tests/tpow_all.c              |      4 +-
 external/lgpl3/mpfr/dist/tests/tpow_z.c                |     16 +-
 external/lgpl3/mpfr/dist/tests/tprec_round.c           |    121 +
 external/lgpl3/mpfr/dist/tests/tprintf.c               |    121 +-
 external/lgpl3/mpfr/dist/tests/trandom.c               |      6 +-
 external/lgpl3/mpfr/dist/tests/trandom_deviate.c       |      4 +-
 external/lgpl3/mpfr/dist/tests/trec_sqrt.c             |      6 +-
 external/lgpl3/mpfr/dist/tests/tremquo.c               |      6 +-
 external/lgpl3/mpfr/dist/tests/trint.c                 |     18 +-
 external/lgpl3/mpfr/dist/tests/trndna.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/troot.c                 |     16 +-
 external/lgpl3/mpfr/dist/tests/trootn_ui.c             |      4 +-
 external/lgpl3/mpfr/dist/tests/tsec.c                  |      4 +-
 external/lgpl3/mpfr/dist/tests/tsech.c                 |      4 +-
 external/lgpl3/mpfr/dist/tests/tset.c                  |     93 +-
 external/lgpl3/mpfr/dist/tests/tset_d.c                |      6 +-
 external/lgpl3/mpfr/dist/tests/tset_exp.c              |      4 +-
 external/lgpl3/mpfr/dist/tests/tset_f.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tset_float128.c         |     36 +-
 external/lgpl3/mpfr/dist/tests/tset_ld.c               |     46 +-
 external/lgpl3/mpfr/dist/tests/tset_q.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tset_si.c               |    134 +-
 external/lgpl3/mpfr/dist/tests/tset_sj.c               |    172 +-
 external/lgpl3/mpfr/dist/tests/tset_str.c              |     21 +-
 external/lgpl3/mpfr/dist/tests/tset_z.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tset_z_exp.c            |     38 +-
 external/lgpl3/mpfr/dist/tests/tsgn.c                  |      4 +-
 external/lgpl3/mpfr/dist/tests/tsi_op.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tsin.c                  |     93 +-
 external/lgpl3/mpfr/dist/tests/tsin_cos.c              |      4 +-
 external/lgpl3/mpfr/dist/tests/tsinh.c                 |     46 +-
 external/lgpl3/mpfr/dist/tests/tsinh_cosh.c            |      4 +-
 external/lgpl3/mpfr/dist/tests/tsprintf.c              |    318 +-
 external/lgpl3/mpfr/dist/tests/tsqr.c                  |    155 +-
 external/lgpl3/mpfr/dist/tests/tsqrt.c                 |    252 +-
 external/lgpl3/mpfr/dist/tests/tsqrt_ui.c              |      4 +-
 external/lgpl3/mpfr/dist/tests/tstckintc.c             |     34 +-
 external/lgpl3/mpfr/dist/tests/tstdint.c               |      8 +-
 external/lgpl3/mpfr/dist/tests/tstrtofr.c              |    265 +-
 external/lgpl3/mpfr/dist/tests/tsub.c                  |    616 +-
 external/lgpl3/mpfr/dist/tests/tsub1sp.c               |    171 +-
 external/lgpl3/mpfr/dist/tests/tsub_d.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tsub_ui.c               |      4 +-
 external/lgpl3/mpfr/dist/tests/tsubnormal.c            |     70 +-
 external/lgpl3/mpfr/dist/tests/tsum.c                  |     24 +-
 external/lgpl3/mpfr/dist/tests/tswap.c                 |      4 +-
 external/lgpl3/mpfr/dist/tests/ttan.c                  |     26 +-
 external/lgpl3/mpfr/dist/tests/ttanh.c                 |      6 +-
 external/lgpl3/mpfr/dist/tests/ttotal_order.c          |    111 +
 external/lgpl3/mpfr/dist/tests/ttrunc.c                |      4 +-
 external/lgpl3/mpfr/dist/tests/tui_div.c               |      4 +-
 external/lgpl3/mpfr/dist/tests/tui_pow.c               |      4 +-
 external/lgpl3/mpfr/dist/tests/tui_sub.c               |      4 +-
 external/lgpl3/mpfr/dist/tests/turandom.c              |      6 +-
 external/lgpl3/mpfr/dist/tests/tvalist.c               |     34 +-
 external/lgpl3/mpfr/dist/tests/tversion.c              |    213 +-
 external/lgpl3/mpfr/dist/tests/ty0.c                   |      4 +-
 external/lgpl3/mpfr/dist/tests/ty1.c                   |      4 +-
 external/lgpl3/mpfr/dist/tests/tyn.c                   |      4 +-
 external/lgpl3/mpfr/dist/tests/tzeta.c                 |     24 +-
 external/lgpl3/mpfr/dist/tests/tzeta_ui.c              |      4 +-
 external/lgpl3/mpfr/dist/tools/bench/Makefile.am       |     10 +-
 external/lgpl3/mpfr/dist/tools/bench/Makefile.in       |     77 +-
 external/lgpl3/mpfr/dist/tools/bench/benchtime.h       |      4 +-
 external/lgpl3/mpfr/dist/tools/bench/mpfrbench.c       |      4 +-
 external/lgpl3/mpfr/dist/tools/check_mparam.c          |     72 +
 external/lgpl3/mpfr/dist/tools/ck-clz_tab              |     14 +-
 external/lgpl3/mpfr/dist/tools/ck-copyright-notice     |     21 +-
 external/lgpl3/mpfr/dist/tools/ck-mparam               |     42 +
 external/lgpl3/mpfr/dist/tools/ck-news                 |      7 +-
 external/lgpl3/mpfr/dist/tools/ck-version-info         |     21 +-
 external/lgpl3/mpfr/dist/tools/get_patches.sh          |     16 +-
 external/lgpl3/mpfr/dist/tune/Makefile.am              |      8 +-
 external/lgpl3/mpfr/dist/tune/Makefile.in              |     86 +-
 external/lgpl3/mpfr/dist/tune/bidimensional_sample.c   |      4 +-
 external/lgpl3/mpfr/dist/tune/speed.c                  |      4 +-
 external/lgpl3/mpfr/dist/tune/tuneup.c                 |     49 +-
 518 files changed, 38654 insertions(+), 11347 deletions(-)

diffs (truncated from 73379 to 300 lines):

diff -r aaba9f6dfce2 -r 109bc8219b4c external/lgpl3/mpfr/dist/AUTHORS
--- a/external/lgpl3/mpfr/dist/AUTHORS  Sat Sep 26 07:01:39 2020 +0000
+++ b/external/lgpl3/mpfr/dist/AUTHORS  Sat Sep 26 07:25:38 2020 +0000
@@ -18,9 +18,10 @@
 Philippe Théveny        Main author
 Sylvain Chevillard      Original version of ai.c
 Charles Karney          mpfr_nrandom and mpfr_erandom functions
-Fredrik Johannsson      New version of mpfr_const_euler
+Fredrik Johansson       New version of mpfr_const_euler
 Mickaël Gastineau       MPFRbench program
+Jianyang Pan            Formally proven code for mpfr_add1sp1
 
 The main authors are included in the MPFR mailing-list <mpfr%inria.fr@localhost>.
 This is the preferred way to contact us. For further information, please
-look at the MPFR web page <http://www.mpfr.org/>.
+look at the MPFR web page <https://www.mpfr.org/>.
diff -r aaba9f6dfce2 -r 109bc8219b4c external/lgpl3/mpfr/dist/BUGS
--- a/external/lgpl3/mpfr/dist/BUGS     Sat Sep 26 07:01:39 2020 +0000
+++ b/external/lgpl3/mpfr/dist/BUGS     Sat Sep 26 07:25:38 2020 +0000
@@ -1,4 +1,4 @@
-Copyright 1999, 2001-2018 Free Software Foundation, Inc.
+Copyright 1999, 2001-2020 Free Software Foundation, Inc.
 Contributed by the AriC and Caramba projects, INRIA.
 
 This file is part of the GNU MPFR Library.
@@ -15,7 +15,7 @@
 
 You should have received a copy of the GNU Lesser General Public License
 along with the GNU MPFR Library; see the file COPYING.LESSER.  If not, see
-http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
+https://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
 
 ##############################################################################
diff -r aaba9f6dfce2 -r 109bc8219b4c external/lgpl3/mpfr/dist/COPYING
--- a/external/lgpl3/mpfr/dist/COPYING  Sat Sep 26 07:01:39 2020 +0000
+++ b/external/lgpl3/mpfr/dist/COPYING  Sat Sep 26 07:25:38 2020 +0000
@@ -1,7 +1,7 @@
                     GNU GENERAL PUBLIC LICENSE
                        Version 3, 29 June 2007
 
- Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/>
+ Copyright (C) 2007 Free Software Foundation, Inc. <https://fsf.org/>
  Everyone is permitted to copy and distribute verbatim copies
  of this license document, but changing it is not allowed.
 
@@ -645,7 +645,7 @@
     GNU General Public License for more details.
 
     You should have received a copy of the GNU General Public License
-    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+    along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
 Also add information on how to contact you by electronic and paper mail.
 
@@ -664,11 +664,11 @@
   You should also get your employer (if you work as a programmer) or school,
 if any, to sign a "copyright disclaimer" for the program, if necessary.
 For more information on this, and how to apply and follow the GNU GPL, see
-<http://www.gnu.org/licenses/>.
+<https://www.gnu.org/licenses/>.
 
   The GNU General Public License does not permit incorporating your program
 into proprietary programs.  If your program is a subroutine library, you
 may consider it more useful to permit linking proprietary applications with
 the library.  If this is what you want to do, use the GNU Lesser General
 Public License instead of this License.  But first, please read
-<http://www.gnu.org/philosophy/why-not-lgpl.html>.
+<https://www.gnu.org/licenses/why-not-lgpl.html>.
diff -r aaba9f6dfce2 -r 109bc8219b4c external/lgpl3/mpfr/dist/COPYING.LESSER
--- a/external/lgpl3/mpfr/dist/COPYING.LESSER   Sat Sep 26 07:01:39 2020 +0000
+++ b/external/lgpl3/mpfr/dist/COPYING.LESSER   Sat Sep 26 07:25:38 2020 +0000
@@ -1,7 +1,7 @@
-                  GNU LESSER GENERAL PUBLIC LICENSE
+                   GNU LESSER GENERAL PUBLIC LICENSE
                        Version 3, 29 June 2007
 
- Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/>
+ Copyright (C) 2007 Free Software Foundation, Inc. <https://fsf.org/>
  Everyone is permitted to copy and distribute verbatim copies
  of this license document, but changing it is not allowed.
 
@@ -10,7 +10,7 @@
 the terms and conditions of version 3 of the GNU General Public
 License, supplemented by the additional permissions listed below.
 
-  0. Additional Definitions. 
+  0. Additional Definitions.
 
   As used herein, "this License" refers to version 3 of the GNU Lesser
 General Public License, and the "GNU GPL" refers to version 3 of the GNU
@@ -111,7 +111,7 @@
        a copy of the Library already present on the user's computer
        system, and (b) will operate properly with a modified version
        of the Library that is interface-compatible with the Linked
-       Version. 
+       Version.
 
    e) Provide Installation Information, but only if you would otherwise
    be required to provide such information under section 6 of the
diff -r aaba9f6dfce2 -r 109bc8219b4c external/lgpl3/mpfr/dist/ChangeLog
--- a/external/lgpl3/mpfr/dist/ChangeLog        Sat Sep 26 07:01:39 2020 +0000
+++ b/external/lgpl3/mpfr/dist/ChangeLog        Sat Sep 26 07:25:38 2020 +0000
@@ -1,75 +1,12986 @@
 ------------------------------------------------------------------------
-r12200 | vlefevre | 2018-02-07 12:50:31 +0000 (Wed, 07 Feb 2018) | 1 line
-Changed paths:
-   M /branches/4.0/VERSION
-   M /branches/4.0/configure.ac
-   M /branches/4.0/doc/mpfr.texi
-   M /branches/4.0/src/mpfr.h
-   M /branches/4.0/src/version.c
-
-Updated version to 4.0.1.
-------------------------------------------------------------------------
-r12199 | vlefevre | 2018-02-07 12:02:41 +0000 (Wed, 07 Feb 2018) | 3 lines
-Changed paths:
-   M /branches/4.0
-   M /branches/4.0/doc/README.dev
-   M /branches/4.0/tools/announce-text
+r14065 | vlefevre | 2020-07-10 11:52:33 +0000 (Fri, 10 Jul 2020) | 1 line
+Changed paths:
+   M /branches/4.1/VERSION
+   M /branches/4.1/configure.ac
+   M /branches/4.1/doc/mpfr.texi
+   M /branches/4.1/src/mpfr.h
+   M /branches/4.1/src/version.c
+
+Updated version to 4.1.0.
+------------------------------------------------------------------------
+r14064 | vlefevre | 2020-07-10 11:50:59 +0000 (Fri, 10 Jul 2020) | 1 line
+Changed paths:
+   M /branches/4.1/doc/mpfr.texi
+
+[doc/mpfr.texi] Updated the month.
+------------------------------------------------------------------------
+r14063 | vlefevre | 2020-07-10 10:33:32 +0000 (Fri, 10 Jul 2020) | 6 lines
+Changed paths:
+   M /branches/4.1
+   M /branches/4.1/doc/README.dev
+   M /branches/4.1/src/jyn_asympt.c
+   M /branches/4.1/tests/tjn.c
+
+[src/jyn_asympt.c] Partly solved the slowness of jn(733333,733333).
+[tests/tjn.c] Added tests of jn(73333,73333) and jn(733333,733333),
+  enabled only with MPFR_CHECK_EXPENSIVE.
+[doc/README.dev] In the MPFR_CHECK_EXPENSIVE description, say that
+  --enable-assert=full should not be used (too expensive, not needed).
+(merged changesets r14053-14062 from the trunk)
+------------------------------------------------------------------------
+r14050 | vlefevre | 2020-07-01 21:39:57 +0000 (Wed, 01 Jul 2020) | 1 line
+Changed paths:
+   M /branches/4.1/ChangeLog
+
+ChangeLog update with "LC_ALL=en_US.UTF8 TZ=UTC0 svn log -rHEAD:0 -v".
+------------------------------------------------------------------------
+r14049 | vlefevre | 2020-07-01 21:37:36 +0000 (Wed, 01 Jul 2020) | 1 line
+Changed paths:
+   M /branches/4.1/VERSION
+   M /branches/4.1/configure.ac
+   M /branches/4.1/doc/mpfr.texi
+   M /branches/4.1/src/mpfr.h
+   M /branches/4.1/src/version.c
+
+Updated version to 4.1.0-rc2.
+------------------------------------------------------------------------
+r14048 | vlefevre | 2020-07-01 13:59:32 +0000 (Wed, 01 Jul 2020) | 3 lines
+Changed paths:
+   M /branches/4.1
+   M /branches/4.1/NEWS
+
+[NEWS] Added an item saying that TLS can safely be (re-)enabled
+on Sparc.
+(merged changeset r14047 from the trunk)
+------------------------------------------------------------------------
+r14046 | vlefevre | 2020-06-29 13:57:32 +0000 (Mon, 29 Jun 2020) | 7 lines
+Changed paths:
+   M /branches/4.1
+   M /branches/4.1/tests/mpfr-test.h
+
+[tests/mpfr-test.h] Avoid a GCC bug on Sparc, at least when using TLS.
+The MPFR library itself is not affected, only a particular test. Normal
+code using the MPFR library should not be affected either, as the bug
+occurs when accessing __gmpfr_flags directly (and the public mpfr.h
+header file does not provide any macro that accesses an internal
+variable directly). So a workaround for the tests is the best solution.
+(merged changeset r14045 from the trunk)
+------------------------------------------------------------------------
+r14043 | vlefevre | 2020-06-18 17:37:41 +0000 (Thu, 18 Jun 2020) | 1 line
+Changed paths:
+   M /branches/4.1/VERSION
+   M /branches/4.1/configure.ac
+   M /branches/4.1/doc/mpfr.texi
+   M /branches/4.1/src/mpfr.h
+   M /branches/4.1/src/version.c
+
+Updated version to 4.1.0-dev (due to changes since 4.1.0-rc1).
+------------------------------------------------------------------------
+r14042 | vlefevre | 2020-06-18 17:17:18 +0000 (Thu, 18 Jun 2020) | 54 lines
+Changed paths:
+   M /branches/4.1
+   M /branches/4.1/doc/mpfr.texi
+   M /branches/4.1/src/digamma.c
+   M /branches/4.1/src/get_str.c
+   M /branches/4.1/src/mpfr-longlong.h
+   M /branches/4.1/tests/mpfr-test.h
+   M /branches/4.1/tests/tabort_defalloc1.c
+   M /branches/4.1/tests/tabort_defalloc2.c
+   M /branches/4.1/tests/tcmp_ui.c
+   M /branches/4.1/tests/tdigamma.c
+   M /branches/4.1/tests/tests.c
+   M /branches/4.1/tests/tset_ld.c
+
+Merged r14021-14036 from the trunk:
+
+r14021:
+[tests] Skip tabort_defalloc1 and tabort_defalloc2 under Valgrind, as
+Valgrind complains due to the large allocation size.
+  * mpfr-test.h, tests.c: added tests_run_within_valgrind() function to
+    guess whether the test runs within Valgrind.
+  * tabort_defalloc1.c, tabort_defalloc2.c: skip the test (exit code 77)
+    if this function returns true.
+
+r14022-14023:
+[tests/tset_ld.c] In bug_20160907 (tests on subnormals, specific to
+x86 extended precision):
+  * Replaced an assertion by a test with detailed output.
+  * In case of incorrect result, detect whether Valgrind is used and
+    one gets the result obtained with Valgrind due to
+      https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890215
+      https://bugs.kde.org/show_bug.cgi?id=421262
+    (long double behaves as double); in this case, output a message
+    without an error since Valgrind is the only cause of the
+    miscalculation.
+  * Corrected a value in a test, which did not match the comment.
+
+r14024-14027:
+[src/digamma.c]
+  * Replaced some MPFR_EXP / mpfr_get_exp by MPFR_GET_EXP to check that
+    the MPFR number has an exponent (i.e. it is not a special value).
+  * Added an integer overflow check on a precision.
+  * Fixed a bug: an exponent was read while the value could be zero.
+
+r14028:
+[tests/tdigamma.c] Increase the number of tests.
+
+r14029,14031:
+[doc/mpfr.texi] Specify the range of b for mpfr_get_str_ndigits.
+
+r14030:
+[src/get_str.c] Since the mpfr_get_str_ndigits function is in the
+public API, use MPFR_ASSERTN instead of MPFR_ASSERTD on the condition
+on the argument b in order to get an assertion failure (by default)
+if this condition is not satisfied.
+
+r14032,14035-14036:
+[src/mpfr-longlong.h] Applied patch on
+  https://gmplib.org/list-archives/gmp-bugs/2020-June/004807.html
+to fix add_ssaaaa and sub_ddmmss on arm / aarch64, in order to resolve
+  https://sympa.inria.fr/sympa/arc/mpfr/2020-06/msg00017.html
+  https://sympa.inria.fr/sympa/arc/mpfr/2020-06/msg00059.html
+
+r14034:
+[tests/tcmp_ui.c] Added a comment about a failing test with tcc if
+one adds tcc support for macros using __builtin_constant_p in mpfr.h
+by testing __TINYC__.
+Bug report against tcc: https://savannah.nongnu.org/bugs/?58606
+------------------------------------------------------------------------
+r14019 | vlefevre | 2020-06-13 13:22:33 +0000 (Sat, 13 Jun 2020) | 5 lines
+Changed paths:
+   M /branches/4.1
+   M /branches/4.1/configure.ac
+
+[configure.ac] No longer add -Wc++-compat to CFLAGS when the compiler
+is GCC not in C++ mode (reverting the change done in r13406) since this
+option is not available before GCC 4.1:
+  https://sympa.inria.fr/sympa/arc/mpfr/2020-06/msg00008.html
+(merged changeset r14018 from the trunk)
+------------------------------------------------------------------------
+r14016 | vlefevre | 2020-06-13 09:32:51 +0000 (Sat, 13 Jun 2020) | 7 lines
+Changed paths:
+   M /branches/4.1
+   M /branches/4.1/doc/mpfr.texi
+   M /branches/4.1/tests/tfpif.c
+
+Merged the latest changes from the trunk:
+
+r14012:
+[tests/tfpif.c] Updated comment about the bug detected on AIX.
+
+r14015:
+[doc/mpfr.texi] ACM TOMS article: use the preferred DOI URL.
+------------------------------------------------------------------------
+r14011 | vlefevre | 2020-06-13 01:05:59 +0000 (Sat, 13 Jun 2020) | 8 lines
+Changed paths:
+   M /branches/4.1
+   M /branches/4.1/NEWS
+   M /branches/4.1/tools/announce-text
+
+Merged the latest changes from the trunk:



Home | Main Index | Thread Index | Old Index