summaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)AuthorFilesLines
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
2010-02-08doc: improve decription of isl_map_transitive_closureSven Verdoolaege1-1/+1
2010-02-03add isl_map_power and isl_map_transitive_closureSven Verdoolaege1-0/+23
2010-02-03add generic isl_map_project_outSven Verdoolaege1-3/+5
2010-01-31add dependence analysisSven Verdoolaege1-0/+80
2010-01-31add isl_map_{partial_,}lexoptSven Verdoolaege1-10/+30
2010-01-26doc: a bit more on integersSven Verdoolaege1-0/+6
2010-01-26doc: describe input/output formatsSven Verdoolaege1-22/+58
2010-01-26doc: fix typoSven Verdoolaege1-1/+1
2010-01-25add omega outputSven Verdoolaege1-1/+2
2010-01-25add isl outputSven Verdoolaege1-2/+11
2010-01-25add isl_set_read_from_strSven Verdoolaege1-0/+2
2010-01-25add isl_map_read_from_strSven Verdoolaege1-0/+2
2010-01-25isl_input.c: optionally read parameters from inputSven Verdoolaege1-10/+14
2010-01-25export isl_map_read_from_fileSven Verdoolaege1-0/+2
2010-01-25export isl_basic_map_read_from_strSven Verdoolaege1-0/+2
2010-01-25drop redundant input_format argument from reading functionsSven Verdoolaege1-18/+8
2009-12-16remove functions for converting between isl and PolyLibSven Verdoolaege1-48/+30
2009-11-15export isl_basic_map_lexmaxSven Verdoolaege1-4/+6
2009-11-15add isl_basic_set_lexmaxSven Verdoolaege1-2/+4
2009-10-02add isl_set_project_outSven Verdoolaege1-0/+2
2009-10-02add isl_basic_map_lexminSven Verdoolaege1-1/+9
2009-10-02add isl_set_is_strict_subsetSven Verdoolaege1-0/+3
2009-09-20AX_SUBMODULE: drop options that are meaningless given possible choicesSven Verdoolaege1-4/+0
2009-09-16doc: fix description of lexicograhpic order relationsSven Verdoolaege1-3/+4
2009-09-16add isl_map_lex_le and isl_map_lex_geSven Verdoolaege1-1/+6
2009-09-09add isl_map_lex_lt and isl_map_lex_gtSven Verdoolaege1-0/+12
2009-09-06add a rudimentary manualSven Verdoolaege4-0/+948