Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2011-07-09 | substitute EXEEXT in bound_test.sh and pip_test.sh | Sven Verdoolaege | 1 | -33/+0 |
2010-06-12 | optionally (and by default) use bernstein expansion to compute bounds | Sven Verdoolaege | 1 | -1/+2 |
2010-05-14 | add isl_bound test application | Sven Verdoolaege | 1 | -0/+32 |