summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2011-04-21isl_printer_print_basic_set: also print invalid basic setsSven Verdoolaege1-1/+6
2011-04-21add isl_union_map_is_injectiveSven Verdoolaege5-12/+33
2011-04-21add isl_union_map_is_bijectiveSven Verdoolaege3-0/+18
2011-04-21add isl_union_map_is_single_valuedSven Verdoolaege4-14/+118
2011-04-21add isl_mat_add_zero_rowsSven Verdoolaege2-0/+26
2011-04-21isl_blk: don't reuse overly large blocks for small allocationsSven Verdoolaege3-25/+48
2011-04-21add isl_hmap_map_basic_setSven Verdoolaege3-0/+130
2011-04-21add isl_union_map_copy_mapSven Verdoolaege3-0/+29
2011-04-21add isl_union_map_containsSven Verdoolaege3-0/+27
2011-04-21add isl_basic_set_transform_dimsSven Verdoolaege2-0/+71
2011-04-21add isl_basic_set_offsetSven Verdoolaege2-0/+8
2011-04-21change isl_mat_sub_alloc prototypeSven Verdoolaege10-36/+46
2011-04-21make isl_mat_sub_* functions privateSven Verdoolaege2-7/+7
2011-04-21add isl_vec_get_ctxSven Verdoolaege2-0/+7
2011-04-21add isl_mat_initial_non_zero_colsSven Verdoolaege2-0/+18
2011-04-21add isl_mat_set_element_siSven Verdoolaege3-0/+23
2011-04-21add isl_basic_set_add_constraints_dim_mapSven Verdoolaege2-0/+10
2011-04-21add isl_dim_map_rangeSven Verdoolaege2-1/+23
2011-04-21isl_dim_map: allow signed mappingSven Verdoolaege1-16/+33
2011-04-21isl_dim_map: extract from isl_map.cSven Verdoolaege4-186/+237
2011-04-21change prototype of isl_tab_dumpSven Verdoolaege2-2/+8
2011-04-21add isl_map_remove_divsSven Verdoolaege3-11/+19
2011-04-21doc: fix typoSven Verdoolaege1-1/+1
2011-04-21doc: add a note on the accuracy of our approximationSven Verdoolaege3-0/+115
2011-04-21add isl_union_set_coefficients and isl_union_set_solutionsSven Verdoolaege6-0/+507
2011-04-19add isl_union_set_liftSven Verdoolaege3-0/+32
2011-04-19Merge branch 'maint'Sven Verdoolaege3-16/+14
2011-04-19isl_tab: alway free saved basis undo recordSven Verdoolaege1-4/+13
2011-04-19make sure destination for GDB module exists before installingSven Verdoolaege1-0/+1
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-04-11use silent make rulesSven Verdoolaege2-1/+2
2011-04-11isl_stream_read_map: fix handling of divs in tuplesSven Verdoolaege2-0/+9
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