summaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)AuthorFilesLines
2010-06-21isl_map_transitive_closure: check whether decomposition gives closed resultSven Verdoolaege1-2/+19
2010-06-19add isl_versionSven Verdoolaege2-2/+5
2010-06-18doc: document isl_map_deltasSven Verdoolaege1-0/+9
2010-06-14doc: fix typoSven Verdoolaege1-1/+1
2010-06-12optionally (and by default) use bernstein expansion to compute boundsSven Verdoolaege1-0/+91
2010-06-12add parametric vertex enumerationSven Verdoolaege1-0/+63
2010-06-11doc: document gist operationsSven Verdoolaege1-0/+28
2010-06-04doc: document isl_constraint_is_equalitySven Verdoolaege1-0/+6
2010-06-04add isl_map_is_single_valuedSven Verdoolaege1-0/+4
2010-06-01isl_access_info_compute_flow: handle may accessesSven Verdoolaege1-10/+29
2010-05-04add isl_qpolynomial_neginftySven Verdoolaege1-0/+2
2010-05-04export isl_qpolynomial_subSven Verdoolaege1-0/+3
2010-05-04add isl_qpolynomial_get_dimSven Verdoolaege1-5/+12
2010-05-04add map_lex_*_firstSven Verdoolaege1-2/+16
2010-04-28add isl_printer_flushSven Verdoolaege1-0/+6
2010-04-25document isl_map_reverseSven Verdoolaege1-0/+7
2010-04-23isl_map_transitive_closure: use simple hull in omega-like implementationSven Verdoolaege1-0/+2
2010-04-23isl_map_transitive_closure: try and compute closure incrementallySven Verdoolaege2-40/+176
2010-04-21doc: document simple hullSven Verdoolaege2-0/+67
2010-04-21doc: emphasize that we are dealing with integer setsSven Verdoolaege1-11/+11
2010-04-19doc: document setting and getting of dimension namesSven Verdoolaege1-0/+18
2010-04-19doc: document *_get_dim functionsSven Verdoolaege1-0/+16
2010-04-15isl_map_transitive_closure: use Floyd-Warshall on disjoint domains and rangesSven Verdoolaege3-0/+174
2010-04-15doc: fix typosSven Verdoolaege1-2/+2
2010-04-13doc: cite Omega library documentation on computation of underapproximationsSven Verdoolaege2-0/+10
2010-04-10isl_map_closure: optionally use Omega-like algorithmSven Verdoolaege2-0/+111
2010-04-07isl_map_transitive_closure: handle existentialsSven Verdoolaege2-10/+62
2010-04-01isl_map_transitive_closure: break early if input map doesn't compose with itselfSven Verdoolaege1-0/+6
2010-04-01isl_map_transitive_closure: coalesce after each stepSven Verdoolaege2-0/+22
2010-03-25doc: fix transitive closure exampleSven Verdoolaege1-1/+3
2010-03-18doc: fix typoSven Verdoolaege1-1/+1
2010-03-18isl_printer_print_pw_qpolynomial{,_fold}: allow printing in "C" formatSven Verdoolaege1-0/+3
2010-03-18add isl_printerSven Verdoolaege1-23/+47
2010-03-14document transitive closure implementationSven Verdoolaege6-2/+2813
2010-03-12add isl_pw_*_intersect_domainSven Verdoolaege1-0/+3
2010-03-12add isl_pw_*_domainSven Verdoolaege1-0/+3
2010-03-09add isl_pw_qpolynomial_foreach_lifted_pieceSven Verdoolaege1-2/+17
2010-03-09add isl_set_from_pointSven Verdoolaege1-1/+6
2010-03-09add isl_pw_qpolynomial_foreach_pieceSven Verdoolaege1-0/+44
2010-03-05doc: update to removal of piplib as a submoduleSven Verdoolaege1-4/+2
2010-03-05doc: fix typoSven Verdoolaege1-1/+1
2010-03-05add support for (piecewise) quasipolynomialsSven Verdoolaege1-0/+123
2010-03-04add isl_set_sample_pointSven Verdoolaege1-0/+11
2010-03-04add isl_pointSven Verdoolaege1-0/+53
2010-03-04add isl_set_complementSven Verdoolaege1-0/+5
2010-03-04export isl_map_make_disjointSven Verdoolaege1-0/+10
2010-03-04add isl_set_fast_is_universeSven Verdoolaege1-0/+1
2010-02-10export isl_map_align_divsSven Verdoolaege1-0/+9
2010-02-09doc: document how to inspect sets and relationsSven Verdoolaege1-0/+72
2010-02-09doc: drop documentation of _dump functionsSven Verdoolaege1-15/+0