| Commit message (Expand) | Author | Age | Files | Lines |
* | Copyright notice update: added 2019 with | vlefevre | 2019-01-01 | 1 | -1/+1 |
* | [src/{add1sp.c,mul.c}] Updated the condition to use the formally | vlefevre | 2018-08-27 | 1 | -1/+6 |
* | [src/add1sp1_extracted.c] replaced extracted code by new for MPFR_PREC_BITS=64 | zimmerma | 2018-08-27 | 1 | -1/+1 |
* | Renamed WANT_PROVEN_CODE to MPFR_WANT_PROVEN_CODE for consistency with | vlefevre | 2018-08-23 | 1 | -2/+2 |
* | For --enable-formally-proven-code, instead of requiring a check of the | vlefevre | 2018-08-23 | 1 | -1/+2 |
* | added configure option --enable-formally-proven-code and corresponding code | zimmerma | 2018-08-23 | 1 | -0/+8 |
* | [src/{add,sub}1sp.c] Updated/added comments for MPFR_WANT_ASSERT >= 2. | vlefevre | 2018-02-20 | 1 | -1/+14 |
* | [src/add1sp.c] no need of MPFR_TMP_MARK any more | zimmerma | 2018-02-13 | 1 | -5/+0 |
* | [src/add1sp.c] Moved a MPFR_ASSERTD to the right place. | vlefevre | 2018-02-13 | 1 | -1/+2 |
* | [src/add1sp.c] mp_ptr -> mp_limb_t* | zimmerma | 2018-02-13 | 1 | -2/+2 |
* | [src/add1sp.c] get rid of MPN_COPY/MPN_ZERO in generic code | zimmerma | 2018-02-13 | 1 | -80/+98 |
* | [src/add1sp.c] Improved comments and other minor changes. | vlefevre | 2018-02-13 | 1 | -14/+15 |
* | [src/add1sp.c] In the generic code of mpfr_add1sp, fixed the computation | vlefevre | 2018-02-13 | 1 | -33/+35 |
* | [src/add1sp.c] cleanup generic code mpfr_add1sp() | zimmerma | 2018-02-12 | 1 | -110/+59 |
* | Copyright notice update: added 2018 with | vlefevre | 2018-01-03 | 1 | -1/+1 |
* | [src/add1sp.c] fix bug in mpfr_add1sp3() in case d=GMP_NUMB_BITS | zimmerma | 2017-12-17 | 1 | -1/+5 |
* | get rid of DEBUG macro (but keep corresponding commands in comment to help | zimmerma | 2017-12-11 | 1 | -27/+18 |
* | [src] Clean up of debugging output functions: | vlefevre | 2017-09-29 | 1 | -8/+8 |
* | Merged the latest changes from the trunk, including some old changesets | vlefevre | 2017-05-04 | 1 | -0/+7 |
|\ |
|
| * | [src/mul.c] added special code for prec=GMP_NUMB_BITS | zimmerma | 2017-02-08 | 1 | -0/+7 |
| * | [src/add1sp.c] added special code for p=GMP_NUMB_BITS | zimmerma | 2017-02-07 | 1 | -0/+110 |
| * | [src/add1sp.c] Improved a line based on analysis (+ timings I've done | vlefevre | 2017-01-13 | 1 | -4/+6 |
| * | [src/add1sp.c] Replaced "return 0;" by "MPFR_RET(0);" to emphasize on | vlefevre | 2017-01-13 | 1 | -3/+3 |
| * | [src/add1sp.c] Improvements in mpfr_add1sp1; added a TODO. | vlefevre | 2017-01-13 | 1 | -9/+11 |
| * | [src/add1sp.c] Added a TODO: slightly better code? | vlefevre | 2017-01-12 | 1 | -0/+2 |
| * | [src/add1sp.c] Fixed too large shift count in r11170 (code for 3 limbs). | vlefevre | 2017-01-09 | 1 | -1/+3 |
| * | [src/add1sp.c] added special code for 3 limbs | zimmerma | 2017-01-09 | 1 | -0/+158 |
| * | Copyright notice update: added 2017 with | vlefevre | 2017-01-01 | 1 | -1/+1 |
| * | [add/sub] added MPFR_UNLIKELY when adding one ulp changes the binade | zimmerma | 2016-12-13 | 1 | -4/+6 |
| * | [add1sp.c] added comment | zimmerma | 2016-12-09 | 1 | -0/+4 |
| * | [add1sp.c] simplified mpfr_add1sp2() | zimmerma | 2016-12-09 | 1 | -6/+2 |
| * | improved add1sp.c and sub1sp.c like in r10991 | zimmerma | 2016-12-08 | 1 | -27/+31 |
| * | [src/add1sp.c] Typo in a comment. | vlefevre | 2016-12-07 | 1 | -2/+2 |
| * | likewise r10983 | zimmerma | 2016-12-07 | 1 | -2/+1 |
| * | [add1sp.c] improved a conditional (if compiler is not smart enough) | zimmerma | 2016-12-07 | 1 | -2/+3 |
* | | Merged r11198-11280 from the trunk; no conflicts but additional changes: | vlefevre | 2017-05-04 | 1 | -6/+118 |
* | | Merged r11197 from the trunk, resolving the conflict. | vlefevre | 2017-05-04 | 1 | -5/+3 |
* | | Merged r11179-11196 from the trunk (no conflicts). | vlefevre | 2017-05-04 | 1 | -9/+13 |
* | | Merged the latest changes from the trunk. | vlefevre | 2017-01-09 | 1 | -0/+160 |
* | | Merged the latest changes from the trunk. | vlefevre | 2017-01-01 | 1 | -1/+1 |
* | | Merged the latest changes from the trunk. | vlefevre | 2016-12-15 | 1 | -39/+45 |
* | | added rounding code for RNDF in special routines for 1 and 2 limbs | zimmerma | 2016-12-07 | 1 | -4/+6 |
* | | Merged the remaining changesets (concerning src/{add1sp.c,sub1sp.c}) | vlefevre | 2016-09-02 | 1 | -4/+131 |
|\ \
| |/ |
|
| * | [src/add1sp.c] fixed issues found with --enable-assert=full | zimmerma | 2016-07-28 | 1 | -18/+22 |
| * | [src/add1sp.c] new code to deal with p in [GMP_NUMB_BITS+1,2*GMP_NUMB_BITS-1] | zimmerma | 2016-07-27 | 1 | -2/+125 |
* | | Merged r10573 through r10597 from the trunk (no conflicts). | vlefevre | 2016-07-22 | 1 | -16/+28 |
|\ \
| |/ |
|
| * | [tests/tadd1sp.c] Added tests with EXP(b) < EXP(c), as there are | vlefevre | 2016-07-07 | 1 | -13/+22 |
| * | [src/add1sp.c] fixed two bugs in mpfr_add1sp1 | zimmerma | 2016-07-06 | 1 | -3/+6 |
* | | Merged r10566 through r10570 from the trunk, resolving the conflict. | vlefevre | 2016-07-22 | 1 | -102/+52 |
|\ \
| |/ |
|
| * | added comment | zimmerma | 2016-07-06 | 1 | -1/+1 |