summaryrefslogtreecommitdiff
path: root/bound_test.sh
AgeCommit message (Expand)AuthorFilesLines
2011-07-09substitute EXEEXT in bound_test.sh and pip_test.shSven Verdoolaege1-33/+0
2010-06-12optionally (and by default) use bernstein expansion to compute boundsSven Verdoolaege1-1/+2
2010-05-14add isl_bound test applicationSven Verdoolaege1-0/+32