summaryrefslogtreecommitdiff
path: root/isl_bound.c
AgeCommit message (Expand)AuthorFilesLines
2012-09-02relicense isl under the MIT licenseSven Verdoolaege1-1/+1
2011-11-13hide isl_options structureSven Verdoolaege1-0/+1
2011-09-04make isl_pw_* object live in a map spaceSven Verdoolaege1-6/+13
2011-09-03isl_pw_qpolynomial_fold_bound: explicitly project on parameter spaceSven Verdoolaege1-9/+4
2011-09-03isl_pw_qpolynomial_fold_bound: simplify construction of target spaceSven Verdoolaege1-6/+3
2011-09-03rename isl_dim to isl_spaceSven Verdoolaege1-28/+28
2011-03-16hide isl_ctx internalsSven Verdoolaege1-0/+1
2011-02-21isl_pw_qpolynomial_bound: handle combination of wrapping and existentialsSven Verdoolaege1-24/+20
2011-01-27merge isl_basic_set/isl_basic_map and isl_set/isl_mapSven Verdoolaege1-1/+1
2010-12-11isl_pw_qpolynomial_fold_bound: avoid access to freed memorySven Verdoolaege1-1/+2
2010-12-01hide isl_basic_set internalsSven Verdoolaege1-0/+1
2010-11-14isl_pw_qpolynomial_fold_bound: fix handling or zero input with wrapped domainSven Verdoolaege1-18/+11
2010-08-18add type to isl_{union_,}pw_qpolynomial_foldSven Verdoolaege1-8/+11
2010-08-18rename isl_pw_qpolynomial_fold_add to isl_pw_qpolynomial_fold_foldSven Verdoolaege1-6/+6
2010-08-05isl_pw_qpolynomial_bound: handle isl_pw_qpolynomials with wrapped domainsSven Verdoolaege1-2/+62
2010-07-31add support for union sets and relationsSven Verdoolaege1-0/+49
2010-06-12optionally (and by default) use bernstein expansion to compute boundsSven Verdoolaege1-1/+27
2010-06-12generalize isl_pw_qpolynomial_bound to isl_pw_qpolynomial_fold_boundSven Verdoolaege1-20/+42
2010-06-12extract out generic part of isl_pw_qpolynomial_bound_rangeSven Verdoolaege1-0/+179