summaryrefslogtreecommitdiff
path: root/tools/coverage
Commit message (Expand)AuthorAgeFilesLines
* [tools/coverage] added branch coveragePaul Zimmermann2018-06-081-3/+3
* tools/coverage should be executablePaul Zimmermann2018-04-181-0/+0
* fixed some tests that were assuming a fixed mpfr default exponent rangePaul Zimmermann2016-05-201-0/+0
* tools/coverage: Add copyright line.Andreas Enge2014-01-221-0/+17
* [tools] new directoryPaul Zimmermann2012-06-281-0/+105
* moved content of trunk/tools to miscAndreas Enge2009-02-211-53/+0
* [coverage] fixed typoPaul Zimmermann2008-11-051-1/+1
* modified coverage script to accept additional parameters,Andreas Enge2008-11-051-1/+20
* tools/README.coverage, tools/coverage: Add script and doc for test suite cove...Philippe Theveny2008-10-211-0/+34