Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2011-02-21 | isl_pw_qpolynomial_bound: handle combination of wrapping and existentials | Sven Verdoolaege | 1 | -0/+2 |
2010-11-20 | Rename headers from isl_header.h to isl/header.h | Sven Verdoolaege | 1 | -1/+1 |
2010-06-12 | optionally (and by default) use bernstein expansion to compute bounds | Sven Verdoolaege | 1 | -3/+0 |
2010-06-12 | generalize isl_pw_qpolynomial_bound to isl_pw_qpolynomial_fold_bound | Sven Verdoolaege | 1 | -1/+2 |
2010-06-12 | extract out generic part of isl_pw_qpolynomial_bound_range | Sven Verdoolaege | 1 | -0/+20 |