summaryrefslogtreecommitdiff
path: root/isl_options.c
AgeCommit message (Expand)AuthorFilesLines
2011-01-26rename "omega" transitive closure to "box" transitive closureSven Verdoolaege1-1/+1
2011-01-18isl_set_convex_hull: optionally use Fourier-Motzkin based algorithmSven Verdoolaege1-0/+8
2010-12-18isl_tab_basic_map_partial_lexopt: detect and exploit simple symmetriesSven Verdoolaege1-0/+2
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-3/+3
2010-11-12isl_qpolynomial_bound_on_domain_bernstein: optionally triangulate domainsSven Verdoolaege1-0/+3
2010-06-19add isl_versionSven Verdoolaege1-0/+7
2010-06-12optionally (and by default) use bernstein expansion to compute boundsSven Verdoolaege1-0/+21
2010-05-15isl_options_parse: print help messageSven Verdoolaege1-7/+11
2010-04-10isl_map_closure: optionally use Omega-like algorithmSven Verdoolaege1-0/+8
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-10-21put options in a separate isl_options structureSven Verdoolaege1-0/+60