delta/mpfr.git - scm.gforge.inria.fr: anonscm/svn/mpfr

	Commit message (Collapse)	Author	Age	Files	Lines
*	[src/sum.c] Fixed bug: mpn functions do not accept a zero size argument.new-sum	vlefevre	2015-04-09	1	-2/+5
\| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9369 280ebfd0-de03-0410-8827-d642c229c3f4
*	[tests/tsum.c] Replaced a mpfr_inits by a mpfr_inits2.	vlefevre	2015-04-09	1	-1/+1
\| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9368 280ebfd0-de03-0410-8827-d642c229c3f4
*	[tests/tsum.c] Added a simple test that triggers a glibc free() error	vlefevre	2015-04-09	1	-0/+30
\| \| \| \| \| \| \| \| \|	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). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9367 280ebfd0-de03-0410-8827-d642c229c3f4
*	[tests/tsum.c] Removed a temporary comment.	vlefevre	2015-04-09	1	-2/+0
\| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9366 280ebfd0-de03-0410-8827-d642c229c3f4
*	Merged the latest changes from the trunk.	vlefevre	2015-04-09	4	-19/+49
\|\ \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9365 280ebfd0-de03-0410-8827-d642c229c3f4
\| *	[tools/ck-copyright-notice] Bug fix and improvements.	vlefevre	2015-03-20	1	-6/+8
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9346 280ebfd0-de03-0410-8827-d642c229c3f4
\| *	[tools/ck-copyright-notice] More checks.	vlefevre	2015-03-20	1	-8/+22
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9345 280ebfd0-de03-0410-8827-d642c229c3f4
\| *	[doc/README.dev] Added information on how to do type punning	vlefevre	2015-03-06	1	-0/+15
\| \| \| \| \| \| \| \| \| \| \| \|	(something we already did, but with no justification yet). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9333 280ebfd0-de03-0410-8827-d642c229c3f4
\| *	[src/sub1sp.c] Avoid an unnecessary mpn_lshift after an mpn_sub_1 when	vlefevre	2015-02-27	1	-7/+8
\| \| \| \| \| \| \| \| \| \| \| \|	the initial value was a power of two. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9328 280ebfd0-de03-0410-8827-d642c229c3f4
\| *	[src/next.c] Avoid an unnecessary loop when the exponent decreases.	vlefevre	2015-02-27	1	-4/+2
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9327 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Added check_underflow test.	vlefevre	2015-04-09	1	-4/+123
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9364 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Comments.	vlefevre	2015-04-08	1	-2/+6
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9363 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[src/sum.c] Bug fix: use MPFR_EXP instead of MPFR_SET_EXP to set the	vlefevre	2015-04-08	1	-1/+7
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	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. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9362 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Added check_overflow test, which triggers a bug.	vlefevre	2015-04-08	1	-0/+52
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9361 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Completed the cancel test (generic random tests with	vlefevre	2015-03-31	1	-15/+25
\| \| \| \| \| \| \| \| \| \| \| \|	cancellations): check the bound on the result. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9360 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Improved the check4 test:	vlefevre	2015-03-31	1	-8/+13
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* 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). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9359 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Reduced the check4 test because it was much too long	vlefevre	2015-03-31	1	-2/+2
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	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. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9358 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Updated comment of the check4 test.	vlefevre	2015-03-30	1	-1/+1
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9357 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[src/sum.c] Bug triggered by the check4 test fixed.	vlefevre	2015-03-30	1	-1/+5
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9356 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Another correction in the check4 test.	vlefevre	2015-03-30	1	-1/+1
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9355 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] In the check4 test, two terms didn't correspond to	vlefevre	2015-03-30	1	-2/+2
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	the formula given in the comment; corrected these terms (the same bug is triggered). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9354 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Forgot the h in the error message of the check4 test.	vlefevre	2015-03-30	1	-3/+4
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9353 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Extend the check4 test even further.	vlefevre	2015-03-30	1	-53/+54
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9352 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Extend the check4 test even further.	vlefevre	2015-03-30	1	-41/+50
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9351 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Added check4 test, which triggers a bug.	vlefevre	2015-03-30	1	-0/+70
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9350 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[src/sum.c] In the TMD detection:	vlefevre	2015-03-27	1	-9/+18
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* improved variable nbits to decrease the number of operations; * added some comments; * fixed the shift count bug triggered by the bug20150327 test. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9349 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Added bug20150327 testcase.	vlefevre	2015-03-27	1	-0/+52
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9348 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Corrected test of the ternary values inex1 and inex2.	vlefevre	2015-03-27	1	-5/+8
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9347 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[src/sum.c] Do not consider the corrected sst for MPFR_COV_SET.	vlefevre	2015-03-19	1	-1/+3
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9344 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] More tests.	vlefevre	2015-03-19	1	-27/+35
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9343 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[src/sum.c] Added comments.	vlefevre	2015-03-19	1	-2/+2
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9342 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[src/sum.c] In the final rounding, forgot to handle the possible	vlefevre	2015-03-19	1	-0/+7
\| \| \| \| \| \| \| \| \| \| \| \|	exponent change in the negative case with corr == 2. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9341 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Improved the check3 tests, which were added in the	vlefevre	2015-03-17	1	-3/+3
\| \| \| \| \| \| \| \| \| \| \| \|	latest commit. They now trigger an assertion failure in sum.c. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9340 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] New tests.	vlefevre	2015-03-17	1	-0/+77
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9339 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Value coverage checking: tmd can be 2 only for MPFR_RNDN.	vlefevre	2015-03-17	1	-1/+1
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9338 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[src/sum.c] Better logging.	vlefevre	2015-03-16	1	-1/+3
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9337 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[src/sum.c] Bug fix: the sum_raw code was unnecessarily assuming	vlefevre	2015-03-16	1	-23/+18
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	too much; thus, removed too parameters, which can be very easily recomputed only when they make sense. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9336 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[doc/sum.txt] Added a new table concerning the correction term.	vlefevre	2015-03-12	2	-45/+116
\| \| \| \| \| \| \| \| \| \| \| \|	[src/sum.c] Updated rounding. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9335 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[src/sum.c] Added comments on the correction. Minor changes in the code.	vlefevre	2015-03-10	1	-6/+27
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9334 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[doc/sum.txt] Updated TODO.	vlefevre	2015-02-27	1	-2/+2
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9332 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[doc/sum.txt] Added TODO (since the description is a bit obsolete).	vlefevre	2015-02-27	1	-0/+7
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9331 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[src/sum.c] In the latest commit, the temporary area was split for	vlefevre	2015-02-27	1	-45/+22
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	the computations that determine the sign of the error term in case the TMD occurs, as these computations occur earlier in the code. This was actually not necessary since the content of the accumulator has already been copied to the final destination (only sign handling and rounding have not been done yet, but they entirely take place in the destination). As a consequence, let's revert the code related to this split. The actual changes concerning the merge of pre-rounding and final rounding can be seen with "svn diff -r 9328:9330". git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9330 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[src/sum.c]	vlefevre	2015-02-27	1	-120/+142
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* Removed any reference to the obsolete step numbering. * Merged pre-rounding and final rounding, simplifying the code. The correction value still needs to be fixed. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9329 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] Improved test portability.	vlefevre	2015-02-26	1	-10/+13
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9326 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] New tests.	vlefevre	2015-02-26	1	-30/+38
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9325 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[src/sum.c] Completed the implementation (but there's still a bug).	vlefevre	2015-02-26	1	-9/+16
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9324 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] New tests.	vlefevre	2015-02-26	1	-0/+76
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9323 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[src/sum.c] Improved the setting of sst (Step 8), using the fact	vlefevre	2015-02-25	1	-17/+11
\| \| \| \| \| \| \| \| \| \| \| \|	that the accumulator is 0 iff cancel = 0. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9322 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[src/sum.c] Bug fix: when determining the sticky bit, the search was	vlefevre	2015-02-25	1	-6/+7
\| \| \| \| \| \| \| \| \| \| \| \|	starting at the rounding bit instead of the bit following it. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9321 280ebfd0-de03-0410-8827-d642c229c3f4
* \|	[tests/tsum.c] New tests.	vlefevre	2015-02-25	1	-0/+76
\| \| \| \| \| \| \| \|	git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/new-sum@9320 280ebfd0-de03-0410-8827-d642c229c3f4