Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
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 |