summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* 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
* [src/urandomb.c] Removed an obsolete "#if __MPFR_GMP(5,0,0)" as we nowvlefevre2017-12-051-2/+0
| | | | | | require GMP 5.0+ and mp_bitcnt_t is also defined by mini-gmp. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11904 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mpfr-gmp.h] Removed the code that defined mpn_copyi and mpn_copydvlefevre2017-12-051-10/+0
| | | | | | | | macros for GMP < 5, since MPFR now requires GMP 5.0+ and these functions are also defined by mini-gmp (these macros were used by mini-gmp only because mini-gmp does not define GMP_VERSION). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11902 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mpfr-gmp.h] Missing parentheses around parameters in mpn_copyivlefevre2017-12-051-2/+2
| | | | | | and mpn_copyd macro definitions. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11901 280ebfd0-de03-0410-8827-d642c229c3f4
* fixed bug in replacement function for copyi and copyd (found with mini-gmp)zimmerma2017-12-051-3/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11900 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mpfr.h] Explain how to avoid the "... is deprecated" warning whenvlefevre2017-12-051-1/+11
| | | | | | testing a deprecated function. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11898 280ebfd0-de03-0410-8827-d642c229c3f4
* Disable the "deprecated" attribute of deprecated functions *only* forvlefevre2017-12-051-0/+4
| | | | | | the tests of these functions, to avoid the corresponding warnings. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11896 280ebfd0-de03-0410-8827-d642c229c3f4
* Removed trailing whietespace.vlefevre2017-12-051-2/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11895 280ebfd0-de03-0410-8827-d642c229c3f4
* fixed compiler warnings with mini-gmpzimmerma2017-12-052-0/+12
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11894 280ebfd0-de03-0410-8827-d642c229c3f4
* Simplified the use of MPFR_USE_FILE since <stdio.h> (<cstdio> for C++)vlefevre2017-12-045-4/+6
| | | | | | is unconditionally included. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11893 280ebfd0-de03-0410-8827-d642c229c3f4
* make compilation work again (make + make check) with mini-gmpzimmerma2017-12-0410-39/+18
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11891 280ebfd0-de03-0410-8827-d642c229c3f4
* Improved portability of the check-gmp-symbols make rule.vlefevre2017-12-041-3/+8
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11890 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/fpif.c] Clarification.vlefevre2017-12-041-8/+10
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11889 280ebfd0-de03-0410-8827-d642c229c3f4
* [src] Update about the internal use of mpfr_get_str.vlefevre2017-12-042-2/+6
| | | | | | | * get_str.c: updated a comment. * vasprintf.c: added assertions. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11887 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/get_str.c] Corrected a comment.vlefevre2017-12-041-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11885 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/fpif.c] Updated comments about the format.vlefevre2017-12-011-2/+5
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11874 280ebfd0-de03-0410-8827-d642c229c3f4
* Two fixes for the check-gmp-symbols make rule:vlefevre2017-11-301-11/+15
| | | | | | | | | * Use $(COMPILE) instead of $(CC) to get the usual compilation flags (in particular, the -I flags may be important to find gmp.h and to get the correct one). * Run the test only if libmpfr.so exists. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11870 280ebfd0-de03-0410-8827-d642c229c3f4
* Added comment about the check-gmp-symbols make rule (added in r11865).vlefevre2017-11-301-0/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11866 280ebfd0-de03-0410-8827-d642c229c3f4
* Added check-gmp-symbols make rule to check that MPFR does not usevlefevre2017-11-301-0/+20
| | | | | | GMP internal symbols. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11865 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/fpif.c] Fixed the sign bug for mpfr_fpif_import.vlefevre2017-11-291-13/+13
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11861 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/mpfr.texi,src/fpif.c] For mpfr_fpif_import, in case of failure,vlefevre2017-11-291-5/+11
| | | | | | | the argument x is either unchanged or set to NaN, to make sure that x has valid contents (otherwise this could yield erratic behavior). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11858 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/fpif.c] For mpfr_fpif_import, replaced an assertion by a failurevlefevre2017-11-291-3/+3
| | | | | | | (since the full format is not described in the manual and MPFR cannot currently generate such a case, this is OK). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11857 280ebfd0-de03-0410-8827-d642c229c3f4
View Lorry Controller Status