summaryrefslogtreecommitdiff
path: root/tools/mpfrlint
Commit message (Expand)AuthorAgeFilesLines
* [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
* [tools/mpfrlint] Constant checking in assertions.vlefevre2014-01-241-2/+4
* [src/*.c] Replaced mpfr_set_divby0 by the faster MPFR_SET_DIVBY0,vlefevre2014-01-211-1/+5
* [tools/mpfrlint] Update due to the mini-gmp support (r8753).vlefevre2014-01-171-1/+1
* [tools/mpfrlint] Use codespell if available.vlefevre2014-01-071-0/+5
* [tools/mpfrlint] Improved a test to avoid false positives.vlefevre2013-06-061-1/+1
* [tools/mpfrlint] Update for random_deviate.vlefevre2013-06-011-1/+1
* [tools/mpfrlint] Check for sed.vlefevre2012-07-261-0/+1
* [tools/mpfrlint] Check for grep, egrep and fgrep (see r8356 correction).vlefevre2012-07-261-2/+9
* [tools/mpfrlint] Update after r8141.vlefevre2012-04-231-1/+1
* MPFR_ASSERTD or MPFR_ASSERTN must be used for assertions, not ASSERT.vlefevre2012-03-261-0/+3
* [tools/mpfrlint] Correction after r7825.vlefevre2011-09-101-1/+1
* [tools/mpfrlint] Run tools/ck-mparam.vlefevre2011-09-101-0/+1
* Added tools/ck-copyright-notice sh script from mpfrlint (updated) tovlefevre2011-09-091-15/+1
* [tools/mpfrlint] More files under src and tests directories.vlefevre2011-09-091-7/+9
* [tools/mpfrlint] Change of r7515: any mpfr_clear_* can be mentioned.vlefevre2011-03-071-1/+1
* [tools/mpfrlint] Added a test to check that the snprintf function (C99)vlefevre2011-03-041-0/+6
* [tools/mpfrlint] The use of mpfr_overflow_p, etc. is allowed ifvlefevre2011-03-031-0/+1
* [tools/mpfrlint] Detect the use of mp_ptr and mp_srcptr.vlefevre2011-02-101-0/+2