summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Updated version to 4.0.0.vlefevre2017-12-232-2/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@12050 280ebfd0-de03-0410-8827-d642c229c3f4
* Merged changesets r12046-12048 from the trunk (bug fix and test).vlefevre2017-12-232-7/+11
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@12049 280ebfd0-de03-0410-8827-d642c229c3f4
* Merged changesets r12026-12045 from the trunk (bug fixes and tests).vlefevre2017-12-234-8/+20
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@12046 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated version to 4.0.0-rc2 for an attempt to replace the 4.0 branch.vlefevre2017-12-202-3/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12023 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/fma.c] Minor improvements. Added an assert.vlefevre2017-12-201-8/+15
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12022 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/tanh.c] GNU coding style.vlefevre2017-12-201-39/+42
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12021 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mul.c] Reindentation.vlefevre2017-12-201-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12020 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/exp2.c] Replaced two MPFR_ASSERTN by MPFR_STAT_STATIC_ASSERT.vlefevre2017-12-201-2/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12019 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/exp2.c] Fixed the double rounding problem in an underflow case,vlefevre2017-12-191-10/+20
| | | | | | triggered by the test added in r12017. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12018 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/fma.c] fixed bug in mpfr_fmazimmerma2017-12-191-1/+4
| | | | | | | [tests/tfma.c] added non-regression test git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12012 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/exp2.c] Update concerning the underflow/overflow cases.vlefevre2017-12-191-20/+22
| | | | | | Still incomplete. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12011 280ebfd0-de03-0410-8827-d642c229c3f4
* Removed trailing whitespace.vlefevre2017-12-181-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12008 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex,src/tanh.c] Fixed the bound, in particular fromvlefevre2017-12-181-2/+4
| | | | | | the recent improvements in the error analysis. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12007 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mul.c] we should compare the smaller size and not the larger one tozimmerma2017-12-181-1/+1
| | | | | | | MPFR_MUL_THRESHOLD or MPFR_SQR_THRESHOLD for Mulders' short product git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12006 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mul.c] with Mulders', convert RNDF to RNDZzimmerma2017-12-181-14/+6
| | | | | | | [tests/tmul_d.c] added a non-regression test git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12005 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/div.c] fixed bug in mpfr_div2_approx()zimmerma2017-12-181-1/+2
| | | | | | | | [tests/tdiv.c] added non-regression test [tests/ttan.c] added test triggering bug in mpfr_div2_approx() git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12002 280ebfd0-de03-0410-8827-d642c229c3f4
* Removed trailing whitespace.vlefevre2017-12-181-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11998 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/exp2.c] added FIXMEzimmerma2017-12-181-1/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11996 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/exp2.c] fixed bug near underflowzimmerma2017-12-181-6/+9
| | | | | | | [tests/texp2.c] added non-regression test git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11994 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/ttanh.c] added test for bug in mpfr_tanhzimmerma2017-12-181-6/+13
| | | | | | | | | | | | | [doc/algorithms.tex] fixed error analysis for mpfr_tanh [src/tanh.c] fixed error analysis Note after r12016: Even though mpfr_tanh was incorrect, the failure of the test added in ttanh.c was actually *only* due to a bug in the mpfr_div code specific to the trunk (fixed in r12002), i.e. this was not a non-regression test for the mpfr_tanh bug itself (in particular, this test does not introduce a failure in the 3.1 branch, which still has the same incorrect mpfr_tanh code but a correct mpfr_div). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11993 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated version to 4.1.0-dev again.vlefevre2017-12-182-3/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11991 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated version to 4.0.0-rc2 for an attempt to replace the 4.0 branch.vlefevre2017-12-172-3/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11989 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/add1sp.c] fix bug in mpfr_add1sp3() in case d=GMP_NUMB_BITSzimmerma2017-12-171-1/+5
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11987 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/root.c] Minor comment correction.vlefevre2017-12-151-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11981 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/root.c] Completed fix from r11978, as x=-1 was affected too. Alsovlefevre2017-12-151-4/+14
| | | | | | | | added comments explaining that mpfr_root_aux assumes |x| ≠ 1 and why. Hence the need of a filter on |x| = 1. [tests/troot.c] Added test for x = -1. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11980 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/root.c] fixed bug when x=1zimmerma2017-12-141-0/+4
| | | | | | | [tests/troot.c] added non-regression test git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11978 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/{mul.c,sqr.c}] Minor changes, making code similar to sub1sp.c.vlefevre2017-12-142-8/+8
| | | | | | | | | | | Checked with grep -A 1 'sb *>>' src/*.c that the bug fixed in r11974 does not occur in other parts of the code. BTW, there is much duplicate code, as shown by the grep output, and using macros could have avoided that, making bugs easier to reproduce (since a same bug would be duplicate several times). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11975 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/sub1sp.c] fixed bug in mpfr_sub1sp2()zimmerma2017-12-131-0/+1
| | | | | | | [tests/tsub1sp.c] added non-regression test git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11974 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mpf2mpfr.h] Added a comment.vlefevre2017-12-131-0/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11973 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mpf2mpfr.h] missing mpf_inits/mpf_clearszimmerma2017-12-131-0/+5
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11972 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mpfr-gmp.h] redefine __clz_tab also with gmp-buildzimmerma2017-12-131-5/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11969 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mpfr-cvers.h] Removed a useless test for __MPFR_STDC, as one justvlefevre2017-12-121-3/+1
| | | | | | | | needs to check whether we have a C99, C11, etc. implementation (if not done via a configure test). Particular incompatibilities with the C90 standard should always be checked via a configure test. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11966 280ebfd0-de03-0410-8827-d642c229c3f4
* DEBUG_TGENERIC -> MPFR_DEBUG_TGENERICzimmerma2017-12-111-2/+2
| | | | | | | XDEBUG -> MPFR_DISABLE_IEEE_FLOATS git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11956 280ebfd0-de03-0410-8827-d642c229c3f4
* get rid of DEBUG macro (but keep corresponding commands in comment to helpzimmerma2017-12-118-126/+48
| | | | | | | understanding of the code and debugging) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11955 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/get_q.c] Optimization of r11951 suggested by Trevor Spiteri:vlefevre2017-12-101-2/+3
| | | | | | https://sympa.inria.fr/sympa/arc/mpfr/2017-12/msg00040.html git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11952 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/get_q.c] make result of mpfr_get_q in canonical formzimmerma2017-12-091-0/+1
| | | | | | | [tests/tget_q.c] added non-regression test git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11951 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/lngamma.c] replace call to __gmpfr_ceil_log2 by __gmpfr_int_ceil_log2zimmerma2017-12-091-2/+8
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11950 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/Makefile.am] Also distribute generic/coverage/mparam.hvlefevre2017-12-081-1/+1
| | | | | | (at least useful for testing the distributed tarballs). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11945 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated version to 4.1.0-dev.vlefevre2017-12-082-3/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11933 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/fpif.c] Removed FIXME about the sign bit of NaN: done invlefevre2017-12-071-6/+2
| | | | | | r11910 and r11920 (documentation + tests). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11929 280ebfd0-de03-0410-8827-d642c229c3f4
* [src] Replaced some "return 0" by "MPFR_RET (0)" (the generated codevlefevre2017-12-075-25/+22
| | | | | | | | is the same as shown by gcc, thanks to an obvious optimization; this is semantically better, which could help provers, and would allow code instrumentation in the future, if need be). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11928 280ebfd0-de03-0410-8827-d642c229c3f4
* got rid of mpz_dump (undocumented in GMP)zimmerma2017-12-062-16/+0
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11927 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mpfr-mini-gmp.c] updated with GMP 6.1.2zimmerma2017-12-061-62/+44
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11926 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/pool.c] Updated description. Corrected copyright years as thevlefevre2017-12-061-2/+2
| | | | | | pool code itself was introduced in 2014. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11924 280ebfd0-de03-0410-8827-d642c229c3f4
* Cleanup and fixes for the mpz_t pool.vlefevre2017-12-065-99/+136
| | | | | | | | | | | | | | | | | | | * Split src/free_cache.c to itself and a new source file src/pool.c containing pool related code. * src/mpfr-impl.h, src/pool.c: cleanup and fixes. In particular: - renamed MPFR_MY_MPZ_INIT to MPFR_POOL_NENTRIES; - no longer use GMP's symbols __gmpz_init, etc. directly; - improved the condition for mpfr_mpz_init2; - fixed the condition in mpfr_mpz_clear (we want to consider the allocated size, not the size of the current number). * src/Makefile.am: added pool.c. * src/mpfr.h: added mpfr_free_pool prototype. * doc/mpfr.texi: updated pool description in "Memory Handling"; new function mpfr_free_pool. * doc/README.dev: update due to the rename of MPFR_MY_MPZ_INIT. * NEWS: better announcement of the mpz_t pool. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11922 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated the remaining www.loria.fr URL's.vlefevre2017-12-061-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11918 280ebfd0-de03-0410-8827-d642c229c3f4
* [free_cache.c] limit the size of objects in the mpz_t poolzimmerma2017-12-061-8/+8
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11913 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/free_cache.c] Added a comment for the mpz_t pool, and a suggestionvlefevre2017-12-061-0/+5
| | | | | | | for mpfr_mpz_clear so that the pool will not take too much memory while keeping a possible benefit for very small precision. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11912 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mpfr.h] Made box around code examples for clarity and grep.vlefevre2017-12-051-6/+10
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11911 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mpfr-gmp.h] Removed old code for pre-GMP-5 versions.vlefevre2017-12-051-4/+0
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11905 280ebfd0-de03-0410-8827-d642c229c3f4
View Lorry Controller Status