summaryrefslogtreecommitdiff
path: root/src/mpfr-mini-gmp.h
Commit message (Expand)AuthorAgeFilesLines
* Copyright notice update: added 2021 withvlefevre2021-01-031-1/+1
* Copyright notice update: added 2020 withvlefevre2020-01-081-1/+1
* Updated the www.gnu.org URL's (http → https) on all the files with:vlefevre2019-01-071-1/+1
* Copyright notice update: added 2019 withvlefevre2019-01-011-1/+1
* [src/mpfr-mini-gmp.h] Removed incorrect GMP_NUMB_BITS macro definition,vlefevre2018-09-191-7/+0
* [src/mpfr-mini-gmp.h] Added a FIXME (failure with a mini-gmp thatvlefevre2018-09-181-0/+2
* [src/mpfr-mini-gmp.h] Fix: Since gmp_version is not defined in mini-gmp,vlefevre2018-09-121-4/+0
* [src/mpfr-mini-gmp.h] Removed #include lines as mpfr-mini-gmp.h isvlefevre2018-09-121-4/+0
* adapt to 8-bit limbs (work in progress)zimmerma2018-09-071-0/+4
* Copyright notice update: added 2018 withvlefevre2018-01-031-1/+1
* got rid of mpz_dump (undocumented in GMP)zimmerma2017-12-061-5/+0
* fixed compiler warnings with mini-gmpzimmerma2017-12-051-0/+5
* make compilation work again (make + make check) with mini-gmpzimmerma2017-12-041-10/+4
* Copyright notice update: added 2017 withvlefevre2017-01-011-1/+1
* Replacedvlefevre2016-02-041-1/+1
* Copyright notice update: added 2016 withvlefevre2016-01-011-1/+1
* simplify the configuration with mini-gmpzimmerma2015-11-031-0/+5
* better definition of GMP_NUMB_BITSzimmerma2015-10-301-1/+3
* more tests do work with mini-gmp (from GMP 6.1.0-rc1)zimmerma2015-10-291-1/+1
* adapt for mini-gmp (from GMP 6.1.0-rc1)zimmerma2015-10-291-20/+15
* adapt mini-gmp stuff to GMP 6.1.0-rc1zimmerma2015-10-281-9/+5
* Copyright notice update: added 2015 withvlefevre2015-02-131-1/+1
* [src/mpfr-mini-gmp.h] GMP_NUMB_MASK is no longer needed.vlefevre2014-06-251-4/+0
* Dropped obsolete __gmp_const (replaced by const).vlefevre2014-01-201-4/+0
* more progress with mini-gmp:zimmerma2014-01-181-1/+1
* more progress for the mini-gmp interfacezimmerma2014-01-171-1/+1
* added two new files for mini-gmp interfacezimmerma2014-01-161-0/+157