summaryrefslogtreecommitdiff
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
* Synchronize with r1286 from trunk.Philippe Theveny2012-10-291-0/+105
* moved content of trunk/tools to miscAndreas Enge2009-02-2135-1405/+0
* Update pipol directory.Philippe Theveny2009-02-0415-37/+205
* tools/pipol/rc.ia64-linux-fedora, tools/pipol/rc.fedora, tools/pipol/rc.mac, ...Philippe Theveny2008-12-036-36/+167
* added my programs for "symbolic computation", used to generateAndreas Enge2008-11-1410-0/+695
* added info on lcov configuration file, thanks to PTAndreas Enge2008-11-071-2/+8
* [coverage] fixed typoPaul Zimmermann2008-11-051-1/+1
* modified coverage script to accept additional parameters,Andreas Enge2008-11-052-2/+21
* tools/README.coverage, tools/coverage: Add script and doc for test suite cove...Philippe Theveny2008-10-212-0/+43
* README.pipol: Improve documentation.Philippe Theveny2008-10-031-5/+7
* pipol/scripts/compile-svn.sh: workaround in order not to split CFLAGS options...Philippe Theveny2008-10-032-10/+24
* Add a tools/ directory that contains helper scripts. For the time being, cont...Philippe Theveny2008-09-188-0/+327