summaryrefslogtreecommitdiff
path: root/isl_tab_pip.c
AgeCommit message (Expand)AuthorFilesLines
2011-04-21add isl_tab_basic_set_non_trivial_lexminSven Verdoolaege1-0/+325
2011-04-21isl_tab_pip.c: add_lexmin_eq: return int instead of isl_tab *Sven Verdoolaege1-25/+23
2011-04-21isl_tab_pip.c: restore_lexmin: return int instead of isl_tab *Sven Verdoolaege1-25/+31
2011-04-21isl_tab_pip.c: add some debugging codeSven Verdoolaege1-0/+36
2011-04-21isl_tab_pip.c: fix typo in commentSven Verdoolaege1-1/+1
2011-04-19Merge branch 'maint'Sven Verdoolaege1-12/+0
2011-04-19isl_tab_pip.c: add_lexmin_eq: remove misguided optimizationsSven Verdoolaege1-12/+0
2011-04-11isl_basic_map_lexmin: turn off equality detection on non-parametric problemsSven Verdoolaege1-0/+3
2011-03-16hide isl_ctx internalsSven Verdoolaege1-0/+1
2011-02-21isl_tab_pip.c: fix typo in commentSven Verdoolaege1-1/+1
2011-02-05Merge branch 'maint'Sven Verdoolaege1-1/+15
2011-02-05isl_tab_pip.c: correctly detect non-negativity of divs in lexmin contextsSven Verdoolaege1-1/+15
2011-02-05isl_tab_pip.c: fix typo in commentSven Verdoolaege1-1/+1
2011-01-05isl_tab_basic_map_partial_lexopt: fix up symmetry detectionSven Verdoolaege1-3/+12
2010-12-18isl_tab_basic_map_partial_lexopt: detect and exploit simple symmetriesSven Verdoolaege1-31/+507
2010-12-18isl_tab_pip.c: fix typos in commentsSven Verdoolaege1-6/+6
2010-12-13isl_tab_basic_map_partial_lexopt: avoid memory leak on error pathSven Verdoolaege1-1/+1
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-1/+1
2010-11-18isl_tab_basic_map_partial_lexopt: fix memory leak on error pathSven Verdoolaege1-1/+3
2010-11-17isl_tab_basic_map_partial_lexopt: add all equalities before pivotingSven Verdoolaege1-2/+2
2010-09-04add public API for matricesSven Verdoolaege1-0/+1
2010-07-24isl_map_lexmax: produce less cryptic error message when result is unboundedSven Verdoolaege1-7/+7
2010-06-26isl_tab_pip.c: no_sol_in_strict: fix error handlingSven Verdoolaege1-1/+1
2010-06-26isl_tab_pip.c: find_solutions: fix error handlingSven Verdoolaege1-7/+21
2010-06-26isl_tab_pip.c: sol_map_init: avoid NULL pointer dereferenceSven Verdoolaege1-1/+6
2010-06-26isl_tab_add_eq: return int instead of isl_tab *Sven Verdoolaege1-2/+4
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-19 15:01:05 +0000