summaryrefslogtreecommitdiff
path: root/isl_tab_pip.c
AgeCommit message (Expand)AuthorFilesLines
2009-10-09isl_tab.c: extract out samples handling from isl_tab_pip.cSven Verdoolaege1-27/+4
2009-10-09isl_tab: keep (in)equalities of bset (if any) in syncSven Verdoolaege1-6/+15
2009-10-07isl_tab_basic_map_partial_lexopt: simplify resultSven Verdoolaege1-2/+1
2009-10-07privately export isl_basic_set_add_{in,}eqSven Verdoolaege1-37/+0
2009-10-02add isl_basic_map_foreach_lexminSven Verdoolaege1-3/+220
2009-09-13make some internal functions staticSven Verdoolaege1-1/+1
2009-09-06isl_tab_pip.c: remove unused variablesSven Verdoolaege1-6/+0
2009-09-06isl_assert: validate all arguments and fix up falloutSven Verdoolaege1-3/+6
2009-09-06isl_tab_pip.c: add missing includeSven Verdoolaege1-0/+1
2009-09-04pilp solver: don't ignore feasibility test on contextSven Verdoolaege1-37/+53
2009-08-28add isl_vec_normalizeSven Verdoolaege1-4/+4
2009-08-07add an internal parametric integer linear program solverSven Verdoolaege1-0/+2576