summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* [tests/tsum.c] Updated comment of the check4 test.vlefevre2015-03-301-1/+1
* [src/sum.c] Bug triggered by the check4 test fixed.vlefevre2015-03-301-1/+5
* [tests/tsum.c] Another correction in the check4 test.vlefevre2015-03-301-1/+1
* [tests/tsum.c] In the check4 test, two terms didn't correspond tovlefevre2015-03-301-2/+2
* [tests/tsum.c] Forgot the h in the error message of the check4 test.vlefevre2015-03-301-3/+4
* [tests/tsum.c] Extend the check4 test even further.vlefevre2015-03-301-53/+54
* [tests/tsum.c] Extend the check4 test even further.vlefevre2015-03-301-41/+50
* [tests/tsum.c] Added check4 test, which triggers a bug.vlefevre2015-03-301-0/+70
* [src/sum.c] In the TMD detection:vlefevre2015-03-271-9/+18
* [tests/tsum.c] Added bug20150327 testcase.vlefevre2015-03-271-0/+52
* [tests/tsum.c] Corrected test of the ternary values inex1 and inex2.vlefevre2015-03-271-5/+8
* [src/sum.c] Do not consider the corrected sst for MPFR_COV_SET.vlefevre2015-03-191-1/+3
* [tests/tsum.c] More tests.vlefevre2015-03-191-27/+35
* [src/sum.c] Added comments.vlefevre2015-03-191-2/+2
* [src/sum.c] In the final rounding, forgot to handle the possiblevlefevre2015-03-191-0/+7
* [tests/tsum.c] Improved the check3 tests, which were added in thevlefevre2015-03-171-3/+3
* [tests/tsum.c] New tests.vlefevre2015-03-171-0/+77
* [tests/tsum.c] Value coverage checking: tmd can be 2 only for MPFR_RNDN.vlefevre2015-03-171-1/+1
* [src/sum.c] Better logging.vlefevre2015-03-161-1/+3
* [src/sum.c] Bug fix: the sum_raw code was unnecessarily assumingvlefevre2015-03-161-23/+18
* [doc/sum.txt] Added a new table concerning the correction term.vlefevre2015-03-122-45/+116
* [src/sum.c] Added comments on the correction. Minor changes in the code.vlefevre2015-03-101-6/+27
* [doc/sum.txt] Updated TODO.vlefevre2015-02-271-2/+2
* [doc/sum.txt] Added TODO (since the description is a bit obsolete).vlefevre2015-02-271-0/+7
* [src/sum.c] In the latest commit, the temporary area was split forvlefevre2015-02-271-45/+22
* [src/sum.c]vlefevre2015-02-271-120/+142
* [tests/tsum.c] Improved test portability.vlefevre2015-02-261-10/+13
* [tests/tsum.c] New tests.vlefevre2015-02-261-30/+38
* [src/sum.c] Completed the implementation (but there's still a bug).vlefevre2015-02-261-9/+16
* [tests/tsum.c] New tests.vlefevre2015-02-261-0/+76
* [src/sum.c] Improved the setting of sst (Step 8), using the factvlefevre2015-02-251-17/+11
* [src/sum.c] Bug fix: when determining the sticky bit, the search wasvlefevre2015-02-251-6/+7
* [tests/tsum.c] New tests.vlefevre2015-02-251-0/+76
* [src/sum.c] More logging.vlefevre2015-02-251-0/+4
* [tests/tsum.c] In the generic test, also test with negative numbers.vlefevre2015-02-251-1/+5
* Updated value coverage checking for mpfr_sum.vlefevre2015-02-253-10/+12
* [doc/README.dev] Document the new MPFR_COV_CHECK macro.vlefevre2015-02-251-0/+3
* Value coverage checking when MPFR_COV_CHECK is defined, initiallyvlefevre2015-02-253-0/+57
* [src/sum.c] Bug fix in the ternary value.vlefevre2015-02-251-1/+1
* [tests/tsum.c] Added check of the ternary value.vlefevre2015-02-251-17/+29
* [src/sum.c] Removed incorrect assertions.vlefevre2015-02-251-2/+1
* [tests/tsum.c] Re-enabled cancel() test.vlefevre2015-02-251-4/+0
* [src/sum.c] Update.vlefevre2015-02-241-4/+4
* [src/sum.c] Update.vlefevre2015-02-241-4/+38
* [src/sum.c] Use the new SAFE_DIFF macro.vlefevre2015-02-241-1/+1
* Merged the latest changes from the trunk (r9306).vlefevre2015-02-241-1/+2
|\
| * [src/mpfr-impl.h] Added SAFE_DIFF macro (safe difference).vlefevre2015-02-241-1/+2
* | [src/sum.c] Fixed a test.vlefevre2015-02-241-3/+4
* | [src/sum.c] Better logging.vlefevre2015-02-241-6/+19
* | [src/sum.c] Minor correction of last change of a comment.vlefevre2015-02-241-1/+1