summaryrefslogtreecommitdiff
path: root/test_inputs
AgeCommit message (Expand)AuthorFilesLines
2011-02-05add testSven Verdoolaege1-0/+17
2010-11-17isl_tab_basic_map_partial_lexopt: add all equalities before pivotingSven Verdoolaege1-0/+15
2010-05-14add isl_bound test applicationSven Verdoolaege24-0/+24
2010-03-23isl_convex_hull.c: simplify computation of initial facet constraintSven Verdoolaege1-0/+66
2010-03-10add some pip tests from the piplib distributionSven Verdoolaege13-0/+190
2009-05-06isl_map_convex_hull: handle unbounded, but pointed, case using wrappingSven Verdoolaege1-0/+14
2009-05-06add two more convex hull test casesSven Verdoolaege2-0/+29
2009-02-22isl_basic_map_affine_hull: fix search for integer pointsSven Verdoolaege1-0/+7
2008-12-25add isl_basic_set_read_from_strSven Verdoolaege1-0/+1
2008-12-02add gist testSven Verdoolaege1-0/+14
2008-10-13convex_hull: use elimination based convex hull for unbounded polyhedraSven Verdoolaege3-0/+45
2008-10-12isl_convex_hull: fix construction of initial facetSven Verdoolaege1-0/+24
2008-09-04isl_basic_set_read_from_file: partial support for Omega style inputSven Verdoolaege2-0/+6
2008-08-25isl_basic_map_affine_hull: compute integer affine hullSven Verdoolaege1-0/+9
2008-08-25add trivial affine hull testSven Verdoolaege1-0/+9
2008-08-25add convex hull computationSven Verdoolaege8-0/+109