summaryrefslogtreecommitdiff
path: root/isl_tab.c
AgeCommit message (Expand)AuthorFilesLines
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
2009-09-06isl_tab.c: remove unused variablesSven Verdoolaege1-4/+0
2009-09-06isl_tab.c: fix up to_colSven Verdoolaege1-3/+3
2009-08-28isl_seq_normalize: use pre-allocated temporary variable in isl_ctxSven Verdoolaege1-3/+4
2009-08-28add isl_vec_normalizeSven Verdoolaege1-1/+1
2009-08-28isl_solve_lp: optionally return solution pointSven Verdoolaege1-1/+1
2009-08-09isl_tab_min: read off all information from tableau before rollbackSven Verdoolaege1-2/+2
2009-08-09isl_tab_add_valid_eq: keep track of whether equality is negatedSven Verdoolaege1-5/+16
2009-08-07isl_tab: add support for keeping track of samplesSven Verdoolaege1-0/+13
2009-08-07isl_tab: optionally keep track of row signsSven Verdoolaege1-2/+88
2009-08-07isl_tab: add isl_basic_set field for optionally keeping track of inequalitiesSven Verdoolaege1-0/+12
2009-08-07isl_tab: introduce support for "big parameters"Sven Verdoolaege1-61/+133
2009-08-07isl_tab: allow introduction of extra variablesSven Verdoolaege1-1/+83
2009-08-07isl_tab: introduce parameters and divsSven Verdoolaege1-1/+7
2009-08-07isl_tab: allow saving and restoring the complete basisSven Verdoolaege1-0/+80
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-18 13:41:02 +0000