fix isl_union_{set,map}_lex_g{e,t}_union_map
[platform/upstream/isl.git] / isl_test.c
2010-10-26 Sven Verdoolaegefix isl_union_{set,map}_lex_g{e,t}_union_map
2010-10-16 Sven Verdoolaegeisl_stream_read_map: properly parse nested spaces
2010-10-13 Sven Verdoolaegeisl_map_coalesce: handle some cases of pairs of adjacen...
2010-10-06 Sven Verdoolaegerename isl_map_add to isl_map_add_dims
2010-09-22 Sven Verdoolaegeisl_input.c: accept divs in affine expressions
2010-09-04 Sven Verdoolaegeadd isl_pw_qpolynomial_split_periods
2010-08-24 Sven Verdoolaegeisl_map_read_from_str: parse tuple entries with leading...
2010-08-06 Sven Verdoolaegeisl_qpolynomial_move_dims: plug memory leak and fix...
2010-07-23 Sven Verdoolaegefix isl_basic_map_move_dims in presence of existentiall...
2010-07-23 Sven Verdoolaegeisl_test: drop debugging output
2010-07-23 Sven Verdoolaegefix isl_map_lex_ge and isl_map_lex_le in the zero-dimen...
2010-06-29 Sven Verdoolaegeadd isl_map_is_bijective
2010-06-26 Sven Verdoolaegeisl_test.c: avoid NULL pointer dereference
2010-06-26 Sven Verdoolaegeisl_test: avoid accessing basic set internals
2010-06-26 Sven Verdoolaegeisl_test.c: map_is_equal: check input
2010-06-15 Sven Verdoolaegeisl_tab_pip.c: compare all coefficients when checking...
2010-06-12 Sven Verdoolaegeexport isl_set_is_bounded
2010-06-04 Sven Verdoolaegeadd isl_map_is_single_valued
2010-06-01 Sven Verdoolaegeisl_access_info_compute_flow: handle may accesses
2010-05-31 Sven Verdoolaegeisl_access_info_compute_flow: handle multi-valued sink...
2010-04-23 Sven Verdoolaegeisl_map_coalesce: allow wrapping in sets that stick...
2010-04-23 Sven Verdoolaegeisl_map_coalesce: allowing cutting equalities in adjace...
2010-04-23 Sven Verdoolaegeadd some more coalescing test cases
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