summaryrefslogtreecommitdiff
path: root/src/add1sp.c
Commit message (Expand)AuthorAgeFilesLines
* Copyright notice update: added 2021 withvlefevre2021-01-031-1/+1
* Copyright notice update: added 2020 withvlefevre2020-01-081-1/+1
* [src/{add1sp.c,sub1sp.c}] Get rid of useless goto's.vlefevre2019-09-101-40/+36
* [src/add1sp.c] Cosmetic change (consistent ordering).vlefevre2019-09-051-1/+1
* [src/add1sp.c] improved commentzimmerma2019-09-031-1/+1
* [src/add1sp.c] mpfr_add1sp2n: improved a comment.vlefevre2019-09-031-2/+2
* [src/add1sp.c] Fixed the bug.vlefevre2019-09-031-9/+8
* [src]vlefevre2019-09-031-3/+8
* [src/add1sp.c] mpfr_add1sp2n:vlefevre2019-09-031-44/+52
* [src/add1sp.c] fix for bug20190903zimmerma2019-09-031-1/+6
* [src/add1sp.c] Corrected a comment.vlefevre2019-09-031-1/+1
* [src/add1sp.c] added mpfr_add1sp2n for 128-bit precision (with 64-bit limb)zimmerma2019-09-031-5/+127
* 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/{add1sp.c,mul.c}] Updated the condition to use the formallyvlefevre2018-08-271-1/+6
* [src/add1sp1_extracted.c] replaced extracted code by new for MPFR_PREC_BITS=64zimmerma2018-08-271-1/+1
* Renamed WANT_PROVEN_CODE to MPFR_WANT_PROVEN_CODE for consistency withvlefevre2018-08-231-2/+2
* For --enable-formally-proven-code, instead of requiring a check of thevlefevre2018-08-231-1/+2
* added configure option --enable-formally-proven-code and corresponding codezimmerma2018-08-231-0/+8
* [src/{add,sub}1sp.c] Updated/added comments for MPFR_WANT_ASSERT >= 2.vlefevre2018-02-201-1/+14
* [src/add1sp.c] no need of MPFR_TMP_MARK any morezimmerma2018-02-131-5/+0
* [src/add1sp.c] Moved a MPFR_ASSERTD to the right place.vlefevre2018-02-131-1/+2
* [src/add1sp.c] mp_ptr -> mp_limb_t*zimmerma2018-02-131-2/+2
* [src/add1sp.c] get rid of MPN_COPY/MPN_ZERO in generic codezimmerma2018-02-131-80/+98
* [src/add1sp.c] Improved comments and other minor changes.vlefevre2018-02-131-14/+15
* [src/add1sp.c] In the generic code of mpfr_add1sp, fixed the computationvlefevre2018-02-131-33/+35
* [src/add1sp.c] cleanup generic code mpfr_add1sp()zimmerma2018-02-121-110/+59
* Copyright notice update: added 2018 withvlefevre2018-01-031-1/+1
* [src/add1sp.c] fix bug in mpfr_add1sp3() in case d=GMP_NUMB_BITSzimmerma2017-12-171-1/+5
* get rid of DEBUG macro (but keep corresponding commands in comment to helpzimmerma2017-12-111-27/+18
* [src] Clean up of debugging output functions:vlefevre2017-09-291-8/+8
* Merged the latest changes from the trunk, including some old changesetsvlefevre2017-05-041-0/+7
|\
| * [src/mul.c] added special code for prec=GMP_NUMB_BITSzimmerma2017-02-081-0/+7
| * [src/add1sp.c] added special code for p=GMP_NUMB_BITSzimmerma2017-02-071-0/+110
| * [src/add1sp.c] Improved a line based on analysis (+ timings I've donevlefevre2017-01-131-4/+6
| * [src/add1sp.c] Replaced "return 0;" by "MPFR_RET(0);" to emphasize onvlefevre2017-01-131-3/+3
| * [src/add1sp.c] Improvements in mpfr_add1sp1; added a TODO.vlefevre2017-01-131-9/+11
| * [src/add1sp.c] Added a TODO: slightly better code?vlefevre2017-01-121-0/+2
| * [src/add1sp.c] Fixed too large shift count in r11170 (code for 3 limbs).vlefevre2017-01-091-1/+3
| * [src/add1sp.c] added special code for 3 limbszimmerma2017-01-091-0/+158
| * Copyright notice update: added 2017 withvlefevre2017-01-011-1/+1
| * [add/sub] added MPFR_UNLIKELY when adding one ulp changes the binadezimmerma2016-12-131-4/+6
| * [add1sp.c] added commentzimmerma2016-12-091-0/+4
| * [add1sp.c] simplified mpfr_add1sp2()zimmerma2016-12-091-6/+2
| * improved add1sp.c and sub1sp.c like in r10991zimmerma2016-12-081-27/+31
| * [src/add1sp.c] Typo in a comment.vlefevre2016-12-071-2/+2
| * likewise r10983zimmerma2016-12-071-2/+1
| * [add1sp.c] improved a conditional (if compiler is not smart enough)zimmerma2016-12-071-2/+3
* | Merged r11198-11280 from the trunk; no conflicts but additional changes:vlefevre2017-05-041-6/+118
* | Merged r11197 from the trunk, resolving the conflict.vlefevre2017-05-041-5/+3
View Lorry Controller Status