summaryrefslogtreecommitdiff
path: root/tools
Commit message (Collapse)AuthorAgeFilesLines
...
* added -Wlogical-opzimmerma2013-11-151-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8713 280ebfd0-de03-0410-8827-d642c229c3f4
* Applied patch 3 by Ondřej Bílka with some manual corrections,vlefevre2013-07-221-1/+1
| | | | | | | fixing typos: https://sympa.inria.fr/sympa/arc/mpfr/2013-07/msg00016.html git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8621 280ebfd0-de03-0410-8827-d642c229c3f4
* Applied patch 1 by Ondřej Bílka, fixing common typos:vlefevre2013-07-222-2/+2
| | | | | | https://sympa.inria.fr/sympa/arc/mpfr/2013-07/msg00014.html git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8619 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Improved a test to avoid false positives.vlefevre2013-06-061-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8589 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Update for random_deviate.vlefevre2013-06-011-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8565 280ebfd0-de03-0410-8827-d642c229c3f4
* Removed obsolete tools/update-patchv script. Use update-version instead.vlefevre2013-05-301-46/+0
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8547 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/ck-copyright-notice] Update for copyright year ranges.vlefevre2013-05-301-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8544 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/trunk@8540 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/announce-text] Added short text about what GNU MPFR is.vlefevre2013-03-181-2/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8493 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/announce-text] Added text about how to verify the signatures.vlefevre2013-03-111-1/+14
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8474 280ebfd0-de03-0410-8827-d642c229c3f4
* Copyright notice update: added 2013 withvlefevre2013-01-034-4/+4
| | | | | | | | | perl -pi -e 's/2012 Free Software/2012, 2013 Free Software/' **/*(^/) under zsh, reverting the ChangeLog file and the m4 directory (the tools/mbench directory was not modified). Removed 2012 from the example in the doc/README.dev file. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8447 280ebfd0-de03-0410-8827-d642c229c3f4
* [nightly-test] modified so that decimal floats are tested (with gcc)zimmerma2012-09-121-2/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8418 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Check for sed.vlefevre2012-07-261-0/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8359 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Check for grep, egrep and fgrep (see r8356 correction).vlefevre2012-07-261-2/+9
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8358 280ebfd0-de03-0410-8827-d642c229c3f4
* Added tools/announce-text sh script to be run before publishing anvlefevre2012-07-101-0/+174
| | | | | | | | announce of a new GNU MPFR release (it does some checking, then it outputs the announce text to stdout). Mention this script in "doc/README.dev". git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8346 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/coverage] unset MPFR_* environment variables in a better way.vlefevre2012-07-051-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8333 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/coverage] unset MPFR_* environment variables in a better way.vlefevre2012-07-051-4/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8332 280ebfd0-de03-0410-8827-d642c229c3f4
* [coverage] unset MPFR_* environment variables to get reproducible resultszimmerma2012-07-051-0/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8331 280ebfd0-de03-0410-8827-d642c229c3f4
* [coverage] unset GMP_CHECK_RANDOMIZE so that the coverage test is deterministiczimmerma2012-07-041-0/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8324 280ebfd0-de03-0410-8827-d642c229c3f4
* added new function mpfr_round_nearest_away() as discussed during the June 2012zimmerma2012-07-031-3/+3
| | | | | | | workshop git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8308 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/coverage] Minor update, just in case...vlefevre2012-07-031-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8305 280ebfd0-de03-0410-8827-d642c229c3f4
* Added coverage tune (from a patch by Patrick).vlefevre2012-06-281-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8291 280ebfd0-de03-0410-8827-d642c229c3f4
* [coverage] added instructions how to use this scriptzimmerma2012-06-271-0/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8277 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/coverage] Detailed coverage (from a patch by Patrick).vlefevre2012-06-271-1/+6
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8275 280ebfd0-de03-0410-8827-d642c229c3f4
* Added configure option --enable-assert=none to avoid checking anyvlefevre2012-06-261-1/+1
| | | | | | assertion (this is based on a patch by Patrick). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8271 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/coverage] Correction by Patrick.vlefevre2012-06-261-2/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8263 280ebfd0-de03-0410-8827-d642c229c3f4
* * Other corrections (essentially bad or missing declarations) in metaMPFR.schevill2012-05-141-12/+16
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8213 280ebfd0-de03-0410-8827-d642c229c3f4
* * Corrected small errors.schevill2012-05-101-4/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8211 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated URL's of mailing-list archives/messages in all filesvlefevre2012-05-031-1/+1
| | | | | | (except ChangeLog, as it is generated). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8173 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/mpfrlint] Update after r8141.vlefevre2012-04-231-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8147 280ebfd0-de03-0410-8827-d642c229c3f4
* added new function mpfr_fmodquozimmerma2012-03-261-2/+6
| | | | | | | (cf https://sympa.inria.fr/sympa/arc/mpfr/2012-03/msg00020.html) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8129 280ebfd0-de03-0410-8827-d642c229c3f4
* MPFR_ASSERTD or MPFR_ASSERTN must be used for assertions, not ASSERT.vlefevre2012-03-261-0/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8123 280ebfd0-de03-0410-8827-d642c229c3f4
* [src/mparam_h.in] better recognition of AMD64 systemszimmerma2012-03-201-12/+21
| | | | | | | [tools/cfarm.sh] updated git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8118 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. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7993 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/trunk@7986 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/cfarm.sh] updated for MPFR 3.1.0 rc2zimmerma2011-09-211-3/+9
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7876 280ebfd0-de03-0410-8827-d642c229c3f4
* [cfarm.sh] updated for MPFR 3.1.0-rc1 (with GMP 5.0.2)zimmerma2011-09-201-43/+45
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7873 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
View Lorry Controller Status