summaryrefslogtreecommitdiff
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
* Detect typography ambiguities in doc/mpfr.texi ASAP: to avoid errorsvlefevre2016-05-041-7/+1
* [tools/mpfrlint] Fixed bug triggered when the command for err-if-outputvlefevre2016-04-091-1/+2
* [tools/mpfrlint] Use err-if-output also for external checkers.vlefevre2016-04-081-3/+3
* [tools/mpfrlint] Better choice of a variable name.vlefevre2016-04-081-3/+3
* [tools/mpfrlint]vlefevre2016-04-081-52/+171
* [tools/mpfrlint] Detect some uses of "x != x" and "x == x".vlefevre2016-03-011-0/+5
* updatedzimmerma2016-03-011-7/+6
* updated with mpfr-3.1.4-rc2zimmerma2016-03-011-49/+50
* [tools/mpfrlint] Also detect the use of ASSERT_ALWAYS (forbidden).vlefevre2016-02-291-2/+4
* [tools/mpfrlint] For codespell, skip the openout.* files, which arevlefevre2016-02-241-1/+4
* [tools/announce-text] Check the files on the mpfr.org web server.vlefevre2016-02-241-7/+25
* [tools/announce-text] Added a comment.vlefevre2016-02-241-0/+2
* [tools/announce-text] Update for release candidates.vlefevre2016-02-241-16/+56
* Added tools/ck-news Perl script to check the NEWS file.vlefevre2016-02-241-0/+48
* [tools/announce-text] Take into account $vers setting.vlefevre2016-02-241-1/+1
* [tools/announce-text] Replaced MD5 by SHA256.vlefevre2016-02-241-7/+7
* [tools/update-version] Correction for new perl versions.vlefevre2016-02-231-1/+1
* Removed the tools/build-multi script (already in ^/misc).vlefevre2016-02-221-56/+0
* Added tools/build-multi zsh script to build and install multiple MPFRvlefevre2016-02-221-0/+56
* [tools/mpfrlint] Avoid false positives in mp_exp_t check.vlefevre2016-02-091-1/+1
* Replacedvlefevre2016-02-043-3/+3
* Cleanup of memory allocation in the tests:vlefevre2016-01-291-0/+3
* [tools/nightly-test] Corrected tests.vlefevre2016-01-191-3/+3
* switch to bash and add --enable-decimal-floatzimmerma2016-01-181-2/+4
* adapted to 3- and 4-argument functions (using patch from Patrick Pelissier)zimmerma2016-01-131-19/+129
* speedup in mpfr_fma and mpfr_fmszimmerma2016-01-101-1/+31
* mpfrbench: use clock() when getrusage() is not availablezimmerma2016-01-051-3/+3
* Copyright notice update: added 2016 withvlefevre2016-01-017-7/+7
* [tools/mpfrlint] For the tests on the source files, ignore everythingvlefevre2015-10-291-1/+2
* [tools/ck-copyright-notice] Check src/mparam_h.in instead of thevlefevre2015-09-041-0/+2
* distribute the mpfrbench READMEzimmerma2015-09-041-0/+2
* add a README for mpfrbenchzimmerma2015-09-041-0/+34
* [tools/build-patch] Rebuild the mpfr.info file if mpfr.texi has beenvlefevre2015-07-021-0/+5
* [tools/mpfrlint] Check a Texinfo rule (Section "Ending a Sentence")vlefevre2015-07-021-0/+7
* [tools/announce-text] Update due to recent InriaForge upgrade.vlefevre2015-06-191-2/+3
* [tools/nightly-test] Run "make check" with VERBOSE=1 in order to havevlefevre2015-05-051-1/+2
* [tools/ck-copyright-notice] Bug fix and improvements.vlefevre2015-03-201-6/+8
* [tools/ck-copyright-notice] More checks.vlefevre2015-03-201-8/+22
* Copyright notice update: added 2015 withvlefevre2015-02-137-7/+7
* [tools/mpfrlint] Added mpfr_set_(inf|zero) tests on the sign.vlefevre2015-01-211-0/+5
* [tools/mbench/timp.h] Spelling mistake in a comment.vlefevre2015-01-211-1/+1
* [tools/mpfrlint] Minor change concerning mp_limb_t.vlefevre2014-11-131-1/+3
* [tools/mpfrlint] Avoid false positives in the check of MPFR_LOG_MSG.vlefevre2014-08-221-1/+1
* [tools/mpfrlint] Improved check of MPFR_LOG_MSG.vlefevre2014-08-051-2/+8
* [tools/mpfrlint] Replaced {src,tests}/*.{c,h} by $srctests.vlefevre2014-08-051-2/+2
* [tools/ck-copyright-notice] Ignore src/mini-gmp.[ch] files.vlefevre2014-07-102-1/+11
* [tools/mpfrlint] Detect the possible use of forbidden macros in mpfr.h.vlefevre2014-07-021-0/+9
* [tools/build-patch]vlefevre2014-06-301-22/+39
* [tools/build-patch] Correction if MPFR_CURRENT_DIR is set: to make surevlefevre2014-06-301-5/+5
* Added tools/build-patch zsh script to transform a raw patch into a patchvlefevre2014-06-301-0/+74