summaryrefslogtreecommitdiff
path: root/isl_tab_pip.c
AgeCommit message (Expand)AuthorFilesLines
2012-09-02relicense isl under the MIT licenseSven Verdoolaege1-1/+1
2012-06-09isl_tab_basic_map_partial_lexopt: don't normalize intermediate div expressionsSven Verdoolaege1-1/+1
2012-05-11isl_tab_pip.c: fix typos in commentSven Verdoolaege1-2/+2
2012-02-21isl_tab_basic_map_partial_lexopt: properly normalize divsSven Verdoolaege1-2/+26
2012-02-19isl_tab_basic_set_non_trivial_lexmin: do not add cuts for all variablesTobias Grosser1-3/+12
2012-02-07isl_basic_map_foreach_lexopt: normalize isl_affsSven Verdoolaege1-0/+1
2012-02-01isl_tab_pip.c: sol_add: skip empty contextsSven Verdoolaege1-0/+2
2012-01-16isl_tab_from_basic_map: preserve all constraints in input when trackingSven Verdoolaege1-4/+2
2012-01-16isl_tab_track_bmap: make sure we have a unique copy of the basic mapSven Verdoolaege1-5/+5
2011-11-13hide isl_options structureSven Verdoolaege1-0/+1
2011-11-01isl_tab_pip.c: sol_pma_add: add missing finalizeSven Verdoolaege1-0/+1
2011-10-20isl_tab_pip.c: set_row_cst_to_div: don't assume coefficient of div is zeroSven Verdoolaege1-1/+2
2011-10-20isl_tab_pip.c: fix typo in commentSven Verdoolaege1-1/+1
2011-10-19remove undocumented isl_basic_{set,map}_foreach_lex{min,max}Sven Verdoolaege1-24/+0
2011-10-06isl_basic_{set,map}_partial_lex{min,max}_pw_multi_aff: normalize isl_affsSven Verdoolaege1-0/+1
2011-10-02add isl_basic_{set,map}_partial_lex{min,max}_pw_multi_affSven Verdoolaege1-85/+622
2011-09-22Merge branch 'maint'Sven Verdoolaege1-3/+3
2011-09-22isl_tab_pip.c: sol_for_add: correctly set denominatorSven Verdoolaege1-1/+1
2011-09-22isl_tab_pip.c: sol_map_add: fix double free on error pathSven Verdoolaege1-2/+2
2011-09-03isl_tab_basic_set_non_trivial_lexmin: drop explicit conversion to isl_basic_mapSven Verdoolaege1-2/+2
2011-09-03isl_tab_pip.c: fix whitespace issueSven Verdoolaege1-1/+1
2011-09-03rename isl_dim to isl_spaceSven Verdoolaege1-30/+30
2011-09-01add isl_basic_set_foreach_lexoptSven Verdoolaege1-0/+8
2011-06-25add isl_basic_set_foreach_lexmaxSven Verdoolaege1-0/+8
2011-06-14change isl_basic_map_foreach_lexmin prototypeSven Verdoolaege1-13/+30
2011-05-25mark some functions as (possibly) unusedSven Verdoolaege1-0/+2
2011-05-25isl_tab_pip.c: remove unused context_lex_extendSven Verdoolaege1-11/+0
2011-05-25isl_tab_pip.c: remove unused variablesSven Verdoolaege1-9/+1
2011-05-05rename *_fast_* functions to *_plain_*Sven Verdoolaege1-3/+3
2011-05-05Merge branch 'maint'Sven Verdoolaege1-1/+0
2011-04-30isl_tab_pip: don't simplify domain in isl_for_addSven Verdoolaege1-1/+0
2011-04-21add isl_tab_basic_set_non_neg_lexminSven Verdoolaege1-0/+27
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-19 03:59:55 +0000