doc: drop long outdated note on transitive closures
[platform/upstream/isl.git] / isl_test.c
2011-02-21 Sven Verdoolaegeisl_pw_qpolynomial_bound: handle combination of wrappin...
2011-02-21 Sven Verdoolaegeisl_basic_map_gist: prefer contraints without existenti...
2011-02-19 Sven Verdoolaegeisl_tab_ineq_type: classify more constraints as being...
2011-02-19 Sven Verdoolaegeisl_map_coalesce: be more relaxed about multiple equali...
2011-02-11 Sven Verdoolaegeisl_stream_read_map: accept disjunctions within a conjunct
2011-02-05 Sven VerdoolaegeMerge branch 'maint'
2011-02-05 Sven VerdoolaegeMerge branch 'maint'
2011-01-27 Sven Verdoolaegemerge isl_basic_set/isl_basic_map and isl_set/isl_map
2011-01-22 Sven VerdoolaegeMerge branch 'maint'
2011-01-21 Sven Verdoolaegeisl_transitive_closure.c: more anonymize input map...
2011-01-21 Sven Verdoolaegeisl_basic_set_factorizer: make sure group information...
2011-01-18 Sven Verdoolaegeisl_set_convex_hull: optionally use Fourier-Motzkin...
2011-01-16 Sven Verdoolaegeisl_stream_read_map: accept modulo expressions
2011-01-16 Sven VerdoolaegeMerge branch 'maint'
2011-01-07 Sven VerdoolaegeMerge branch 'maint'
2011-01-05 Sven VerdoolaegeMerge commit 'isl-0.05.1'
2011-01-05 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: fix up symmetry detection
2010-12-30 Sven Verdoolaegeadd some more isl_map_lexmin tests
2010-12-07 Sven Verdoolaegeisl_basic_set_lift: properly update the number of extra...
2010-12-07 Sven Verdoolaegeisl_qpolynomial_div: further normalize divs by reducing...
2010-12-07 Sven Verdoolaegeisl_qpolynomial: properly merge identical nested divs
2010-12-01 Sven Verdoolaegehide isl_basic_set internals
2010-11-20 Sven VerdoolaegeRename headers from isl_header.h to isl/header.h
2010-11-17 Sven Verdoolaegeadd isl_union_set_is_equal
2010-11-17 Sven Verdoolaegeadd isl_union_map_read_from_str
2010-11-14 Sven Verdoolaegeisl_pw_qpolynomial_fold_bound: fix handling or zero...
2010-11-05 Sven Verdoolaegeisl_pw_qpolynomial_gist: also try to eliminate integer...
2010-11-04 Sven Verdoolaegeisl_qpolynomial_substitute_equalities: eliminate intege...
2010-11-04 Sven Verdoolaegeisl_stream_read_pw_qpolynomial: read nested divs
2010-11-04 Sven Verdoolaegeisl_qpolynomial_substitute_equalities: don't use equali...
2010-10-28 Sven Verdoolaegeisl_stream_read_map: read_var_def: read var definition...
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...
next