summaryrefslogtreecommitdiff
path: root/tools
Commit message (Collapse)AuthorAgeFilesLines
* [tools/mpfrlint] ASSERT and ASSERT_ALWAYS must not be used forvlefevre2016-02-291-0/+5
| | | | | | | assertion checking. (merge changesets r8123,8589,10147 from the trunk, only for mpfrlint) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@10148 280ebfd0-de03-0410-8827-d642c229c3f4
* In the tests, use tests_allocate and tests_free instead ofvlefevre2016-02-241-0/+2
| | | | | | | | | | | (*__gmp_allocate_func) / malloc and (*__gmp_free_func) / free. Note: This follows the discussion at https://sympa.inria.fr/sympa/arc/mpfr/2015-12/msg00055.html and should solve these problems under MS Windows (mingw32). (merged changesets r9891,10118 from the trunk, resolving conflicts to keep only the needed changes) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@10119 280ebfd0-de03-0410-8827-d642c229c3f4
* Added tools/ck-news Perl script to check the NEWS file.vlefevre2016-02-241-0/+48
| | | | | | | | | In Makefile.am: * run this script in dist-hook for "make dist"; * added this script to EXTRA_DIST as it is used in dist-hook. (merged changeset r10101 from the trunk) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@10102 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/update-version] Correction for new perl versions.vlefevre2016-02-231-1/+1
| | | | | | (merged changeset r10093 from the trunk) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@10094 280ebfd0-de03-0410-8827-d642c229c3f4
* Replacedvlefevre2016-02-041-1/+1
| | | | | | | | Contributed by the AriC and Caramel projects by Contributed by the AriC and Caramba projects git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@9943 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2016 withvlefevre2016-01-014-4/+4
| | | | | | | | | perl -pi -e 's/ (\d{4}-)?(2015)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh (the m4 and tools/mbench directories were not modified). Removed 2015 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@9781 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Check a Texinfo rule (Section "Ending a Sentence")vlefevre2015-07-021-0/+7
| | | | | | with common words that end with a capital letter. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@9603 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/ck-copyright-notice] Update from the trunk.vlefevre2015-05-211-8/+27
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@9442 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2015 withvlefevre2015-05-204-4/+4
| | | | | | | | | perl -pi -e 's/ (\d{4}-)?(2014)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh (the m4 and tools/mbench directories were not modified). Removed 2014 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@9403 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2014 withvlefevre2014-01-034-4/+4
| | | | | | | | | | perl -pi -e 's/ (\d{4}-)?(2013)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh, reverting the ChangeLog file (the m4 and tools/mbench directories were not modified). Removed 2013 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@8724 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/ck-copyright-notice] Update for copyright year ranges.vlefevre2013-05-301-1/+1
| | | | | | (merged changeset r8544 from the trunk) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@8545 280ebfd0-de03-0410-8827-d642c229c3f4
* Use copyright year ranges, followingvlefevre2013-05-3022-22/+22
| | | | | | http://www.gnu.org/prep/maintain/maintain.html#Copyright-Notices git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@8541 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2013 withvlefevre2013-03-084-4/+4
| | | | | | | | | perl -pi -e 's/2012 Free Software/2012, 2013 Free Software/' **/*(^/) under zsh, reverting the ChangeLog file (the m4 and tools/mbench directories were not modified). Removed 2012 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@8465 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/coverage] Added a comment about the non-reproducibility of thevlefevre2012-07-051-2/+7
| | | | | | coverage results. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@8330 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/coverage] Some changes from the trunk (r8263,8275,8277,8305),vlefevre2012-07-031-4/+14
| | | | | | in particular detailed coverage. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@8306 280ebfd0-de03-0410-8827-d642c229c3f4
* Changed Arenaire to AriC with:vlefevre2012-01-101-1/+1
| | | | | | | perl -pi -e 's/Contributed by the Arenaire/Contributed by the AriC/' **/*(^/) under zsh, reverting the ChangeLog file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@7995 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2012 withvlefevre2012-01-104-4/+4
| | | | | | | | | perl -pi -e 's/2011 Free Software/2011, 2012 Free Software/' **/*(^/) under zsh, reverting the ChangeLog file (the m4 and tools/mbench directories were not modified). Removed 2011 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@7987 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Correction after r7825.vlefevre2011-09-101-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7826 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Run tools/ck-mparam.vlefevre2011-09-101-0/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7825 280ebfd0-de03-0410-8827-d642c229c3f4
* Added tools/ck-mparam sh script to check the mparam.h filesvlefevre2011-09-101-0/+31
| | | | | | (gcc is needed). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7824 280ebfd0-de03-0410-8827-d642c229c3f4
* [Makefile.am] Added tools/ck-copyright-notice to EXTRA_DIST as it isvlefevre2011-09-091-0/+10
| | | | | | | | | used in dist-hook. [tools/ck-copyright-notice] Added copyright notice (since this file is distributed in the tarballs). Note: the first year is 2008 as a part of the code comes from r5370 in mpfrlint. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7817 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/ck-copyright-notice] Skip src/mpfr-longlong.h as this filevlefevre2011-09-091-0/+4
| | | | | | (which comes from GMP) has a specific copyright notice. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7816 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/ck-copyright-notice] Check that the first copyright year forvlefevre2011-09-091-3/+10
| | | | | | the mparam.h files is 2005. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7814 280ebfd0-de03-0410-8827-d642c229c3f4
* Added tools/ck-copyright-notice sh script from mpfrlint (updated) tovlefevre2011-09-092-15/+34
| | | | | | | | | check that copyright notices exist and appear to be correct. Updated tools/mpfrlint to run tools/ck-copyright-notice instead of its old test. In Makefile.am, run tools/ck-copyright-notice in dist-hook for "make dist". git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7812 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] More files under src and tests directories.vlefevre2011-09-091-7/+9
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7811 280ebfd0-de03-0410-8827-d642c229c3f4
* [nightly-test] changed -pedantic-errors into -pedanticzimmerma2011-07-281-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7753 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/ck-version-info] Check DLL version in LIBMPFR_LDFLAGS line fromvlefevre2011-06-281-0/+15
| | | | | | configure.ac (patch by Stefan Graff, with minor changes). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7729 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/ck-version-info] 2 corrections:vlefevre2011-06-261-2/+2
| | | | | | | | | * update due to the change of the libmpfr_la_LDFLAGS line in r7724; * to support the CRLF end-of-line sometimes used under MS-Windows (perl should normally take care of that, but Windows software is not always consistent). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7726 280ebfd0-de03-0410-8827-d642c229c3f4
* [cfarm.sh] complete tests with mpfr-3.0.1-rc1zimmerma2011-03-211-9/+16
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7595 280ebfd0-de03-0410-8827-d642c229c3f4
* [cfarm.sh] shell script to test MPFR on the GCC Compile Farmzimmerma2011-03-201-0/+53
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7589 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Change of r7515: any mpfr_clear_* can be mentioned.vlefevre2011-03-071-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7538 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Added a test to check that the snprintf function (C99)vlefevre2011-03-041-0/+6
| | | | | | is not used. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7526 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] The use of mpfr_overflow_p, etc. is allowed ifvlefevre2011-03-031-0/+1
| | | | | | | | mpfr_clear_flags is mentioned (useful for checking purpose at the end of a function, but this needs an explicit mpfr_clear_flags; otherwise MPFR_BLOCK should still be used). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7515 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Detect the use of mp_ptr and mp_srcptr.vlefevre2011-02-101-0/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7460 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Update the check for mpfr_printf-like functionsvlefevre2011-01-211-6/+4
| | | | | | in the tests. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7413 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] tests/tvalist.c can use mpfr_printf-like functions.vlefevre2011-01-171-0/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7399 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2011 withvlefevre2011-01-172-2/+2
| | | | | | | | perl -pi -e 's/2010 Free Software/2010, 2011 Free Software/' **/*(^/) under zsh, reverting the ChangeLog file and the m4 and tools/mbench directories. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7389 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/coverage] Update from Patrick.vlefevre2011-01-141-10/+28
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7353 280ebfd0-de03-0410-8827-d642c229c3f4
* another patch from Patrick Pelissier to test get_ld (with export of data used)zimmerma2011-01-063-3/+21
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7314 280ebfd0-de03-0410-8827-d642c229c3f4
* patch from Patrick Pelissier to use clock_getime instead of rdtsczimmerma2011-01-062-2/+20
| | | | | | | | | | (use "make rt" instead of "make") References: http://stackoverflow.com/questions/3388134/rdtsc-accuracy-across-cpu-cores http://en.wikipedia.org/wiki/Time_Stamp_Counter git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7313 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mbench/Makefile] Update due to source reorganization (r7087):vlefevre2010-12-191-3/+3
| | | | | | patch from Patrick Pelissier. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7310 280ebfd0-de03-0410-8827-d642c229c3f4
* Added MPFR_TMP_LIMBS_ALLOC macro and updated the source to use it.vlefevre2010-12-171-0/+3
| | | | | | tools/mpfrlint: check its use instead of MPFR_TMP_ALLOC. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7300 280ebfd0-de03-0410-8827-d642c229c3f4
* Added metaMPFR in the tools directory of MPFR.schevill2010-11-303-0/+1467
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7274 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Support BSD sed.vlefevre2010-11-231-5/+18
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7271 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Detect the use of __mpfr_struct structure membersvlefevre2010-11-191-0/+3
| | | | | | in .c files. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7270 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/nightly-test] Added a comment about the use of -pedantic-errors.vlefevre2010-11-121-0/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7263 280ebfd0-de03-0410-8827-d642c229c3f4
* [nightly-test] added -Wno-sign-compare for g++, to avoid spurious warningszimmerma2010-10-101-1/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7194 280ebfd0-de03-0410-8827-d642c229c3f4
* [nightly-test] do not use -Wmissing-prototypes for g++zimmerma2010-10-101-4/+12
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7193 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Added a test:vlefevre2010-09-271-0/+4
| | | | | | Constant checking should use MPFR_ASSERTN, not MPFR_ASSERTD. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7174 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Check for mpfr_printf-like functions in the tests.vlefevre2010-09-151-0/+11
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7145 280ebfd0-de03-0410-8827-d642c229c3f4
View Lorry Controller Status