summaryrefslogtreecommitdiff
path: root/isl_tab.c
AgeCommit message (Expand)AuthorFilesLines
2010-06-26isl_tab.c: tab_mat_product: avoid NULL pointer dereferenceSven Verdoolaege1-0/+2
2010-06-26isl_tab_extend_cons: avoid NULL pointer dereferenceSven Verdoolaege1-1/+3
2010-06-26isl_tab_add_valid_eq: return int instead of isl_tab *Sven Verdoolaege1-11/+8
2010-06-26isl_tab_min: avoid NULL pointer dereferenceSven Verdoolaege1-0/+3
2010-06-26isl_tab.c: close_row: fix error handlingSven Verdoolaege1-1/+5
2010-06-26isl_tab_add_eq: return int instead of isl_tab *Sven Verdoolaege1-22/+20
2010-06-25isl_tab.c: fix typosSven Verdoolaege1-6/+6
2010-06-19add rudimentary error reporting mechanismSven Verdoolaege1-2/+4
2010-06-12isl_tab_detect_implicit_equalities: also detect manifest equalitiesSven Verdoolaege1-5/+3
2010-06-12isl_tab: optionally only mark strictly redundant rowsSven Verdoolaege1-0/+5
2010-06-12isl_tab_detect_implicit_equalities: return integer instead of struct isl_tab *Sven Verdoolaege1-11/+8
2010-06-12add isl_tab_sign_of_maxSven Verdoolaege1-0/+14
2010-06-12isl_tab_select_facet: return int instead of isl_tab *Sven Verdoolaege1-19/+16
2010-06-12export isl_set_is_boundedSven Verdoolaege1-8/+15
2010-05-30fix some icc warningsSven Verdoolaege1-3/+5
2010-04-23isl_tab_rollback: restore rows that are no longer marked redundantSven Verdoolaege1-0/+1
2010-04-02isl_tab_min_at_most_neg_one: restore sample value of non-redundant constraintsSven Verdoolaege1-2/+6
2010-04-02isl_tab.c: update debugging aid check_table to presence of big parameterSven Verdoolaege1-2/+9
2010-04-02isl_tab_relax: make sure no non-negative rows get a negative sample valueSven Verdoolaege1-2/+15
2010-03-30isl_tab.c: unrelax: restore row if variable is non-negativeSven Verdoolaege1-2/+6
2010-03-30isl_tab.c: cut_to_hyperplane: add extra sanity checkSven Verdoolaege1-0/+1
2010-03-04extract isl_tab_add_div from isl_tab_pip.cSven Verdoolaege1-0/+144
2010-01-08isl_basic_map_update_from_tab: re-gauss resulting bmapSven Verdoolaege1-0/+2
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-12-07isl_tab: keep track of isl_basic_map instead of isl_basic_setSven Verdoolaege1-22/+52
2009-12-07isl_tab_detect_redundant: return status instead of isl_tab *Sven Verdoolaege1-10/+7
2009-12-07isl_tab: add isl_tab_freeze_constraintSven Verdoolaege1-0/+24
2009-11-29isl_tab_add_ineq and isl_tab_mark_empty: return status instead of isl_tab *Sven Verdoolaege1-31/+39
2009-11-01isl_tab: row is only (obviously) redundant if it does not depend on variablesSven Verdoolaege1-1/+3
2009-10-16isl_tab: support generic undo recordsSven Verdoolaege1-0/+9
2009-10-12mark some functions as requiring use of return valueSven Verdoolaege1-0/+8
2009-10-12isl_tab: improved error handlingSven Verdoolaege1-126/+240
2009-10-12isl_tab_pip.c: incrementally build recession cone of gbr contextSven Verdoolaege1-0/+23
2009-10-09isl_tab_basic_map_partial_lexopt: remove samples that are no longer usefulSven Verdoolaege1-1/+62
2009-10-09isl_tab.c: extract out samples handling from isl_tab_pip.cSven Verdoolaege1-0/+48
2009-10-09isl_tab_compute_reduced_basis: handle unbounded directions in initial basisSven Verdoolaege1-0/+3
2009-10-09isl_tab: keep (in)equalities of bset (if any) in syncSven Verdoolaege1-0/+40
2009-10-09isl_tab_compute_reduced_basis: allow incremental computationSven Verdoolaege1-0/+13
2009-10-09add isl_tab_productSven Verdoolaege1-0/+242
2009-10-08add isl_tab_add_eqSven Verdoolaege1-0/+57
2009-10-08isl_tab_add_valid_eq: add special treatment for manifestly zero rowsSven Verdoolaege1-0/+18
2009-10-08isl_tab_extend_cons: check tab argumentSven Verdoolaege1-0/+4
2009-10-08rename isl_tab_detect_equalities to isl_tab_detect_implicit_equalitiesSven Verdoolaege1-2/+2
2009-10-08isl_tab_from_recession_cone: take basic set instead of basic map as argumentSven Verdoolaege1-14/+14
2009-10-07isl_tab_allocate_con: add extra assertionSven Verdoolaege1-0/+1
2009-10-07isl_tab.c: close_row: push undo record for setting row to zeroSven Verdoolaege1-1/+4
2009-09-09isl_tab.c: cut_to_hyperplane: do nothing if selected constraint is an equalitySven Verdoolaege1-0/+4
2009-09-08isl_tab_dup: avoid out-of-bounds array accessSven Verdoolaege1-3/+5
2009-09-06isl_tab.c: sign_of_min: only pivot back if we performed any pivotSven Verdoolaege1-2/+2
2009-09-06isl_tab.c: isl_tab_mark_redundant: fix up error returnSven Verdoolaege1-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-04 13:21:46 +0000