summaryrefslogtreecommitdiff
path: root/include
AgeCommit message (Expand)AuthorFilesLines
2011-04-21add isl_union_map_is_injectiveSven Verdoolaege2-0/+2
2011-04-21add isl_union_map_is_bijectiveSven Verdoolaege1-0/+1
2011-04-21add isl_union_map_is_single_valuedSven Verdoolaege1-0/+1
2011-04-21add isl_mat_add_zero_rowsSven Verdoolaege1-0/+3
2011-04-21add isl_union_map_copy_mapSven Verdoolaege2-0/+2
2011-04-21add isl_union_map_containsSven Verdoolaege2-0/+4
2011-04-21make isl_mat_sub_* functions privateSven Verdoolaege1-7/+0
2011-04-21add isl_vec_get_ctxSven Verdoolaege1-0/+2
2011-04-21add isl_mat_initial_non_zero_colsSven Verdoolaege1-0/+2
2011-04-21add isl_mat_set_element_siSven Verdoolaege1-0/+2
2011-04-21add isl_map_remove_divsSven Verdoolaege1-0/+1
2011-04-21add isl_union_set_coefficients and isl_union_set_solutionsSven Verdoolaege2-0/+12
2011-04-19add isl_union_set_liftSven Verdoolaege1-0/+2
2011-03-18isl_stream_read_map: accept floord and ceild expressions in constraintsSven Verdoolaege1-0/+1
2011-03-18isl_stream_read_map: accept min and max expressions in constraintsSven Verdoolaege1-1/+1
2011-03-18rudimentary support for asynchronous termination of computationsSven Verdoolaege1-0/+5
2011-03-16hide isl_ctx internalsSven Verdoolaege1-25/+3
2011-03-15isl_vec_read_from_file: drop input_format argumentSven Verdoolaege1-2/+1
2011-03-12add isl_union_map_powerSven Verdoolaege1-0/+2
2011-03-12change isl_map_power interfaceSven Verdoolaege1-2/+1
2011-03-12add isl_union_map_zipSven Verdoolaege3-0/+10
2011-03-12add private isl_basic_map_swap_varsSven Verdoolaege1-3/+0
2011-03-10add isl_union_map_deltas_mapSven Verdoolaege2-0/+5
2011-03-05isl_stream_read_map: accept constant expressions of the form x^ySven Verdoolaege1-0/+2
2011-03-05isl_stream: maintain private ungetc bufferSven Verdoolaege1-0/+2
2011-03-01add isl_basic_set_get_dim_nameSven Verdoolaege1-0/+2
2011-02-25isl_map_identity: take dimension specification of map as inputSven Verdoolaege1-2/+2
2011-02-25rename isl_dim_map to isl_dim_map_from_setSven Verdoolaege1-1/+1
2011-02-18add isl_basic_map_from_domain_and_rangeSven Verdoolaege1-0/+2
2011-02-18add isl_basic_set_negSven Verdoolaege1-0/+1
2011-02-18add isl_basic_set_flat_productSven Verdoolaege2-0/+4
2011-02-18export isl_basic_map_flattenSven Verdoolaege1-0/+1
2011-02-18add isl_basic_map_from_qpolynomialSven Verdoolaege1-0/+2
2011-02-17add isl_union_map_read_from_fileSven Verdoolaege2-0/+4
2011-02-17isl_stream_read_map: accept 'true' and 'false' constraintsSven Verdoolaege1-0/+1
2011-02-17isl_stream_read_map: allow negationsSven Verdoolaege1-1/+1
2011-02-13add isl_basic_set_is_rationalSven Verdoolaege1-0/+2
2011-02-13isl_stream_read_map: read rational mapsSven Verdoolaege1-1/+1
2011-02-05isl_union_map_compute_flow: return accesses with no sourceSven Verdoolaege1-3/+3
2011-01-27add isl_map_nat_universeSven Verdoolaege2-0/+4
2011-01-27merge isl_basic_set/isl_basic_map and isl_set/isl_mapSven Verdoolaege1-0/+4
2011-01-26rename "omega" transitive closure to "box" transitive closureSven Verdoolaege1-1/+1
2011-01-23export isl_int_obj_freeSven Verdoolaege1-0/+1
2011-01-23add isl_union_pw_qpolynomial_mul_isl_intSven Verdoolaege1-0/+13
2011-01-23add int objects for use in isccSven Verdoolaege1-0/+14
2011-01-22add isl_basic_set_get_tuple_nameSven Verdoolaege1-0/+1
2011-01-22Merge branch 'maint'Sven Verdoolaege1-0/+1
2011-01-21isl_basic_set_factorizer: make sure group information gets updatedSven Verdoolaege1-0/+1
2011-01-19add isl_union_map_range_productSven Verdoolaege3-0/+8
2011-01-19doc: document product functionsSven Verdoolaege2-2/+4