summaryrefslogtreecommitdiff
path: root/tools
Commit message (Collapse)AuthorAgeFilesLines
* [tools/mpfrlint] Detect when the return value of fclose() or fflush()vlefevre2021-07-011-0/+6
| | | | | | is compared with -1 instead of EOF. git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14546 280ebfd0-de03-0410-8827-d642c229c3f4
* Punctuation (missing comma after "however").vlefevre2021-06-211-1/+1
| | | | git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14542 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Detect mpn_mul_n with identical 2nd and 3rd arguments,vlefevre2021-03-181-0/+8
| | | | | | which can be replaced by the faster mpn_sqr. git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14478 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] In the "+/- infinity" test (just added), also checkvlefevre2021-02-021-1/+2
| | | | | | the doc/algorithms.tex file. git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14315 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Added a test for the use of "plus/minus infinity"vlefevre2021-02-021-3/+8
| | | | | | instead of "positive/negative infinity". git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14314 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Detect the use of mpfr_set_emin / mpfr_set_emaxvlefevre2021-01-311-0/+6
| | | | | | when set_emin / set_emax could be used (checking failures). git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14286 280ebfd0-de03-0410-8827-d642c229c3f4
* [INSTALL,doc/update-faq,tools/announce-text] With wget, usevlefevre2021-01-261-1/+1
| | | | | | | | the --no-config option as the user's .wgetrc file may significantly change the behavior and possibly yield errors. See discussion at <https://lists.debian.org/debian-user/2021/01/msg01021.html>. git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14263 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2021 withvlefevre2021-01-0310-10/+10
| | | | | | | | perl -pi -e 's/ (\d{4}-)?(2020)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh. Removed 2020 from the example in the doc/README.dev file. git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14229 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Added a test to detect when mpfr_init or mpfr_inits isvlefevre2020-12-151-0/+11
| | | | | | | | used, i.e. when a variable is initialized with the default precision. This should not be done as the default precision could have been set to a large value by the user, so that this is a waste of memory. git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14191 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated URLs.vlefevre2020-09-102-2/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@14110 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/announce-text] For release candidates, automatically adapt thevlefevre2020-06-131-3/+12
| | | | | | flow of the text. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@14010 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/announce-text] Better line lengths for release candidates.vlefevre2020-06-131-3/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@14008 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/update-version] Improved a message.vlefevre2020-06-121-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13999 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Improved the __GMP_DECLSPEC test:vlefevre2020-06-121-2/+4
| | | | | | | * No longer exclude "src/mpfr.h". * Avoid false positives in "src/mpfr.h" and "src/mpfr-longlong.h". git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13995 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Use of codespell: better workaround to python ugliness.vlefevre2020-05-041-10/+15
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13906 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Workaround to Debian bug 953369 in libpython3.8-minimalvlefevre2020-03-101-2/+9
| | | | | | for the codespell invocation. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13759 280ebfd0-de03-0410-8827-d642c229c3f4
* added value -2 for option -d to generate random number with exponentzimmerma2020-02-291-1/+6
| | | | | | | | exactly e. Example: $ mfv5 -p113 -e16384 -d-2 -v mpfr_sin git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13734 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Detect the use of the non-underscore version of thevlefevre2020-02-271-0/+6
| | | | | | attribute names in mpfr.h (see README.dev). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13724 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/ck-copyright-notice] Added a note about the mpfr.pc.in file.vlefevre2020-01-081-0/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13653 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2020 withvlefevre2020-01-0810-10/+10
| | | | | | | | perl -pi -e 's/ (\d{4}-)?(2019)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh. Removed 2019 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13652 280ebfd0-de03-0410-8827-d642c229c3f4
* For Makefile.am and each one in SUBDIRS, added the .POSIX target tovlefevre2019-08-021-1/+7
| | | | | | | select the POSIX behavior (since we do not require GNU "make"). See: https://sympa.inria.fr/sympa/arc/mpfr/2019-08/msg00005.html git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13545 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/get_patches.sh] Fixed change in r13543 (the contents of PATCHESvlefevre2019-08-021-1/+2
| | | | | | should still be written as a list of words separated by a space). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13544 280ebfd0-de03-0410-8827-d642c229c3f4
* Fixed src/get_patches.c generation that was changed in r13542.vlefevre2019-08-021-1/+10
| | | | | | | | | | | | | * src/Makefile.am, tools/get_patches.sh: since get_patches.sh is no longer run from $(top_srcdir), the PATCHES absolute pathname now needs to be passed in argument. * src/Makefile.am: fixed the get_patches.c rule (the automatic variable $< was used with the meaning "first prerequisite" of GNU Make; an "exit 1" was missing, so that a failure did not abort "make" immediately). * tools/get_patches.sh: detect errors with "set -e". git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13543 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/ck-mparam] Updated comment to warn that the source tree that isvlefevre2019-07-311-1/+4
| | | | | | | | checked is the one that contains this script, not the one corresponding to the current working directory (the rule for the other scripts in the tools directory is currently different). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13540 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/ck-mparam] This script can now be run from any directory (whichvlefevre2019-07-311-6/+6
| | | | | | | | | must still be writable). This change has been done to be able to run it from the build directory, as if it is run via "make distcheck" and a dist-hook rule, then neither the top-level directory nor the tools directory is writable. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13539 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/ck-version-info] Minor corrections in a comment.vlefevre2019-04-291-2/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13484 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/ck-news] Changed the condition of the test for FIXME or TODO:vlefevre2019-04-291-1/+4
| | | | | | | | Previously it was disabled only for -dev versions. Now it is enabled only for releases and release candidates. This will allow snapshots, for which the NEWS file may still contain a FIXME or TODO. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13482 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/ck-version-info] Corrected check. Added explanations in comments.vlefevre2019-04-291-4/+17
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13481 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/ck-version-info] Better error message if $vinfo is not defined.vlefevre2019-04-291-0/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13480 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Lists of rounding modes: also check with thevlefevre2019-04-251-3/+6
| | | | | | "Rounding Modes" section in "MPFR Basics". git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13474 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Check that the lists of rounding modes invlefevre2019-04-251-0/+8
| | | | | | src/print_rnd_mode.c and doc/mpfr.texi are identical. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13472 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] For consistency, use "[ch]" instead of "{c,h}".vlefevre2019-02-041-6/+6
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13445 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Detect use of DBL_* macros instead of MPFR_DBL_* ones.vlefevre2019-02-041-0/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13444 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Improved message about division by zero.vlefevre2019-02-041-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13443 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/README.dev] Improved description of MPFR_ERRDIVZERO.vlefevre2019-02-041-0/+5
| | | | | | [tools/mpfrlint] Added a comment about division by zero. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13442 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Check that native FP division by zero is not used.vlefevre2019-02-041-0/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13441 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/announce-text] Corrected subject for Release Candidate > 1.vlefevre2019-01-281-1/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13420 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated the www.gnu.org URL's (http → https) on all the files with:vlefevre2019-01-0722-22/+22
| | | | | | | perl -pi -e 's,http://www.gnu.org/,https://www.gnu.org/,g' **/*(.) under zsh. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13372 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2019 withvlefevre2019-01-0110-10/+10
| | | | | | | | perl -pi -e 's/ (\d{4}-)?(2018)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh. Removed 2018 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13359 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Added a test for some avoidable use of gmp_printf.vlefevre2018-12-101-0/+5
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13328 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Update due to r13221.vlefevre2018-09-191-1/+6
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13222 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] For some tests, ignore extracted files (proven code).vlefevre2018-08-231-3/+6
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13017 280ebfd0-de03-0410-8827-d642c229c3f4
* Replaced "TZ=UTC" by "TZ=UTC0" for portability.vlefevre2018-08-111-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12985 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Updated a comment: more details about __GMP_DECLSPEC,vlefevre2018-08-051-1/+5
| | | | | | in particular those found in GMP's longlong.h file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12977 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Check that __GMP_DECLSPEC is not used by MPFR.vlefevre2018-08-051-0/+6
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12975 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Check that preprocessing directives have no spacesvlefevre2018-06-191-0/+5
| | | | | | before. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12790 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/coverage] added branch coveragezimmerma2018-06-081-3/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12765 280ebfd0-de03-0410-8827-d642c229c3f4
* codespell: simplified exceptions.vlefevre2018-06-041-7/+8
| | | | | | | | | * Added codespell.exclude file. * codespell.ignore: removed some words (particular cases). * tools/mpfrlint: use the codespell.exclude exclude file, and for the doc directory, replaced -S by an explicit list of files. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12754 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated mpfr.org URL's to use https (except in ChangeLog and NEWS).vlefevre2018-05-312-2/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12740 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/announce-text] http → https (for mpfr.org).vlefevre2018-05-301-10/+10
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12734 280ebfd0-de03-0410-8827-d642c229c3f4
View Lorry Controller Status