summaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)AuthorFilesLines
2011-03-18doc: add some implementation details on parametric integer programmingSven Verdoolaege3-0/+885
2011-03-12add isl_union_map_powerSven Verdoolaege1-0/+2
2011-03-12change isl_map_power interfaceSven Verdoolaege1-2/+7
2011-03-12add isl_union_map_zipSven Verdoolaege1-0/+23
2011-03-10add isl_union_map_deltas_mapSven Verdoolaege1-0/+10
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 Verdoolaege1-0/+3
2011-02-25isl_map_identity: take dimension specification of map as inputSven Verdoolaege1-4/+10
2011-02-25rename isl_dim_map to isl_dim_map_from_setSven Verdoolaege1-0/+2
2011-02-25transitive closure: project out parameters when any constraints are impureSven Verdoolaege2-1/+72
2011-02-18add isl_basic_set_flat_productSven Verdoolaege1-0/+6
2011-02-18export isl_basic_map_flattenSven Verdoolaege1-0/+2
2011-02-17add isl_union_map_read_from_fileSven Verdoolaege1-0/+4
2011-02-05isl_union_map_compute_flow: return accesses with no sourceSven Verdoolaege1-8/+15
2011-01-27add isl_map_nat_universeSven Verdoolaege1-0/+13
2011-01-22add isl_basic_set_get_tuple_nameSven Verdoolaege1-0/+2
2011-01-19add isl_union_map_range_productSven Verdoolaege1-0/+9
2011-01-19doc: document product functionsSven Verdoolaege1-0/+28
2011-01-16add isl_union_set_apply_union_pw_qpolynomial_foldSven Verdoolaege1-1/+14
2011-01-08Add isl_union_(set/map)_detect_equalitiesTobias Grosser1-0/+18
2011-01-07add isl_basic_set_flattenSven Verdoolaege1-0/+2
2011-01-07add isl_union_map_simple_hullSven Verdoolaege1-0/+2
2010-12-29isl_printer_print_basic_{set,map}: don't print newline in isl formatSven Verdoolaege1-0/+9
2010-12-07doc: emphasize the need for isl_int_get_gmp and isl_int_set_gmpSven Verdoolaege1-1/+5
2010-12-07add isl_qpolynomial_powSven Verdoolaege1-0/+2
2010-11-27add isl_basic_set_{in,}equalities_matrixSven Verdoolaege1-9/+17
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-23/+32
2010-11-17add isl_union_set_is_equalSven Verdoolaege1-0/+9
2010-11-17add isl_union_map_read_from_strSven Verdoolaege1-0/+8
2010-11-17add isl_basic_set_box_from_pointsSven Verdoolaege1-0/+5
2010-11-12add isl_union_pw_qpolynomial_to_polynomialSven Verdoolaege1-0/+11
2010-11-12doc: update isl_pw_qpolynomial_gist descriptionSven Verdoolaege1-1/+1
2010-11-06add isl_union_set_polyhedral_hullSven Verdoolaege1-0/+17
2010-10-26export isl_pw_qpolynomial_fold_set_dim_nameSven Verdoolaege1-0/+8
2010-10-26doc: fix typoSven Verdoolaege1-1/+1
2010-10-26export isl_pw_qpolynomial_fold_addSven Verdoolaege1-0/+4
2010-10-26add isl_set_flatten_mapSven Verdoolaege1-0/+6
2010-10-17support extended PolyLib output formatSven Verdoolaege1-1/+15
2010-10-17doc: mention LaTeX output formatSven Verdoolaege1-2/+2
2010-10-17add isl_union_set_identitySven Verdoolaege1-0/+9
2010-10-17add isl_set_flattenSven Verdoolaege1-0/+11
2010-10-11export isl_basic_set_sample_pointSven Verdoolaege1-1/+3
2010-10-10add isl_int_[gs]et_gmpSven Verdoolaege1-0/+4
2010-10-10add isl_union_map_intersect_rangeSven Verdoolaege1-0/+3
2010-10-10add isl_constraint_get_dim_nameSven Verdoolaege1-0/+6
2010-10-10add isl_set_n_basic_setSven Verdoolaege1-0/+5
2010-10-10add isl_pw_qpolynomial_set_dim_nameSven Verdoolaege1-0/+12
2010-10-10add isl_union_pw_qpolynomial_extract_pw_qpolynomialSven Verdoolaege1-0/+8
2010-10-09add isl_union_set_extract_setSven Verdoolaege1-0/+10
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-28 13:43:27 +0000