| Commit message (Expand) | Author | Age | Files | Lines |
* | [configure.ac] read GMP_NUMB_BITS from mini-gmp.h when available | zimmerma | 2018-08-28 | 1 | -6/+9 |
* | Renamed WANT_PROVEN_CODE to MPFR_WANT_PROVEN_CODE for consistency with | vlefevre | 2018-08-23 | 1 | -1/+1 |
* | For --enable-formally-proven-code, instead of requiring a check of the | vlefevre | 2018-08-23 | 1 | -4/+0 |
* | [configure.ac] Updated FIXME for --enable-formally-proven-code | vlefevre | 2018-08-23 | 1 | -2/+3 |
* | [configure.ac] Added a FIXME for --enable-formally-proven-code. | vlefevre | 2018-08-23 | 1 | -0/+3 |
* | [configure.ac] Updated message for --enable-formally-proven-code. | vlefevre | 2018-08-23 | 1 | -1/+3 |
* | added configure option --enable-formally-proven-code and corresponding code | zimmerma | 2018-08-23 | 1 | -0/+8 |
* | [acinclude.m4,configure.ac] Check the support of the group flag for | vlefevre | 2018-07-27 | 1 | -1/+2 |
* | Shared caches: fix and minor changes. | vlefevre | 2018-07-18 | 1 | -1/+1 |
* | [configure.ac] Do not do specific CFLAGS settings for MS-Windows ICC. | vlefevre | 2018-06-23 | 1 | -4/+5 |
* | [configure.ac] For the ICC check, also test __INTEL_COMPILER. | vlefevre | 2018-04-18 | 1 | -1/+1 |
* | [configure.ac] Corrected comment for the ICC check (GCC is no longer | vlefevre | 2018-04-18 | 1 | -3/+2 |
* | [configure.ac,acinclude.m4] added new macro MPFR_INTMAX_WITHIN_LIMB | zimmerma | 2018-02-23 | 1 | -0/+1 |
* | [configure.ac] For --enable-float128, this is still autodetect, e.g.: | vlefevre | 2018-02-22 | 1 | -2/+3 |
* | changed __float128 (gcc specific) into the standard type _Float128 | zimmerma | 2018-02-22 | 1 | -5/+4 |
* | [configure.ac] detect mpn_rsblsh1_n instead of mpn_rsblsh_n | zimmerma | 2018-02-14 | 1 | -1/+2 |
* | [configure.ac] In the CC and CFLAGS setup from gmp.h, added to the | vlefevre | 2018-01-22 | 1 | -1/+1 |
* | Copyright notice update: added 2018 with | vlefevre | 2018-01-03 | 1 | -1/+1 |
* | Updated version to 4.1.0-dev again. | vlefevre | 2017-12-20 | 1 | -1/+1 |
* | Updated version to 4.0.0-rc2 for an attempt to replace the 4.0 branch. | vlefevre | 2017-12-20 | 1 | -1/+1 |
* | Updated version to 4.1.0-dev again. | vlefevre | 2017-12-18 | 1 | -1/+1 |
* | Updated version to 4.0.0-rc2 for an attempt to replace the 4.0 branch. | vlefevre | 2017-12-17 | 1 | -1/+1 |
* | [configure.ac] Improved error message. | vlefevre | 2017-12-12 | 1 | -1/+1 |
* | Updated version to 4.1.0-dev. | vlefevre | 2017-12-08 | 1 | -1/+1 |
* | Switched other gmplib.org URL's to https. | vlefevre | 2017-09-08 | 1 | -1/+1 |
* | [configure.ac] Added a comment about the DLL version. | vlefevre | 2017-08-28 | 1 | -0/+4 |
* | [configure.ac] Updated DLL version to 6 (cur - age). | vlefevre | 2017-08-28 | 1 | -1/+1 |
* | [configure.ac] Under Linux, make sure that the old dtags are used | vlefevre | 2017-07-17 | 1 | -0/+30 |
* | [configure.ac] Improved some AC_DEFINE comments. | vlefevre | 2017-06-03 | 1 | -3/+3 |
* | Copyright notice update: added 2017 with | vlefevre | 2017-01-01 | 1 | -1/+1 |
* | [src/sub1sp.c] implement use of __gmpn_rsblsh_n (disabled for now) | zimmerma | 2016-07-15 | 1 | -1/+2 |
* | [src/div.c] only use __gmpn_invert_limb with --enable-gmp-internals | zimmerma | 2016-07-15 | 1 | -0/+2 |
* | [configure.ac] Re-added AM_PROG_AR in case Microsoft lib.exe is used | vlefevre | 2016-05-24 | 1 | -0/+5 |
* | [configure.ac] Moved LT_INIT near the top for --enable-lto, and removed | vlefevre | 2016-05-24 | 1 | -4/+2 |
* | [configure.ac] Removed a FIXME fixed in r4482. | vlefevre | 2016-05-24 | 1 | -5/+0 |
* | Added optional LTO support (from a patch by Patrick Pélissier). | vlefevre | 2016-05-24 | 1 | -0/+13 |
* | MPFR 3.2(.x) → 4.0(.x) | vlefevre | 2016-05-24 | 1 | -1/+1 |
* | Added shared cache support (from a patch by Patrick Pélissier). | vlefevre | 2016-05-23 | 1 | -0/+11 |
* | [configure.ac] Added a comment about GMP CC/CFLAGS detection. | vlefevre | 2016-05-12 | 1 | -1/+3 |
* | [configure.ac] Better GMP CC/CFLAGS detection (based on a patch by | vlefevre | 2016-05-12 | 1 | -18/+15 |
* | add -P option to cpp when detecting CC/CFLAGS in gmp.h (workaround for gcc-5) | zimmerma | 2016-05-11 | 1 | -1/+1 |
* | [configure.ac] Improved the GMP CC/CFLAGS detection: the test for $cpp | vlefevre | 2016-04-21 | 1 | -3/+3 |
* | Added pkg-config support (patch from Kip Warner + some changes). | vlefevre | 2016-04-21 | 1 | -1/+1 |
* | [configure.ac] "double format" test: changed the AC_MSG_ERROR (when | vlefevre | 2016-04-20 | 1 | -1/+1 |
* | [configure.ac] No longer include <stdint.h> in the "double format" test | vlefevre | 2016-04-20 | 1 | -1/+0 |
* | [configure.ac] Improved --help messages for decimal-float and float128 | vlefevre | 2016-03-03 | 1 | -2/+4 |
* | set --enable-float128 to "autodetect" by default (like --enable-decimal-float) | zimmerma | 2016-03-03 | 1 | -9/+5 |
* | [acinclude.m4,configure.ac] Various fixes in error messages. | vlefevre | 2016-03-02 | 1 | -2/+2 |
* | autodetect support for decimal floats (as suggested in revision 10179) | zimmerma | 2016-03-02 | 1 | -1/+1 |
* | Do not build with decimal float by default as it is not standard | vlefevre | 2016-03-02 | 1 | -1/+1 |