summaryrefslogtreecommitdiff
path: root/tools/coverage
Commit message (Collapse)AuthorAgeFilesLines
* [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
* [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
* [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
* Source reorganization. In short:vlefevre2010-08-171-0/+77
* Added directories and moved related files into them: - src for the MPFR source files (to build the library). - doc for documentation files (except INSTALL, README...). - tools for various tools (scripts) and mbench. - tune for tuneup-related source files. - other for other source files (not distributed in tarballs). Existing directories: - tests for the source files of the test suite (make check). - examples for examples. - m4 for m4 files. * Renamed configure.in to configure.ac. * Added/updated Makefile.am files where needed. * Updated acinclude.m4 and configure.ac (AC_CONFIG_FILES line). * Updated the documentation (INSTALL, README, doc/README.dev and doc/mpfr.texi). * Updated NEWS and TODO. * Updated the scripts now in tools. The following script was used: #!/usr/bin/env zsh svn mkdir doc other src tools tune svn mv ${${(M)$(sed -n '/libmpfr_la_SOURCES/,/[^\]$/p' \ Makefile.am):#*.[ch]}:#get_patches.c} mparam_h.in \ round_raw_generic.c jyn_asympt.c src svn mv mbench check_inits_clears coverage get_patches.sh mpfrlint \ nightly-test update-patchv update-version tools svn mv bidimensional_sample.c speed.c tuneup.c tune svn mv *.{c,h} other svn mv FAQ.html README.dev algorithm* faq.xsl fdl.texi mpfr.texi \ update-faq doc svn mv configure.in configure.ac svn cp Makefile.am src/Makefile.am svn rm replace_all [Modifying some files, see above] svn add doc/Makefile.am svn add tune/Makefile.am git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7087 280ebfd0-de03-0410-8827-d642c229c3f4