isl_map_convex_hull: handle non full-dimensional pairs of basic sets
[platform/upstream/isl.git] / isl_test.c
2010-04-19 Sven Verdoolaegeisl_map_convex_hull: handle non full-dimensional pairs...
2010-04-15 Sven Verdoolaegeisl_map_coalesce: make sure result still contains set...
2010-04-15 Sven Verdoolaegeisl_map_transitive_closure: use Floyd-Warshall on disjo...
2010-04-13 Sven Verdoolaegeisl_transitive_closure.c: construct_component: always...
2010-04-10 Sven Verdoolaegeisl_sample.c: initial_basis: set n_unbounded and n_zero
2010-04-09 Sven Verdoolaegeisl_map_coalesce: only use non-redundant constraints...
2010-04-07 Sven Verdoolaegeisl_map_simplify: don't remove any div definitions...
2010-04-02 Sven Verdoolaegeisl_tab_min_at_most_neg_one: restore sample value of...
2010-04-01 Sven Verdoolaegeisl_map_transitive_closure: break early if input map...
2010-03-30 Sven Verdoolaegeisl_tab.c: unrelax: restore row if variable is non...
2010-03-23 Sven Verdoolaegeisl_convex_hull.c: simplify computation of initial...
2010-03-04 Sven Verdoolaegeisl_set_wrap_facet: make sure set is marked rational
2010-02-18 Sven Verdoolaegeisl_map_transitive_closure: improve accuracy by copying...
2010-02-18 Sven Verdoolaegeadd a transitive closure example from the Omega test...
2010-02-18 Sven Verdoolaegeisl_map_transitive_closure: compute power on strongly...
2010-02-15 Sven Verdoolaegeadd transitive closure example from Kelly's 1996 paper
2010-02-15 Sven Verdoolaegeisl_map_transitive_closure: construct general paths
2010-02-08 Sven Verdoolaegeisl_map_coalesce: handle more cases
2010-02-08 Sven Verdoolaegeisl_map_transitive_closure: improve test for exactness
2010-02-08 Sven Verdoolaegeadd a counter example for Theorem 1 of the COCOA paper
2010-02-04 Sven Verdoolaegeisl_map_transitive_closure: use more relaxed exactness...
2010-02-03 Sven Verdoolaegeadd isl_map_power and isl_map_transitive_closure
2010-02-03 Sven Verdoolaegeadd generic isl_map_project_out
2010-02-03 Sven Verdoolaegeadd isl_{map,set}_add
2010-01-25 Sven Verdoolaegeisl_test: use isl_set_read_from_str
2010-01-25 Sven Verdoolaegedrop redundant input_format argument from reading functions
2009-12-16 Sven Verdoolaegeadd copyright statements
2009-10-12 Sven Verdoolaegeisl_tab: improved error handling
2009-09-06 Sven Verdoolaegeisl_test.c: remove unused variable
2009-09-06 Sven Verdoolaegeisl_test: check srcdir has been set
2009-05-06 Sven Verdoolaegeisl_map_convex_hull: handle unbounded, but pointed...
2009-05-06 Sven Verdoolaegeadd two more convex hull test cases
2009-03-20 Sven Verdoolaegeadd isl_set_coalesce
2009-02-22 Sven Verdoolaegeisl_basic_map_affine_hull: fix search for integer points
2009-02-15 Sven Verdoolaegefix serious error in isl_mat_parameter_compression
2009-02-04 Sven Verdoolaegeisl_map_simplify.c: normalize_divs: fix use of variable...
2009-02-03 Sven Verdoolaegeisl_map_simplify.c: normalize_divs: ensure enough exist...
2009-01-08 Sven Verdoolaegenormalize divs involved in equalities
2008-12-25 Sven Verdoolaegeadd isl_basic_set_read_from_str
2008-12-19 Sven Verdoolaegeremove isl_ctx argument from functions accepting isl_di...
2008-12-14 Sven Verdoolaegeadd isl_basic_set_add_constraint for adding manually...
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-10-11 Sven Verdoolaegeadd struct_ctx field to isl_set and isl_map
2008-09-16 Sven Verdoolaegeisl_{basic_,}set_read_from_file: allow user to specify...
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