summaryrefslogtreecommitdiff
path: root/bound.c
AgeCommit message (Expand)AuthorFilesLines
2011-11-13hide isl_options structureSven Verdoolaege1-0/+1
2011-11-13introduce isl_args structure that constains isl_arg list and size of optionsSven Verdoolaege1-6/+6
2011-09-03bound.c: explicitly convert context into parameter setSven Verdoolaege1-3/+2
2011-06-25rename isl_qpolynomial_is_equal to isl_qpolynomial_plain_is_equalSven Verdoolaege1-1/+1
2011-06-23Merge branch 'maint'Sven Verdoolaege1-0/+3
2011-06-23bound.c: verify_point: make sure spaces of compared qpolynomials are the sameSven Verdoolaege1-0/+3
2011-05-25bound.c: remove unused variableSven Verdoolaege1-1/+0
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-1/+1
2010-11-08isl_bound: accept folds as inputSven Verdoolaege1-3/+12
2010-11-08isl_bound: use isl_pw_qpolynomial_folds internallySven Verdoolaege1-20/+23
2010-10-26rename isl_map_remove to isl_map_remove_dimsSven Verdoolaege1-1/+1
2010-06-12optionally (and by default) use bernstein expansion to compute boundsSven Verdoolaege1-1/+1
2010-06-12isl_bound: plug memory leakSven Verdoolaege1-1/+0
2010-05-30isl_ctx: keep track of user optionsSven Verdoolaege1-2/+1
2010-05-15isl_options_parse: print help messageSven Verdoolaege1-4/+4
2010-05-14add isl_bound test applicationSven Verdoolaege1-0/+266
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-04 13:32:18 +0000