summaryrefslogtreecommitdiff
path: root/isl_options.c
AgeCommit message (Expand)AuthorFilesLines
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