Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2010-06-12 | optionally (and by default) use bernstein expansion to compute bounds | Sven Verdoolaege | 1 | -9/+0 |
2010-06-12 | extract out generic part of isl_pw_qpolynomial_bound_range | Sven Verdoolaege | 1 | -175/+39 |
2010-06-12 | isl_pw_qpolynomial_bound_range: also set exactness in special cases | Sven Verdoolaege | 1 | -0/+4 |
2010-06-12 | add isl_basic_set_full_compression | Sven Verdoolaege | 1 | -14/+7 |
2010-06-12 | isl_range.c: fix typo in comment | Sven Verdoolaege | 1 | -1/+1 |
2010-06-12 | isl_pw_qpolynomial_bound_range: fix removal of dims after compression | Sven Verdoolaege | 1 | -1/+2 |
2010-05-14 | add isl_pw_qpolynomial_bound_range | Sven Verdoolaege | 1 | -0/+627 |