isl_tab_basic_map_partial_lexopt: disable use of shifted tableau on equalities
[platform/upstream/isl.git] / isl_map_subtract.c
2012-12-02 Sven Verdoolaegeisl_map_subtract.c: basic_map_collect_diff: avoid inval...
2012-12-01 Sven Verdoolaegeisl_map_subtract.c: map_is_subset: fix error handling
2012-09-18 Sven Verdoolaegeisl_map_is_subset: support rational maps
2012-09-02 Sven Verdoolaegerelicense isl under the MIT license
2012-09-02 Sven VerdoolaegeMerge branch 'maint'
2012-08-13 Sven Verdoolaegeisl_map_subtract: handle duplicate divs in subtrahend
2012-05-30 Sven VerdoolaegeMerge branch 'maint'
2012-05-21 Sven VerdoolaegeMerge branch 'maint'
2012-04-18 Sven VerdoolaegeMerge branch 'maint'
2012-04-13 Sven VerdoolaegeMerge branch 'maint'
2012-04-07 Sven VerdoolaegeMerge branch 'maint'
2012-03-06 Sven VerdoolaegeMerge branch 'maint'
2012-02-23 Sven VerdoolaegeMerge branch 'maint'
2012-02-20 Sven Verdoolaegeadd isl_map_complement
2012-01-18 Sven VerdoolaegeMerge branch 'maint'
2012-01-16 Sven Verdoolaegeisl_tab_from_basic_map: preserve all constraints in...
2011-12-10 Sven VerdoolaegeMerge branch 'maint'
2011-12-02 Sven VerdoolaegeMerge branch 'maint'
2011-11-23 Sven VerdoolaegeMerge branch 'maint'
2011-11-13 Sven Verdoolaegeadd isl_map_subtract_range
2011-11-04 Sven Verdoolaegeadd isl_map_subtract_domain
2011-11-02 Sven Verdoolaegeisl_map_is_subset: align parameters if needed
2011-10-10 Sven VerdoolaegeMerge branch 'maint'
2011-10-02 Sven VerdoolaegeMerge branch 'maint'
2011-09-23 Sven VerdoolaegeMerge branch 'maint'
2011-09-22 Sven VerdoolaegeMerge branch 'maint'
2011-09-09 Sven VerdoolaegeMerge branch 'maint'
2011-09-03 Sven Verdoolaegerename isl_dim to isl_space
2011-08-31 Sven VerdoolaegeMerge branch 'maint'
2011-08-11 Sven VerdoolaegeMerge branch 'maint'
2011-08-10 Sven Verdoolaegeisl_map_is_subset: a map cannot be as subset of a map...
2011-08-05 Sven VerdoolaegeMerge branch 'maint'
2011-08-03 Sven VerdoolaegeMerge branch 'maint'
2011-07-20 Sven Verdoolaegealign parameters of arguments to binary isl_map and...
2011-07-08 Sven VerdoolaegeMerge branch 'maint'
2011-06-29 Sven VerdoolaegeMerge branch 'maint'
2011-06-23 Sven VerdoolaegeMerge branch 'maint'
2011-06-18 Sven VerdoolaegeMerge branch 'maint'
2011-06-04 Sven VerdoolaegeMerge branch 'maint'
2011-05-25 Sven Verdoolaegeisl_map_subtract.c: remove unused variables
2011-05-20 Sven VerdoolaegeMerge branch 'maint'
2011-05-05 Sven Verdoolaegerename *_fast_* functions to *_plain_*
2011-03-10 Sven VerdoolaegeMerge branch 'maint'
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-23 Sven Verdoolaegeisl_map_subtract.c: n_non_redundant: propage isl_ctx
2011-01-22 Sven VerdoolaegeMerge branch 'maint'
2011-01-16 Sven VerdoolaegeMerge branch 'maint'
2011-01-07 Sven VerdoolaegeMerge branch 'maint'
2011-01-07 Sven Verdoolaegeisl_map_is_subset: don't compute divs of minuend
2011-01-07 Sven Verdoolaegerename isl_map_is_singleton to isl_map_fast_is_singleton
2010-11-20 Sven VerdoolaegeRename headers from isl_header.h to isl/header.h
2010-06-26 Sven Verdoolaegeisl_map_subtract.c: tab_add_constraints: avoid NULL...
2010-03-04 Sven Verdoolaegeprivately export isl_set_contains_point
2010-03-04 Sven Verdoolaegeisl_map_subtract: only add divs when needed
2010-03-04 Sven Verdoolaegeadd isl_set_complement
2010-02-03 Sven Verdoolaegeisl_map_subtract.c: make some internal functions static
2010-01-31 Sven Verdoolaegeadd private isl_{set,map}_make_disjoint
2009-12-16 Sven Verdoolaegeadd copyright statements
2009-12-08 Sven Verdoolaegeisl_map_is_subset: break off as soon as difference...
2009-12-08 Sven Verdoolaegecompute set difference using a backtracking algorithm
2009-12-07 Sven Verdoolaegeisl_map_subtract.c: extract from isl_map.c