summaryrefslogtreecommitdiff
path: root/isl_test.c
AgeCommit message (Expand)AuthorFilesLines
2009-05-06isl_map_convex_hull: handle unbounded, but pointed, case using wrappingSven Verdoolaege1-0/+1
2009-05-06add two more convex hull test casesSven Verdoolaege1-0/+2
2009-03-20add isl_set_coalesceSven Verdoolaege1-0/+80
2009-02-22isl_basic_map_affine_hull: fix search for integer pointsSven Verdoolaege1-0/+1
2009-02-15fix serious error in isl_mat_parameter_compressionSven Verdoolaege1-0/+49
2009-02-04isl_map_simplify.c: normalize_divs: fix use of variable compressionSven Verdoolaege1-0/+29
2009-02-03isl_map_simplify.c: normalize_divs: ensure enough existentials are availableSven Verdoolaege1-0/+29
2009-01-08normalize divs involved in equalitiesSven Verdoolaege1-0/+177
2008-12-25add isl_basic_set_read_from_strSven Verdoolaege1-0/+26
2008-12-19remove isl_ctx argument from functions accepting isl_dim argumentSven Verdoolaege1-1/+3
2008-12-14add isl_basic_set_add_constraint for adding manually constructed constraintsSven Verdoolaege1-0/+32
2008-12-02add gist testSven Verdoolaege1-0/+35
2008-10-13convex_hull: use elimination based convex hull for unbounded polyhedraSven Verdoolaege1-0/+3
2008-10-12isl_convex_hull: fix construction of initial facetSven Verdoolaege1-0/+1
2008-10-11add struct_ctx field to isl_set and isl_mapSven Verdoolaege1-13/+13
2008-09-16isl_{basic_,}set_read_from_file: allow user to specify number of parametersSven Verdoolaege1-8/+8
2008-09-04isl_basic_set_read_from_file: partial support for Omega style inputSven Verdoolaege1-0/+36
2008-08-25isl_basic_map_affine_hull: compute integer affine hullSven Verdoolaege1-2/+8
2008-08-25add trivial affine hull testSven Verdoolaege1-0/+27
2008-08-25add convex hull computationSven Verdoolaege1-0/+61
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-20 00:35:57 +0000