summaryrefslogtreecommitdiff
path: root/tools/mpfrlint
Commit message (Expand)AuthorAgeFilesLines
* [tools/mpfrlint] Check that __GMP_DECLSPEC is not used by MPFR.vlefevre2018-08-201-0/+10
* codespell: simplified exceptions.vlefevre2018-06-061-7/+8
* Added codespell.ignore file with simple words to ignore with codespellvlefevre2018-03-081-2/+3
* [doc/mpfr.texi] Corrected minimal GMP version.vlefevre2018-02-071-1/+4
* [INSTALL] Corrected minimal GMP version (thanks to David Edelsohn).vlefevre2018-02-071-0/+10
* [src/div_ui.c] Major rewrite to fix a mpfr_div_ui bug.vlefevre2018-01-311-1/+1
* [tools/mpfrlint] Do the tests_start_mpfr / tests_end_mpfr check only ifvlefevre2017-09-131-4/+6
* [tools/mpfrlint] Run tools/ck-version-info.vlefevre2017-08-281-0/+1
* [tools/mpfrlint] Updated a message due to the change in r11673.vlefevre2017-08-281-1/+1
* [tools] Clean up.vlefevre2017-08-281-3/+1
* [tools/mpfrlint] Detect the use of gmp_randseed* functions on mpfr_randsvlefevre2017-08-231-0/+7
* [tools/mpfrlint] Detect "mpfr-impl.h" inclusion by the test programs:vlefevre2017-08-011-0/+8
* [tools/mpfrlint] In the detection of reserved macro names, skip ERRvlefevre2017-05-171-5/+9
* [tools/mpfrlint] Added a comment about the definition of reservedvlefevre2017-05-151-0/+4
* [tools/mpfrlint] Detect the definition of reserved macro names.vlefevre2017-05-151-4/+18
* [tools/mpfrlint] Updated test to check that the snprintf function (C99)vlefevre2017-04-071-1/+2
* [tools/mpfrlint] Added a test to check that the usual test programsvlefevre2017-02-271-0/+17
* [tools/mpfrlint] Updated the "simple mp_limb_t constants" test.vlefevre2017-02-081-3/+2
* [tools/mpfrlint] Added a test detecting code like ~0 (either an errorvlefevre2016-12-081-0/+15
* [tools/mpfrlint] Correction for zsh change after v5.2 (POSIX compat:vlefevre2016-12-061-0/+2
* [tools/mpfrlint] Replaced "TZ=UTC" by "TZ=GMT0" for portability.vlefevre2016-10-271-1/+4
* [tools/mpfrlint] In "[[…]]" conditional expressions, replaced "="vlefevre2016-09-141-6/+6
* [tools/mpfrlint] Update.vlefevre2016-08-301-1/+1
* [tools/mpfrlint] Added a comment.vlefevre2016-08-041-0/+2
* [tools/mpfrlint] Added a test detecting (unsafe) macros of the form:vlefevre2016-08-041-0/+18
* [tools/mpfrlint] Detect possibly wrong code with some C/GMPvlefevre2016-07-311-0/+8
* [tools/mpfrlint]vlefevre2016-07-201-4/+10
* [tools/mpfrlint] Update concerning GMP internals.vlefevre2016-07-151-2/+5
* Added tools/ck-clz_tab sh script to check the __clz_tab sizesvlefevre2016-07-041-0/+2
* 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
* [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/mpfrlint] Avoid false positives in mp_exp_t check.vlefevre2016-02-091-1/+1
* Cleanup of memory allocation in the tests:vlefevre2016-01-291-0/+3
* [tools/mpfrlint] For the tests on the source files, ignore everythingvlefevre2015-10-291-1/+2
* [tools/mpfrlint] Check a Texinfo rule (Section "Ending a Sentence")vlefevre2015-07-021-0/+7
* [tools/mpfrlint] Added mpfr_set_(inf|zero) tests on the sign.vlefevre2015-01-211-0/+5
* [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-101-1/+8
* [tools/mpfrlint] Detect the possible use of forbidden macros in mpfr.h.vlefevre2014-07-021-0/+9
* [tools/mpfrlint] Check when simple mp_limb_t constants could be usedvlefevre2014-06-251-0/+3
* [tools/mpfrlint] Run-time assertions concerning relations betweenvlefevre2014-01-271-0/+6