Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2011-01-26 | rename "omega" transitive closure to "box" transitive closure | Sven Verdoolaege | 1 | -1/+1 |
2011-01-18 | isl_set_convex_hull: optionally use Fourier-Motzkin based algorithm | Sven Verdoolaege | 1 | -0/+8 |
2010-12-18 | isl_tab_basic_map_partial_lexopt: detect and exploit simple symmetries | Sven Verdoolaege | 1 | -0/+2 |
2010-11-20 | Rename headers from isl_header.h to isl/header.h | Sven Verdoolaege | 1 | -3/+3 |
2010-11-12 | isl_qpolynomial_bound_on_domain_bernstein: optionally triangulate domains | Sven Verdoolaege | 1 | -0/+3 |
2010-06-19 | add isl_version | Sven Verdoolaege | 1 | -0/+7 |
2010-06-12 | optionally (and by default) use bernstein expansion to compute bounds | Sven Verdoolaege | 1 | -0/+21 |
2010-05-15 | isl_options_parse: print help message | Sven Verdoolaege | 1 | -7/+11 |
2010-04-10 | isl_map_closure: optionally use Omega-like algorithm | Sven Verdoolaege | 1 | -0/+8 |
2009-12-16 | add copyright statements | Sven Verdoolaege | 1 | -0/+9 |
2009-10-21 | put options in a separate isl_options structure | Sven Verdoolaege | 1 | -0/+60 |