add isl_aff_mod_val
[platform/upstream/isl.git] / isl_tab.c
2013-05-25 Sven VerdoolaegeMerge branch 'maint'
2013-05-22 Sven VerdoolaegeMerge branch 'maint'
2013-04-28 Sven VerdoolaegeMerge branch 'maint'
2013-04-15 Sven VerdoolaegeMerge branch 'maint'
2013-04-07 Sven VerdoolaegeMerge branch 'maint'
2013-03-28 Sven Verdoolaegeadd isl_tab_unrestrict
2013-03-24 Sven Verdoolaegeadd isl_tab_get_ctx
2013-03-17 Sven VerdoolaegeMerge branch 'maint'
2013-03-17 Sven Verdoolaegeisl_map_coalesce: avoid dropping constraints redundant...
2012-12-02 Sven Verdoolaegeisl_tab.c: push_union: handle NULL input
2012-09-02 Sven Verdoolaegerelicense isl under the MIT license
2012-04-13 Sven VerdoolaegeMerge branch 'maint'
2012-04-13 Sven Verdoolaegeisl_tab_relax: prevent relaxation on dead or redundant...
2012-01-18 Sven VerdoolaegeMerge branch 'maint'
2012-01-16 Sven Verdoolaegeisl_tab_from_basic_map: preserve all constraints in...
2012-01-16 Sven Verdoolaegeisl_tab_track_bmap: drop sanity checks in case of empty tab
2012-01-16 Sven Verdoolaegeisl_tab_track_bmap: make sure we have a unique copy...
2012-01-16 Sven Verdoolaegeisl_tab_track_bmap: fix memory leak on error path
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-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 Verdoolaegemark some functions as (possibly) unused
2011-05-25 Sven Verdoolaegeisl_tab.c: avoid warning about unhandled enumeration...
2011-05-25 Sven Verdoolaegeisl_tab.c: remove unused variable
2011-05-20 Sven VerdoolaegeMerge branch 'maint'
2011-05-05 Sven VerdoolaegeMerge branch 'maint'
2011-04-27 Sven Verdoolaegerename isl_mat_dump to isl_mat_print_internal
2011-04-25 Sven VerdoolaegeMerge branch 'maint'
2011-04-21 Sven Verdoolaegechange prototype of isl_tab_dump
2011-04-19 Sven VerdoolaegeMerge branch 'maint'
2011-04-19 Sven Verdoolaegeisl_tab: alway free saved basis undo record
2011-03-18 Sven Verdoolaegerudimentary support for asynchronous termination of...
2011-03-10 Sven VerdoolaegeMerge branch 'maint'
2011-02-21 Sven Verdoolaegeisl_tab: check for obviously empty tableaus after disco...
2011-02-19 Sven Verdoolaegeisl_tab_ineq_type: classify more constraints as being...
2011-02-10 Sven Verdoolaegeisl_tab_min: micro-optimization: postpone taking into...
2011-02-05 Sven VerdoolaegeMerge branch 'maint'
2011-02-05 Sven Verdoolaegeisl_tab_add_row: add further explanation
2011-02-05 Sven Verdoolaegeisl_tab.c: fix typos in comments
2011-02-05 Sven Verdoolaegeisl_tab_pip.c: correctly detect non-negativity of divs...
2011-02-05 Sven Verdoolaegeisl_tab_is_equality: properly support "big parameter"
2011-02-05 Sven VerdoolaegeMerge branch 'maint'
2011-01-22 Sven VerdoolaegeMerge branch 'maint'
2011-01-16 Sven VerdoolaegeMerge branch 'maint'
2011-01-07 Sven VerdoolaegeMerge branch 'maint'
2011-01-05 Sven VerdoolaegeMerge commit 'isl-0.05.1'
2010-12-29 Sven Verdoolaegerename isl_*_dump to isl_*_print_internal
2010-11-20 Sven VerdoolaegeRename headers from isl_header.h to isl/header.h
2010-09-04 Sven Verdoolaegeadd public API for matrices
2010-06-26 Sven Verdoolaegeisl_tab_rollback: avoid double free on error path
2010-06-26 Sven Verdoolaegeisl_tab.c: tab_mat_product: avoid NULL pointer dereference
2010-06-26 Sven Verdoolaegeisl_tab_extend_cons: avoid NULL pointer dereference
2010-06-26 Sven Verdoolaegeisl_tab_add_valid_eq: return int instead of isl_tab *
2010-06-26 Sven Verdoolaegeisl_tab_min: avoid NULL pointer dereference
2010-06-26 Sven Verdoolaegeisl_tab.c: close_row: fix error handling
2010-06-26 Sven Verdoolaegeisl_tab_add_eq: return int instead of isl_tab *
2010-06-25 Sven Verdoolaegeisl_tab.c: fix typos
2010-06-19 Sven Verdoolaegeadd rudimentary error reporting mechanism
2010-06-12 Sven Verdoolaegeisl_tab_detect_implicit_equalities: also detect manifes...
2010-06-12 Sven Verdoolaegeisl_tab: optionally only mark strictly redundant rows
2010-06-12 Sven Verdoolaegeisl_tab_detect_implicit_equalities: return integer...
2010-06-12 Sven Verdoolaegeadd isl_tab_sign_of_max
2010-06-12 Sven Verdoolaegeisl_tab_select_facet: return int instead of isl_tab *
2010-06-12 Sven Verdoolaegeexport isl_set_is_bounded
2010-05-30 Sven Verdoolaegefix some icc warnings
2010-04-23 Sven Verdoolaegeisl_tab_rollback: restore rows that are no longer marke...
2010-04-02 Sven Verdoolaegeisl_tab_min_at_most_neg_one: restore sample value of...
2010-04-02 Sven Verdoolaegeisl_tab.c: update debugging aid check_table to presence...
2010-04-02 Sven Verdoolaegeisl_tab_relax: make sure no non-negative rows get a...
2010-03-30 Sven Verdoolaegeisl_tab.c: unrelax: restore row if variable is non...
2010-03-30 Sven Verdoolaegeisl_tab.c: cut_to_hyperplane: add extra sanity check
2010-03-04 Sven Verdoolaegeextract isl_tab_add_div from isl_tab_pip.c
2010-01-08 Sven Verdoolaegeisl_basic_map_update_from_tab: re-gauss resulting bmap
2009-12-16 Sven Verdoolaegeadd copyright statements
2009-12-07 Sven Verdoolaegeisl_tab: keep track of isl_basic_map instead of isl_bas...
2009-12-07 Sven Verdoolaegeisl_tab_detect_redundant: return status instead of...
2009-12-07 Sven Verdoolaegeisl_tab: add isl_tab_freeze_constraint
2009-11-29 Sven Verdoolaegeisl_tab_add_ineq and isl_tab_mark_empty: return status...
2009-11-01 Sven Verdoolaegeisl_tab: row is only (obviously) redundant if it does...
2009-10-16 Sven Verdoolaegeisl_tab: support generic undo records
2009-10-12 Sven Verdoolaegemark some functions as requiring use of return value
2009-10-12 Sven Verdoolaegeisl_tab: improved error handling
2009-10-12 Sven Verdoolaegeisl_tab_pip.c: incrementally build recession cone of...
2009-10-09 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: remove samples that...
2009-10-09 Sven Verdoolaegeisl_tab.c: extract out samples handling from isl_tab_pip.c
2009-10-09 Sven Verdoolaegeisl_tab_compute_reduced_basis: handle unbounded directi...
2009-10-09 Sven Verdoolaegeisl_tab: keep (in)equalities of bset (if any) in sync
2009-10-09 Sven Verdoolaegeisl_tab_compute_reduced_basis: allow incremental comput...
2009-10-09 Sven Verdoolaegeadd isl_tab_product
2009-10-08 Sven Verdoolaegeadd isl_tab_add_eq
2009-10-08 Sven Verdoolaegeisl_tab_add_valid_eq: add special treatment for manifes...
2009-10-08 Sven Verdoolaegeisl_tab_extend_cons: check tab argument
next