Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2009-05-06 | isl_map_convex_hull: handle unbounded, but pointed, case using wrapping | Sven Verdoolaege | 1 | -0/+14 |
2009-05-06 | add two more convex hull test cases | Sven Verdoolaege | 2 | -0/+29 |
2009-02-22 | isl_basic_map_affine_hull: fix search for integer points | Sven Verdoolaege | 1 | -0/+7 |
2008-12-25 | add isl_basic_set_read_from_str | Sven Verdoolaege | 1 | -0/+1 |
2008-12-02 | add gist test | Sven Verdoolaege | 1 | -0/+14 |
2008-10-13 | convex_hull: use elimination based convex hull for unbounded polyhedra | Sven Verdoolaege | 3 | -0/+45 |
2008-10-12 | isl_convex_hull: fix construction of initial facet | Sven Verdoolaege | 1 | -0/+24 |
2008-09-04 | isl_basic_set_read_from_file: partial support for Omega style input | Sven Verdoolaege | 2 | -0/+6 |
2008-08-25 | isl_basic_map_affine_hull: compute integer affine hull | Sven Verdoolaege | 1 | -0/+9 |
2008-08-25 | add trivial affine hull test | Sven Verdoolaege | 1 | -0/+9 |
2008-08-25 | add convex hull computation | Sven Verdoolaege | 8 | -0/+109 |