isl_basic_map_simplify: eliminate known divs that appear with unit coefficient
[platform/upstream/isl.git] / test_inputs /
2011-02-05 Sven VerdoolaegeMerge branch 'maint'
2011-02-05 Sven Verdoolaegeadd test
2010-11-17 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: add all equalities...
2010-05-14 Sven Verdoolaegeadd isl_bound test application
2010-03-23 Sven Verdoolaegeisl_convex_hull.c: simplify computation of initial...
2010-03-10 Sven Verdoolaegeadd some pip tests from the piplib distribution
2009-05-06 Sven Verdoolaegeisl_map_convex_hull: handle unbounded, but pointed...
2009-05-06 Sven Verdoolaegeadd two more convex hull test cases
2009-02-22 Sven Verdoolaegeisl_basic_map_affine_hull: fix search for integer points
2008-12-25 Sven Verdoolaegeadd isl_basic_set_read_from_str
2008-12-02 Sven Verdoolaegeadd gist test
2008-10-13 Sven Verdoolaegeconvex_hull: use elimination based convex hull for...
2008-10-12 Sven Verdoolaegeisl_convex_hull: fix construction of initial facet
2008-09-04 Sven Verdoolaegeisl_basic_set_read_from_file: partial support for Omega...
2008-08-25 Sven Verdoolaegeisl_basic_map_affine_hull: compute integer affine hull
2008-08-25 Sven Verdoolaegeadd trivial affine hull test
2008-08-25 Sven Verdoolaegeadd convex hull computation