isl_basic_set_opt: avoid invalid access on error path
[platform/upstream/isl.git] / isl_test.c
2011-08-03 Sven Verdoolaegeisl_schedule.c: handle basic maps individually in setup...
2011-08-03 Sven VerdoolaegeMerge branch 'maint'
2011-07-28 Sven Verdoolaegeisl_stream_read_map: accept assignments to tuple variables
2011-07-28 Sven Verdoolaegeisl_stream_read_map: accept ternary operators in variab...
2011-07-28 Sven Verdoolaegeisl_stream_read_map: handle initial parenthesized affin...
2011-07-28 Sven Verdoolaegeisl_stream_read_map: accept "!=" in expressions
2011-07-28 Sven Verdoolaegeisl_stream_read_map: accept arbitrary affine expression...
2011-07-12 Sven Verdoolaegeremove isl_union_map_copy_map
2011-07-08 Sven VerdoolaegeMerge branch 'maint'
2011-07-02 Sven Verdoolaegeavoid use of isl_constraint_add_div in isl_test
2011-07-02 Sven Verdoolaegesplit off declarations for isl_aff and isl_pw_aff to...
2011-06-29 Sven VerdoolaegeMerge branch 'maint'
2011-06-25 Sven Verdoolaegeadd isl_set_dim_max
2011-06-25 Sven Verdoolaegeadd isl_aff_gist
2011-06-23 Sven VerdoolaegeMerge branch 'maint'
2011-06-23 Sven Verdoolaegeisl_qpolynomial_is_equal: also compare spaces and divs
2011-06-18 Sven VerdoolaegeMerge branch 'maint'
2011-06-14 Sven Verdoolaegechange isl_basic_map_foreach_lexmin prototype
2011-06-05 Tobias GrosserRemove use of PATH_MAX
2011-06-04 Sven VerdoolaegeMerge branch 'maint'
2011-05-20 Sven VerdoolaegeMerge branch 'maint'
2011-05-05 Sven Verdoolaegeadd isl_union_map_plain_is_injective
2011-05-05 Sven VerdoolaegeMerge branch 'maint'
2011-04-25 Sven VerdoolaegeMerge branch 'maint'
2011-04-21 Sven Verdoolaegeadd isl_union_set_compute_schedule
2011-04-21 Sven Verdoolaegeadd isl_union_map_is_single_valued
2011-04-11 Sven Verdoolaegeisl_stream_read_map: fix handling of divs in tuples
2011-03-18 Sven Verdoolaegeisl_stream_read_map: accept floord and ceild expression...
2011-03-18 Sven Verdoolaegeisl_stream_read_map: accept min and max expressions...
2011-03-18 Sven Verdoolaegeisl_stream_read_map: properly read nested divs
2011-03-16 Sven Verdoolaegehide isl_ctx internals
2011-03-12 Sven Verdoolaegechange isl_map_power interface
2011-03-10 Sven VerdoolaegeMerge branch 'maint'
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...
next