Merge branch 'maint'
[platform/upstream/isl.git] / include / isl / options.h
2011-02-05 Sven VerdoolaegeMerge branch 'maint'
2011-01-26 Sven Verdoolaegerename "omega" transitive closure to "box" transitive...
2011-01-22 Sven VerdoolaegeMerge branch 'maint'
2011-01-18 Sven Verdoolaegeisl_set_convex_hull: optionally use Fourier-Motzkin...
2010-12-18 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: detect and exploit...
2010-11-20 Sven VerdoolaegeRename headers from isl_header.h to isl/header.h