summaryrefslogtreecommitdiff
path: root/isl_tab_pip.c
AgeCommit message (Expand)AuthorFilesLines
2010-06-25isl_tab_pip.c: fix typosSven Verdoolaege1-2/+2
2010-06-15isl_tab_pip.c: compare all coefficients when checking for duplicate divsSven Verdoolaege1-1/+1
2010-06-12isl_tab_detect_implicit_equalities: return integer instead of struct isl_tab *Sven Verdoolaege1-3/+3
2010-06-12export isl_set_is_boundedSven Verdoolaege1-2/+2
2010-05-30fix some icc warningsSven Verdoolaege1-6/+7
2010-04-10isl_sample.c: initial_basis: set n_unbounded and n_zeroSven Verdoolaege1-3/+2
2010-04-02isl_tab_pip.c: always set row sign of found row to isl_tab_row_negSven Verdoolaege1-2/+5
2010-03-04extract isl_tab_add_div from isl_tab_pip.cSven Verdoolaege1-85/+29
2010-02-03rename isl_{map,set}_add to isl_{map,set}_add_basic_{map,set}Sven Verdoolaege1-2/+2
2010-01-31isl_tab_pip.c: find_solutions: break when context becomes emptySven Verdoolaege1-0/+2
2010-01-24isl_tab_basic_map_partial_lexopt: properly handle empty input mapSven Verdoolaege1-2/+14
2009-12-24isl_tab_pip.c: add cuts for all non-integer coordinates in lexmin contextSven Verdoolaege1-20/+43
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-12-07isl_tab: keep track of isl_basic_map instead of isl_basic_setSven Verdoolaege1-46/+51
2009-11-29isl_tab_add_ineq and isl_tab_mark_empty: return status instead of isl_tab *Sven Verdoolaege1-16/+39
2009-11-01isl_tab_basic_map_partial_lexopt: use context constraints when detecting equa...Sven Verdoolaege1-1/+5
2009-11-01isl_tab_pip.c: ignore dead columns when checking integralitySven Verdoolaege1-1/+1
2009-10-21put options in a separate isl_options structureSven Verdoolaege1-1/+1
2009-10-21isl_tab_pip: keep cache of partial solutionsSven Verdoolaege1-8/+227
2009-10-16isl_tab_pip: don't free isl_sol on error conditionSven Verdoolaege1-72/+65
2009-10-16isl_tab_pip.c: remove some code duplication between isl_map_add and isl_for_addSven Verdoolaege1-195/+234
2009-10-12mark some functions as requiring use of return valueSven Verdoolaege1-1/+2
2009-10-12isl_tab: improved error handlingSven Verdoolaege1-40/+85
2009-10-12isl_tab_pip.c: incrementally build recession cone of gbr contextSven Verdoolaege1-11/+131
2009-10-12isl_tab_pip.c: propagate some equalities from gbr context to main tableauSven Verdoolaege1-7/+110
2009-10-10isl_tab_pip.c: detect equalities in gbr context on each parametric cutSven Verdoolaege1-1/+46
2009-10-10isl_tab_pip: use generalized basis reduction based context by defaultSven Verdoolaege1-2/+13
2009-10-10isl_tab_pip: add generalized basis reduction based context handlingSven Verdoolaege1-2/+439
2009-10-09isl_tab_pip.c: extract out context handlingSven Verdoolaege1-358/+630
2009-10-09isl_tab_pip.c: add_div: use more reliable way to test whether div is nonnegSven Verdoolaege1-2/+12
2009-10-09isl_tab_basic_map_partial_lexopt: remove samples that are no longer usefulSven Verdoolaege1-0/+2
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-28 14:29:49 +0000