Home My Page Projects MPFR
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

Activity

Activity: Start Date: End Date:

Time Activity By
2015-03-31
01:05:03 Source Code scm commit: [tests/tsum.c] Improved the check4 test: * removed some not very useful tests to reduce the running time; * added tests checking "MPFR_RNDN, tmd=2, rbit=0, sst=1, negative", which was the only remaining one output by check_coverage (when MPFR_COV_CHECK is defined). (r9359)Vincent Lefèvre
00:30:25 Source Code scm commit: [tests/tsum.c] Reduced the check4 test because it was much too long compared to the other tests. The bug fixed in r9356 is still triggered and "MPFR_RNDN, tmd=2, rbit=0, sst=0, negative" is still checked. (r9358)Vincent Lefèvre
2015-03-30
15:05:38 Source Code scm commit: [tests/tsum.c] Updated comment of the check4 test. (r9357)Vincent Lefèvre
14:57:17 Source Code scm commit: [src/sum.c] Bug triggered by the check4 test fixed. (r9356)Vincent Lefèvre
13:43:05 Source Code scm commit: [tests/tsum.c] Another correction in the check4 test. (r9355)Vincent Lefèvre
13:40:57 Source Code scm commit: [tests/tsum.c] In the check4 test, two terms didn't correspond to the formula given in the comment; corrected these terms (the same bug is triggered). (r9354)Vincent Lefèvre
13:23:20 Source Code scm commit: [tests/tsum.c] Forgot the h in the error message of the check4 test. (r9353)Vincent Lefèvre
13:15:00 Source Code scm commit: [tests/tsum.c] Extend the check4 test even further. (r9352)Vincent Lefèvre
08:39:48 Source Code scm commit: [tests/tsum.c] Extend the check4 test even further. (r9351)Vincent Lefèvre
08:33:36 Source Code scm commit: [tests/tsum.c] Added check4 test, which triggers a bug. (r9350)Vincent Lefèvre
2015-03-27
16:10:27 Source Code scm commit: [src/sum.c] In the TMD detection: * improved variable nbits to decrease the number of operations; * added some comments; * fixed the shift count bug triggered by the bug20150327 test. (r9349)Vincent Lefèvre
15:35:09 Source Code scm commit: [tests/tsum.c] Added bug20150327 testcase. (r9348)Vincent Lefèvre
15:01:04 Source Code scm commit: [tests/tsum.c] Corrected test of the ternary values inex1 and inex2. (r9347)Vincent Lefèvre
2015-03-20
14:06:52 Source Code scm commit: [tools/ck-copyright-notice] Bug fix and improvements. (r9346)Vincent Lefèvre
13:57:13 Source Code scm commit: [tools/ck-copyright-notice] More checks. (r9345)Vincent Lefèvre
2015-03-19
01:07:21 Source Code scm commit: [src/sum.c] Do not consider the corrected sst for MPFR_COV_SET. (r9344)Vincent Lefèvre
00:51:10 Source Code scm commit: [tests/tsum.c] More tests. (r9343)Vincent Lefèvre
00:33:58 Source Code scm commit: [src/sum.c] Added comments. (r9342)Vincent Lefèvre
00:32:47 Source Code scm commit: [src/sum.c] In the final rounding, forgot to handle the possible exponent change in the negative case with corr == 2. (r9341)Vincent Lefèvre
2015-03-17
03:24:45 Source Code scm commit: [tests/tsum.c] Improved the check3 tests, which were added in the latest commit. They now trigger an assertion failure in sum.c. (r9340)Vincent Lefèvre
03:16:01 Source Code scm commit: [tests/tsum.c] New tests. (r9339)Vincent Lefèvre
02:35:44 Source Code scm commit: [tests/tsum.c] Value coverage checking: tmd can be 2 only for MPFR_RNDN. (r9338)Vincent Lefèvre
2015-03-16
11:13:54 Source Code scm commit: [src/sum.c] Better logging. (r9337)Vincent Lefèvre
11:02:00 Source Code scm commit: [src/sum.c] Bug fix: the sum_raw code was unnecessarily assuming too much; thus, removed too parameters, which can be very easily recomputed only when they make sense. (r9336)Vincent Lefèvre
2015-03-12
15:55:11 Source Code scm commit: [doc/sum.txt] Added a new table concerning the correction term. [src/sum.c] Updated rounding. (r9335)Vincent Lefèvre
2015-03-10
13:37:05 Source Code scm commit: [src/sum.c] Added comments on the correction. Minor changes in the code. (r9334)Vincent Lefèvre
2015-03-06
13:57:53 Source Code scm commit: [doc/README.dev] Added information on how to do type punning (something we already did, but with no justification yet). (r9333)Vincent Lefèvre