summaryrefslogtreecommitdiff
path: root/isl_tab.h
AgeCommit message (Expand)AuthorFilesLines
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-4/+4
2010-06-26isl_tab_add_valid_eq: return int instead of isl_tab *Sven Verdoolaege1-1/+1
2010-06-26isl_tab_add_eq: return int instead of isl_tab *Sven Verdoolaege1-1/+1
2010-06-12isl_tab: optionally only mark strictly redundant rowsSven Verdoolaege1-0/+1
2010-06-12isl_tab_detect_implicit_equalities: return integer instead of struct isl_tab *Sven Verdoolaege1-1/+1
2010-06-12add isl_tab_sign_of_maxSven Verdoolaege1-0/+1
2010-06-12isl_tab_select_facet: return int instead of isl_tab *Sven Verdoolaege1-1/+1
2010-06-12export isl_set_is_boundedSven Verdoolaege1-1/+2
2010-03-04extract isl_tab_add_div from isl_tab_pip.cSven Verdoolaege1-0/+3
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-12-07isl_tab: keep track of isl_basic_map instead of isl_basic_setSven Verdoolaege1-4/+8
2009-12-07isl_tab_detect_redundant: return status instead of isl_tab *Sven Verdoolaege1-1/+1
2009-12-07isl_tab: add isl_tab_freeze_constraintSven Verdoolaege1-0/+3
2009-11-29isl_tab_add_ineq and isl_tab_mark_empty: return status instead of isl_tab *Sven Verdoolaege1-2/+2
2009-10-16isl_tab: support generic undo recordsSven Verdoolaege1-0/+9
2009-10-12mark some functions as requiring use of return valueSven Verdoolaege1-25/+25
2009-10-12isl_tab: improved error handlingSven Verdoolaege1-5/+5
2009-10-12isl_tab_pip.c: incrementally build recession cone of gbr contextSven Verdoolaege1-0/+1
2009-10-10add isl_tab_detect_equalitiesSven Verdoolaege1-0/+3
2009-10-09isl_tab_basic_map_partial_lexopt: remove samples that are no longer usefulSven Verdoolaege1-0/+4
2009-10-09isl_tab.c: extract out samples handling from isl_tab_pip.cSven Verdoolaege1-0/+5
2009-10-09isl_tab_compute_reduced_basis: handle unbounded directions in initial basisSven Verdoolaege1-0/+1
2009-10-09isl_tab_compute_reduced_basis: allow incremental computationSven Verdoolaege1-0/+3
2009-10-09add isl_tab_productSven Verdoolaege1-0/+1
2009-10-08add isl_tab_add_eqSven Verdoolaege1-0/+1
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-1/+1
2009-09-06privately export isl_tab_kill_colSven Verdoolaege1-0/+1
2009-08-09isl_tab_add_valid_eq: keep track of whether equality is negatedSven Verdoolaege1-0/+1
2009-08-07add an internal parametric integer linear program solverSven Verdoolaege1-3/+9
2009-08-07isl_tab: add support for keeping track of samplesSven Verdoolaege1-0/+11
2009-08-07isl_tab: optionally keep track of row signsSven Verdoolaege1-0/+7
2009-08-07isl_tab: add isl_basic_set field for optionally keeping track of inequalitiesSven Verdoolaege1-0/+5
2009-08-07isl_tab: introduce support for "big parameters"Sven Verdoolaege1-2/+11
2009-08-07isl_tab: allow introduction of extra variablesSven Verdoolaege1-0/+3
2009-08-07isl_tab: introduce parameters and divsSven Verdoolaege1-0/+7
2009-08-07isl_tab.h: fix typo in commentSven Verdoolaege1-1/+1
2009-08-07isl_tab: allow saving and restoring the complete basisSven Verdoolaege1-0/+3
2009-08-07isl_tab: privately export some functionalitySven Verdoolaege1-0/+17
2009-08-07isl_tab: store undo argument in a union for future extensionsSven Verdoolaege1-1/+5
2009-08-07isl_tab: store index of variable in undo record instead of pointer to variableSven Verdoolaege1-1/+1
2009-07-16isl_tab: drop isl_ctx argument where not absolutely requiredSven Verdoolaege1-29/+18
2009-07-15export isl_tab_sample_is_integerSven Verdoolaege1-0/+1
2009-07-13isl_tab: don't create new undo records during rollbackSven Verdoolaege1-0/+1
2009-07-13isl_tab: optionally save dual solutionSven Verdoolaege1-1/+5
2009-07-13isl_tab: add isl_tab_add_valid_eqSven Verdoolaege1-0/+2
2009-07-13export isl_tab_allocSven Verdoolaege1-0/+2
2009-05-06isl_tab.c: add isl_tab_get_sample_valueSven Verdoolaege1-0/+3
2009-03-23isl_tab.c: store number of equalities among the constraints in tableauSven Verdoolaege1-0/+1
2009-03-20isl_tab.c: don't detect equalities while setting up tableauSven Verdoolaege1-1/+0
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-28 20:42:16 +0000