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-04-24
09:49:21 Source Code scm commit: [configure.ac] Updated a comment about Automake 1.13. (r9380)Vincent Lefèvre
09:27:03 Source Code scm commit: [Makefile.am] Updated comment about ACLOCAL_AMFLAGS. (r9379)Vincent Lefèvre
08:57:14 Source Code scm commit: [TODO] Suggest to move some macro definitions from acinclude.m4 to the m4 directory as suggested by the Automake manual. (r9378)Vincent Lefèvre
2015-04-23
15:23:09 Source Code scm commit: [www/index.html] Added reference to ledger. (r9377)Vincent Lefèvre
13:31:31 Source Code scm commit: [doc/README.dev] Grouped everything about the test suite near the end of this file. Added information about how the test suite works since the full Automake 1.13 support (r8821). (r9376)Vincent Lefèvre
11:39:17 Source Code scm commit: To take into account that Automake 1.13 or later will be used: * doc/mpfr.texi, INSTALL: updates related to "make check". * configure.ac: require Automake 1.13 since the documentation now assumes that 1.13 or later is used (and because previous Automake versions are no longer tested). (r9375)Vincent Lefèvre
2015-04-21
07:49:40 Source Code scm commit: [www/index.html] Updated URL's. (r9374)Vincent Lefèvre
2015-04-10
11:07:47 Source Code scm commit: [NEWS] Mention the complete rewrite of function mpfr_sum. (r9373)Vincent Lefèvre
09:17:51 Source Code scm commit: [tests/tsum.c] Added a comment about the latest fixed bug. (r9372)Vincent Lefèvre
00:52:35 Source Code scm commit: Removed new-sum branch (since it has been merged into the trunk). (r9371)Vincent Lefèvre
00:51:00 Source Code scm commit: Merged the new-sum branch: * New feature for developers in order to improve the testsuite: value coverage checking (MPFR_COV_CHECK macro), allowing one to check whether some combinations of values are tested. See example of use in src/sum.c and tests/tsum.c files. * src/sum.c: full rewrite of mpfr_sum. Note: the documentation of the algorithm in doc/sum.txt is currently a bit obsolete. * tests/tsum.c: many new tests, some of them specifically written for the new algorithm and implementation. (r9370)Vincent Lefèvre
2015-04-09
23:57:31 Source Code scm commit: [src/sum.c] Fixed bug: mpn functions do not accept a zero size argument. (r9369)Vincent Lefèvre
15:32:18 Source Code scm commit: [tests/tsum.c] Replaced a mpfr_inits by a mpfr_inits2. (r9368)Vincent Lefèvre
15:30:58 Source Code scm commit: [tests/tsum.c] Added a simple test that triggers a glibc free() error or segmentation fault when MPFR is configured with GMP 6.0.0 built with "--disable-alloca ABI=32". GCC's address sanitizer shows a heap-buffer-overflow. This is mainly for debugging as this problem also occurs in other tests (it is quite generic). (r9367)Vincent Lefèvre
15:18:54 Source Code scm commit: [tests/tsum.c] Removed a temporary comment. (r9366)Vincent Lefèvre
14:20:34 Source Code scm commit: Merged the latest changes from the trunk. (r9365)Vincent Lefèvre
14:17:10 Source Code scm commit: [tests/tsum.c] Added check_underflow test. (r9364)Vincent Lefèvre
2015-04-08
15:35:11 Source Code scm commit: [tests/tsum.c] Comments. (r9363)Vincent Lefèvre
15:30:45 Source Code scm commit: [src/sum.c] Bug fix: use MPFR_EXP instead of MPFR_SET_EXP to set the exponent since it can be outside the current exponent range before it is checked with mpfr_check_range. Also added a static assertion (always satisfied in practice) to make sure that exponent related computations cannot yield an integer overflow. (r9362)Vincent Lefèvre
15:11:29 Source Code scm commit: [tests/tsum.c] Added check_overflow test, which triggers a bug. (r9361)Vincent Lefèvre
2015-03-31
09:44:48 Source Code scm commit: [tests/tsum.c] Completed the cancel test (generic random tests with cancellations): check the bound on the result. (r9360)Vincent Lefèvre
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