fix isl_basic_map_move_dims in presence of existentially quantified variables
[platform/upstream/isl.git] / isl_tab.c
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
2009-10-08 Sven Verdoolaegerename isl_tab_detect_equalities to isl_tab_detect_impl...
2009-10-08 Sven Verdoolaegeisl_tab_from_recession_cone: take basic set instead...
2009-10-07 Sven Verdoolaegeisl_tab_allocate_con: add extra assertion
2009-10-07 Sven Verdoolaegeisl_tab.c: close_row: push undo record for setting...
2009-09-09 Sven Verdoolaegeisl_tab.c: cut_to_hyperplane: do nothing if selected...
2009-09-08 Sven Verdoolaegeisl_tab_dup: avoid out-of-bounds array access
2009-09-06 Sven Verdoolaegeisl_tab.c: sign_of_min: only pivot back if we performed...
2009-09-06 Sven Verdoolaegeisl_tab.c: isl_tab_mark_redundant: fix up error return
2009-09-06 Sven Verdoolaegeisl_tab.c: remove unused variables
2009-09-06 Sven Verdoolaegeisl_tab.c: fix up to_col
2009-08-28 Sven Verdoolaegeisl_seq_normalize: use pre-allocated temporary variable...
2009-08-28 Sven Verdoolaegeadd isl_vec_normalize
2009-08-28 Sven Verdoolaegeisl_solve_lp: optionally return solution point
2009-08-09 Sven Verdoolaegeisl_tab_min: read off all information from tableau...
2009-08-09 Sven Verdoolaegeisl_tab_add_valid_eq: keep track of whether equality...
2009-08-07 Sven Verdoolaegeisl_tab: add support for keeping track of samples
2009-08-07 Sven Verdoolaegeisl_tab: optionally keep track of row signs
2009-08-07 Sven Verdoolaegeisl_tab: add isl_basic_set field for optionally keeping...
2009-08-07 Sven Verdoolaegeisl_tab: introduce support for "big parameters"
2009-08-07 Sven Verdoolaegeisl_tab: allow introduction of extra variables
2009-08-07 Sven Verdoolaegeisl_tab: introduce parameters and divs
2009-08-07 Sven Verdoolaegeisl_tab: allow saving and restoring the complete basis
2009-08-07 Sven Verdoolaegeisl_tab: privately export some functionality
2009-08-07 Sven Verdoolaegeisl_tab: store undo argument in a union for future...
2009-08-07 Sven Verdoolaegeisl_tab_pivot: fix typo that prevented normalization...
2009-08-07 Sven Verdoolaegeisl_tab: store index of variable in undo record instead...
2009-08-04 Sven Verdoolaegeadd isl_tab_dup
2009-08-04 Sven Verdoolaegeisl_tab.c: mark_redundant: only mark variable nonneg...
2009-08-04 Sven Verdoolaegeisl_tab.c: to_row: allow pivoting in arbitrary direction
2009-08-04 Sven Verdoolaegeisl_tab.c: simplify code by letting mark_empty return tab
2009-08-04 Sven Verdoolaegeisl_tab.c: simplify add_eq
2009-08-04 Sven Verdoolaegeisl_tab.c: extract allocate_con
2009-07-20 Sven Verdoolaegeisl_tab_cone_is_bounded: start over after computing...
2009-07-16 Sven Verdoolaegeisl_tab: drop isl_ctx argument where not absolutely...
2009-07-16 Sven Verdoolaegeisl_mat: keep track of isl_ctx
2009-07-15 Sven Verdoolaegeisl_tab.c: fix typo in comment
2009-07-15 Sven Verdoolaegeexport isl_tab_sample_is_integer
2009-07-13 Sven Verdoolaegeisl_tab: don't create new undo records during rollback
2009-07-13 Sven Verdoolaegeisl_tab_min: use general rollback mechanism
2009-07-13 Sven Verdoolaegeisl_tab: optionally save dual solution
2009-07-13 Sven Verdoolaegeisl_tab: add isl_tab_add_valid_eq
2009-05-06 Sven Verdoolaegeisl_tab.c: add isl_tab_get_sample_value
2009-05-05 Sven Verdoolaegeisl_tab.c: fix typo in comment
2009-03-23 Sven Verdoolaegeisl_tab.c: store number of equalities among the constra...
2009-03-20 Sven Verdoolaegeisl_tab.c: don't detect equalities while setting up...
2009-03-20 Sven Verdoolaegeadd internal representation of LP tableaus