summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2011-04-11isl_mat_left_hermite: plug memory leak on error pathSven Verdoolaege1-0/+1
2011-04-11plug memory leak in isl_mat_productSven Verdoolaege1-0/+2
2011-03-18isl 0.06isl-0.06Sven Verdoolaege2-2/+9
2011-03-18doc: add some implementation details on parametric integer programmingSven Verdoolaege3-0/+885
2011-03-18isl_lp.c: avoid clang warningSven Verdoolaege1-1/+1
2011-03-18isl_stream_read_map: accept floord and ceild expressions in constraintsSven Verdoolaege4-19/+49
2011-03-18isl_stream_read_map: accept min and max expressions in constraintsSven Verdoolaege4-4/+254
2011-03-18isl_stream_read_map: properly read nested divsSven Verdoolaege2-1/+17
2011-03-18isl_stream_read_map: treat divs as output variables while adding constraintsSven Verdoolaege1-1/+39
2011-03-18isl_map_coalesce: plug memory leak on error pathSven Verdoolaege1-0/+1
2011-03-18isl_mat_extend: avoid memory leak when realloc failsSven Verdoolaege1-2/+4
2011-03-18isl_basic_map_overlying_set: avoid memory leak when realloc failsSven Verdoolaege1-3/+4
2011-03-18isl_stream_getc: avoid memory leak when realloc failsSven Verdoolaege1-2/+4
2011-03-18rudimentary support for asynchronous termination of computationsSven Verdoolaege4-0/+30
2011-03-16hide isl_ctx internalsSven Verdoolaege29-31/+61
2011-03-15isl_vec_read_from_file: drop input_format argumentSven Verdoolaege3-11/+6
2011-03-15isl_map.c: drop unused error labelSven Verdoolaege1-3/+0
2011-03-15isl_input.c: drop unused error labelSven Verdoolaege1-3/+0
2011-03-15respect DESTDIR when installing isl.pySven Verdoolaege1-2/+3
2011-03-12isl_stream: accept "$" tokenSven Verdoolaege1-0/+1
2011-03-12add isl_union_map_powerSven Verdoolaege3-0/+88
2011-03-12change isl_map_power interfaceSven Verdoolaege4-21/+32
2011-03-12add isl_union_map_zipSven Verdoolaege7-0/+168
2011-03-12add private isl_basic_map_swap_varsSven Verdoolaege2-27/+38
2011-03-10add isl_union_map_deltas_mapSven Verdoolaege5-0/+117
2011-03-10Merge branch 'maint'Sven Verdoolaege1-1/+1
2011-03-10isl_map_deltas: don't copy flags from inputSven Verdoolaege1-1/+1
2011-03-05isl_stream_read_map: accept constant expressions of the form x^ySven Verdoolaege2-11/+42
2011-03-05isl_stream: accept "/\" and "\/" as alternatives for "and" and "or"Sven Verdoolaege1-1/+26
2011-03-05isl_stream: only quote newline using '\'Sven Verdoolaege1-8/+10
2011-03-05isl_stream: maintain private ungetc bufferSven Verdoolaege2-4/+7
2011-03-02isl_set_lifting: simplify and finalize resultSven Verdoolaege1-0/+2
2011-03-02doc: fix typoSven Verdoolaege1-1/+1
2011-03-02doc: drop long outdated note on transitive closuresSven Verdoolaege1-5/+1
2011-03-01add isl_basic_set_get_dim_nameSven Verdoolaege3-0/+11
2011-02-25isl_map_identity: take dimension specification of map as inputSven Verdoolaege4-37/+35
2011-02-25rename isl_dim_map to isl_dim_map_from_setSven Verdoolaege4-9/+11
2011-02-25transitive closure: project out parameters when any constraints are impureSven Verdoolaege3-5/+117
2011-02-21privately export isl_basic_set_reset_dimSven Verdoolaege2-1/+3
2011-02-21isl_set_lift: preserve structure of spaceSven Verdoolaege3-7/+28
2011-02-21isl_pw_qpolynomial_bound: handle combination of wrapping and existentialsSven Verdoolaege3-24/+28
2011-02-21isl_tab_pip.c: fix typo in commentSven Verdoolaege1-1/+1
2011-02-21isl_tab: check for obviously empty tableaus after discovering an equalitySven Verdoolaege1-0/+39
2011-02-21isl_basic_map_gist: prefer contraints without existentially quantified variablesSven Verdoolaege3-0/+37
2011-02-20isl_basic_map_sort_constraints: change comparison routineSven Verdoolaege1-0/+8
2011-02-19isl_tab_ineq_type: classify more constraints as being adjacent to an inequalitySven Verdoolaege2-8/+15
2011-02-19isl_map_coalesce: be more relaxed about multiple equalities being adjacentSven Verdoolaege2-2/+6
2011-02-18add isl_basic_map_from_domain_and_rangeSven Verdoolaege2-0/+9
2011-02-18add isl_basic_set_negSven Verdoolaege2-0/+6
2011-02-18add isl_basic_set_flat_productSven Verdoolaege4-0/+26