summaryrefslogtreecommitdiff
path: root/bound_test.sh
AgeCommit message (Expand)AuthorFilesLines
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