Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2010-03-18 | doc: fix typo | Sven Verdoolaege | 1 | -1/+1 |
2010-03-18 | isl_printer_print_pw_qpolynomial{,_fold}: allow printing in "C" format | Sven Verdoolaege | 1 | -0/+3 |
2010-03-18 | add isl_printer | Sven Verdoolaege | 1 | -23/+47 |
2010-03-14 | document transitive closure implementation | Sven Verdoolaege | 6 | -2/+2813 |
2010-03-12 | add isl_pw_*_intersect_domain | Sven Verdoolaege | 1 | -0/+3 |
2010-03-12 | add isl_pw_*_domain | Sven Verdoolaege | 1 | -0/+3 |
2010-03-09 | add isl_pw_qpolynomial_foreach_lifted_piece | Sven Verdoolaege | 1 | -2/+17 |
2010-03-09 | add isl_set_from_point | Sven Verdoolaege | 1 | -1/+6 |
2010-03-09 | add isl_pw_qpolynomial_foreach_piece | Sven Verdoolaege | 1 | -0/+44 |
2010-03-05 | doc: update to removal of piplib as a submodule | Sven Verdoolaege | 1 | -4/+2 |
2010-03-05 | doc: fix typo | Sven Verdoolaege | 1 | -1/+1 |
2010-03-05 | add support for (piecewise) quasipolynomials | Sven Verdoolaege | 1 | -0/+123 |
2010-03-04 | add isl_set_sample_point | Sven Verdoolaege | 1 | -0/+11 |
2010-03-04 | add isl_point | Sven Verdoolaege | 1 | -0/+53 |
2010-03-04 | add isl_set_complement | Sven Verdoolaege | 1 | -0/+5 |
2010-03-04 | export isl_map_make_disjoint | Sven Verdoolaege | 1 | -0/+10 |
2010-03-04 | add isl_set_fast_is_universe | Sven Verdoolaege | 1 | -0/+1 |
2010-02-10 | export isl_map_align_divs | Sven Verdoolaege | 1 | -0/+9 |
2010-02-09 | doc: document how to inspect sets and relations | Sven Verdoolaege | 1 | -0/+72 |
2010-02-09 | doc: drop documentation of _dump functions | Sven Verdoolaege | 1 | -15/+0 |
2010-02-08 | doc: improve decription of isl_map_transitive_closure | Sven Verdoolaege | 1 | -1/+1 |
2010-02-03 | add isl_map_power and isl_map_transitive_closure | Sven Verdoolaege | 1 | -0/+23 |
2010-02-03 | add generic isl_map_project_out | Sven Verdoolaege | 1 | -3/+5 |
2010-01-31 | add dependence analysis | Sven Verdoolaege | 1 | -0/+80 |
2010-01-31 | add isl_map_{partial_,}lexopt | Sven Verdoolaege | 1 | -10/+30 |
2010-01-26 | doc: a bit more on integers | Sven Verdoolaege | 1 | -0/+6 |
2010-01-26 | doc: describe input/output formats | Sven Verdoolaege | 1 | -22/+58 |
2010-01-26 | doc: fix typo | Sven Verdoolaege | 1 | -1/+1 |
2010-01-25 | add omega output | Sven Verdoolaege | 1 | -1/+2 |
2010-01-25 | add isl output | Sven Verdoolaege | 1 | -2/+11 |
2010-01-25 | add isl_set_read_from_str | Sven Verdoolaege | 1 | -0/+2 |
2010-01-25 | add isl_map_read_from_str | Sven Verdoolaege | 1 | -0/+2 |
2010-01-25 | isl_input.c: optionally read parameters from input | Sven Verdoolaege | 1 | -10/+14 |
2010-01-25 | export isl_map_read_from_file | Sven Verdoolaege | 1 | -0/+2 |
2010-01-25 | export isl_basic_map_read_from_str | Sven Verdoolaege | 1 | -0/+2 |
2010-01-25 | drop redundant input_format argument from reading functions | Sven Verdoolaege | 1 | -18/+8 |
2009-12-16 | remove functions for converting between isl and PolyLib | Sven Verdoolaege | 1 | -48/+30 |
2009-11-15 | export isl_basic_map_lexmax | Sven Verdoolaege | 1 | -4/+6 |
2009-11-15 | add isl_basic_set_lexmax | Sven Verdoolaege | 1 | -2/+4 |
2009-10-02 | add isl_set_project_out | Sven Verdoolaege | 1 | -0/+2 |
2009-10-02 | add isl_basic_map_lexmin | Sven Verdoolaege | 1 | -1/+9 |
2009-10-02 | add isl_set_is_strict_subset | Sven Verdoolaege | 1 | -0/+3 |
2009-09-20 | AX_SUBMODULE: drop options that are meaningless given possible choices | Sven Verdoolaege | 1 | -4/+0 |
2009-09-16 | doc: fix description of lexicograhpic order relations | Sven Verdoolaege | 1 | -3/+4 |
2009-09-16 | add isl_map_lex_le and isl_map_lex_ge | Sven Verdoolaege | 1 | -1/+6 |
2009-09-09 | add isl_map_lex_lt and isl_map_lex_gt | Sven Verdoolaege | 1 | -0/+12 |
2009-09-06 | add a rudimentary manual | Sven Verdoolaege | 4 | -0/+948 |