isl_tab_relax: prevent relaxation on dead or redundant constraints
[platform/upstream/isl.git] / bound.c
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 Verdoolaegehide isl_options structure
2011-11-13 Sven Verdoolaegeintroduce isl_args structure that constains isl_arg...
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 Verdoolaegebound.c: explicitly convert context into parameter set
2011-07-08 Sven VerdoolaegeMerge branch 'maint'
2011-06-29 Sven VerdoolaegeMerge branch 'maint'
2011-06-25 Sven Verdoolaegerename isl_qpolynomial_is_equal to isl_qpolynomial_plai...
2011-06-23 Sven VerdoolaegeMerge branch 'maint'
2011-06-23 Sven Verdoolaegebound.c: verify_point: make sure spaces of compared...
2011-06-18 Sven VerdoolaegeMerge branch 'maint'
2011-06-04 Sven VerdoolaegeMerge branch 'maint'
2011-05-25 Sven Verdoolaegebound.c: remove unused variable
2010-11-20 Sven VerdoolaegeRename headers from isl_header.h to isl/header.h
2010-11-08 Sven Verdoolaegeisl_bound: accept folds as input
2010-11-08 Sven Verdoolaegeisl_bound: use isl_pw_qpolynomial_folds internally
2010-10-26 Sven Verdoolaegerename isl_map_remove to isl_map_remove_dims
2010-06-12 Sven Verdoolaegeoptionally (and by default) use bernstein expansion...
2010-06-12 Sven Verdoolaegeisl_bound: plug memory leak
2010-05-30 Sven Verdoolaegeisl_ctx: keep track of user options
2010-05-15 Sven Verdoolaegeisl_options_parse: print help message
2010-05-14 Sven Verdoolaegeadd isl_bound test application