| Commit message (Expand) | Author | Age | Files | Lines |
* | [tools/mpfrlint] Added a test detecting code like ~0 (either an error | vlefevre | 2016-12-08 | 1 | -0/+15 |
* | [tools/mpfrlint] Correction for zsh change after v5.2 (POSIX compat: | vlefevre | 2016-12-06 | 1 | -0/+2 |
* | [tools/mpfrlint] Replaced "TZ=UTC" by "TZ=GMT0" for portability. | vlefevre | 2016-10-27 | 1 | -1/+4 |
* | [tools/mpfrlint] In "[[…]]" conditional expressions, replaced "=" | vlefevre | 2016-09-14 | 1 | -6/+6 |
* | [tools/mpfrlint] Update. | vlefevre | 2016-08-30 | 1 | -1/+1 |
* | [tools/mpfrlint] Added a comment. | vlefevre | 2016-08-04 | 1 | -0/+2 |
* | [tools/mpfrlint] Added a test detecting (unsafe) macros of the form: | vlefevre | 2016-08-04 | 1 | -0/+18 |
* | [tools/mpfrlint] Detect possibly wrong code with some C/GMP | vlefevre | 2016-07-31 | 1 | -0/+8 |
* | [tools/mpfrlint] | vlefevre | 2016-07-20 | 1 | -4/+10 |
* | [tools/mpfrlint] Update concerning GMP internals. | vlefevre | 2016-07-15 | 1 | -2/+5 |
* | Added tools/ck-clz_tab sh script to check the __clz_tab sizes | vlefevre | 2016-07-04 | 1 | -0/+2 |
* | Detect typography ambiguities in doc/mpfr.texi ASAP: to avoid errors | vlefevre | 2016-05-04 | 1 | -7/+1 |
* | [tools/mpfrlint] Fixed bug triggered when the command for err-if-output | vlefevre | 2016-04-09 | 1 | -1/+2 |
* | [tools/mpfrlint] Use err-if-output also for external checkers. | vlefevre | 2016-04-08 | 1 | -3/+3 |
* | [tools/mpfrlint] Better choice of a variable name. | vlefevre | 2016-04-08 | 1 | -3/+3 |
* | [tools/mpfrlint] | vlefevre | 2016-04-08 | 1 | -52/+171 |
* | [tools/mpfrlint] Detect some uses of "x != x" and "x == x". | vlefevre | 2016-03-01 | 1 | -0/+5 |
* | [tools/mpfrlint] Also detect the use of ASSERT_ALWAYS (forbidden). | vlefevre | 2016-02-29 | 1 | -2/+4 |
* | [tools/mpfrlint] For codespell, skip the openout.* files, which are | vlefevre | 2016-02-24 | 1 | -1/+4 |
* | [tools/mpfrlint] Avoid false positives in mp_exp_t check. | vlefevre | 2016-02-09 | 1 | -1/+1 |
* | Cleanup of memory allocation in the tests: | vlefevre | 2016-01-29 | 1 | -0/+3 |
* | [tools/mpfrlint] For the tests on the source files, ignore everything | vlefevre | 2015-10-29 | 1 | -1/+2 |
* | [tools/mpfrlint] Check a Texinfo rule (Section "Ending a Sentence") | vlefevre | 2015-07-02 | 1 | -0/+7 |
* | [tools/mpfrlint] Added mpfr_set_(inf|zero) tests on the sign. | vlefevre | 2015-01-21 | 1 | -0/+5 |
* | [tools/mpfrlint] Minor change concerning mp_limb_t. | vlefevre | 2014-11-13 | 1 | -1/+3 |
* | [tools/mpfrlint] Avoid false positives in the check of MPFR_LOG_MSG. | vlefevre | 2014-08-22 | 1 | -1/+1 |
* | [tools/mpfrlint] Improved check of MPFR_LOG_MSG. | vlefevre | 2014-08-05 | 1 | -2/+8 |
* | [tools/mpfrlint] Replaced {src,tests}/*.{c,h} by $srctests. | vlefevre | 2014-08-05 | 1 | -2/+2 |
* | [tools/ck-copyright-notice] Ignore src/mini-gmp.[ch] files. | vlefevre | 2014-07-10 | 1 | -1/+8 |
* | [tools/mpfrlint] Detect the possible use of forbidden macros in mpfr.h. | vlefevre | 2014-07-02 | 1 | -0/+9 |
* | [tools/mpfrlint] Check when simple mp_limb_t constants could be used | vlefevre | 2014-06-25 | 1 | -0/+3 |
* | [tools/mpfrlint] Run-time assertions concerning relations between | vlefevre | 2014-01-27 | 1 | -0/+6 |
* | [tools/mpfrlint] Constant checking in assertions. | vlefevre | 2014-01-24 | 1 | -2/+4 |
* | [src/*.c] Replaced mpfr_set_divby0 by the faster MPFR_SET_DIVBY0, | vlefevre | 2014-01-21 | 1 | -1/+5 |
* | [tools/mpfrlint] Update due to the mini-gmp support (r8753). | vlefevre | 2014-01-17 | 1 | -1/+1 |
* | [tools/mpfrlint] Use codespell if available. | vlefevre | 2014-01-07 | 1 | -0/+5 |
* | [tools/mpfrlint] Improved a test to avoid false positives. | vlefevre | 2013-06-06 | 1 | -1/+1 |
* | [tools/mpfrlint] Update for random_deviate. | vlefevre | 2013-06-01 | 1 | -1/+1 |
* | [tools/mpfrlint] Check for sed. | vlefevre | 2012-07-26 | 1 | -0/+1 |
* | [tools/mpfrlint] Check for grep, egrep and fgrep (see r8356 correction). | vlefevre | 2012-07-26 | 1 | -2/+9 |
* | [tools/mpfrlint] Update after r8141. | vlefevre | 2012-04-23 | 1 | -1/+1 |
* | MPFR_ASSERTD or MPFR_ASSERTN must be used for assertions, not ASSERT. | vlefevre | 2012-03-26 | 1 | -0/+3 |
* | [tools/mpfrlint] Correction after r7825. | vlefevre | 2011-09-10 | 1 | -1/+1 |
* | [tools/mpfrlint] Run tools/ck-mparam. | vlefevre | 2011-09-10 | 1 | -0/+1 |
* | Added tools/ck-copyright-notice sh script from mpfrlint (updated) to | vlefevre | 2011-09-09 | 1 | -15/+1 |
* | [tools/mpfrlint] More files under src and tests directories. | vlefevre | 2011-09-09 | 1 | -7/+9 |
* | [tools/mpfrlint] Change of r7515: any mpfr_clear_* can be mentioned. | vlefevre | 2011-03-07 | 1 | -1/+1 |
* | [tools/mpfrlint] Added a test to check that the snprintf function (C99) | vlefevre | 2011-03-04 | 1 | -0/+6 |
* | [tools/mpfrlint] The use of mpfr_overflow_p, etc. is allowed if | vlefevre | 2011-03-03 | 1 | -0/+1 |
* | [tools/mpfrlint] Detect the use of mp_ptr and mp_srcptr. | vlefevre | 2011-02-10 | 1 | -0/+2 |