isl.git
2010-03-10 Sven Verdoolaegeisl 0.02isl-0.02
2010-03-10 Sven Verdoolaegeisl_pw_templ.c: copy: fix return
2010-03-10 Sven Verdoolaegeisl_polynomial.c: qpolynomial_fold_alloc: fix up condition
2010-03-10 Sven Verdoolaegeupdate AUTHORS
2010-03-10 Sven Verdoolaegeisl_pip: use isl_set_print instead of isl_set_dump...
2010-03-10 Sven Verdoolaegeadd some pip tests from the piplib distribution
2010-03-10 Sven Verdoolaegedon't print newline in ISL_FORMAT_ISL
2010-03-09 Sven Verdoolaegeuse typedef to ensure argument to mp_get_memory_functio...
2010-03-09 Sven Verdoolaegeadd isl_obj_pw_qpolynomial_fold
2010-03-09 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_eval
2010-03-09 Sven Verdoolaegeadd isl_pw_qpolynomial_fold
2010-03-09 Sven Verdoolaegeadd isl_pw_qpolynomial_foreach_lifted_piece
2010-03-09 Sven Verdoolaegeadd isl_set_lift
2010-03-09 Sven Verdoolaegeadd isl_set_from_point
2010-03-09 Sven Verdoolaegeadd isl_mat_insert_cols
2010-03-09 Sven Verdoolaegeadd isl_pw_qpolynomial_dim
2010-03-09 Sven Verdoolaegeadd isl_pw_qpolynomial_foreach_piece
2010-03-09 Sven Verdoolaegeadd isl_pw_qpolynomial_get_dim
2010-03-09 Sven Verdoolaegeadd isl_div_dim
2010-03-09 Sven Verdoolaegeisl_stream: allow "_" in tokens
2010-03-09 Sven Verdoolaegeisl_stream: accept "@" token
2010-03-09 Sven Verdoolaegeisl_map_read: accept '*' in affine expressions
2010-03-09 Sven Verdoolaegeisl_qpolynomial_eval: use consistent dimension for...
2010-03-05 Sven Verdoolaegedoc: update to removal of piplib as a submodule
2010-03-05 Sven Verdoolaegedoc: fix typo
2010-03-05 Sven Verdoolaegeisl_stream_read_obj: add support for reading piecewise...
2010-03-05 Sven Verdoolaegeadd isl_stream_read_obj
2010-03-05 Sven Verdoolaegeadd generic isl_obj
2010-03-05 Sven Verdoolaegeadd support for (piecewise) quasipolynomials
2010-03-04 Sven Verdoolaegeadd isl_map_move
2010-03-04 Sven Verdoolaegeisl_stream: parse NaN
2010-03-04 Sven Verdoolaegeisl_stream: parse infty
2010-03-04 Sven Verdoolaegeexport isl_stream.h
2010-03-04 Sven Verdoolaegeisl_stream: allow user specified keywords
2010-03-04 Sven Verdoolaegeisl_stream: add some auxiliary functions
2010-03-04 Sven Verdoolaegeisl_stream: read "definition" token ":="
2010-03-04 Sven Verdoolaegeadd isl_int_tdiv_q
2010-03-04 Sven Verdoolaegeprivately export isl_set_contains_point
2010-03-04 Sven Verdoolaegeadd isl_set_count
2010-03-04 Sven Verdoolaegeadd isl_set_sample_point
2010-03-04 Sven Verdoolaegeadd isl_point
2010-03-04 Sven Verdoolaegeisl_basic_set_scan: make sure sufficient rows are alloc...
2010-03-04 Sven Verdoolaegeisl_map_subtract: only add divs when needed
2010-03-04 Sven Verdoolaegeadd isl_map_order_divs
2010-03-04 Sven Verdoolaegeextract isl_tab_add_div from isl_tab_pip.c
2010-03-04 Sven Verdoolaegeisl_vec.c: fix minor whitespace issue
2010-03-04 Sven Verdoolaegeadd isl_set_complement
2010-03-04 Sven Verdoolaegeexport isl_map_make_disjoint
2010-03-04 Sven Verdoolaegeadd isl_hash_table_foreach
2010-03-04 Sven Verdoolaegeisl_map_print: extract out print_disjuncts
2010-03-04 Sven Verdoolaegeadd isl_set_fast_is_universe
2010-03-04 Sven Verdoolaegeisl_input.c: accept_affine: fix memory leak on error...
2010-03-04 Sven Verdoolaegeisl_map_intersect: detect empty result also in case...
2010-03-04 Sven Verdoolaegeisl_map_read: skip until the end of the last line when...
2010-03-04 Sven Verdoolaegeisl_stream_next_token_on_same_line: check if last token...
2010-03-04 Sven Verdoolaegeisl_set_wrap_facet: make sure set is marked rational
2010-03-04 Sven Verdoolaegeisl_coalesce.c: fix typo in comment
2010-02-19 Sven Verdoolaegeisl_map_read: accept list of predicated elements
2010-02-19 Sven Verdoolaegeisl_map_read: extract out parsing of map body
2010-02-19 Sven Verdoolaegeisl_map_read: add dummy variable name for unnamed variables
2010-02-19 Sven Verdoolaegeisl_stream: accept ";" token
2010-02-19 Sven Verdoolaegeuse -O1 optimization level for gcc 4.2
2010-02-19 Sven Verdoolaegedrop comma at the end of enumerations in include files
2010-02-18 Sven Verdoolaegeisl_map_read: accept affine combinations of earlier...
2010-02-18 Sven Verdoolaegeisl_map_read: construct basic map while reading variabl...
2010-02-18 Sven Verdoolaegeisl_map_print: add primes to duplicate names
2010-02-18 Sven Verdoolaegeisl_map_transitive_closure: improve accuracy by copying...
2010-02-18 Sven Verdoolaegeisl_map_transitive_closure: perform exactness check...
2010-02-18 Sven Verdoolaegeisl_map_transitive_closure: reformulate exactness test...
2010-02-18 Sven Verdoolaegeadd a transitive closure example from the Omega test...
2010-02-18 Sven Verdoolaegeisl_map_transitive_closure: compute power on strongly...
2010-02-17 Sven Verdoolaegeisl_map_transitive_closure: intersect with domain and...
2010-02-17 Sven Verdoolaegeisl_map_transitive_closure: extract out construction...
2010-02-17 Sven Verdoolaegeisl_map_transitive_closure: move acyclicity test up...
2010-02-17 Sven Verdoolaegeadd isl_set_lower_bound_si
2010-02-17 Sven Verdoolaegeisl_map_print: use consistent names on all disjuncts
2010-02-17 Sven Verdoolaegeisl_cat: allow specification of output format on comman...
2010-02-17 Sven Verdoolaegeisl_map_print: support ISL_FORMAT_POLYLIB
2010-02-17 Sven Verdoolaegeisl_map_coalesce: fix some regressions introduced by...
2010-02-15 Sven Verdoolaegeadd isl_closure test application
2010-02-15 Sven Verdoolaegeadd transitive closure example from Kelly's 1996 paper
2010-02-15 Sven Verdoolaegeisl_map_transitive_closure: construct general paths
2010-02-15 Sven Verdoolaegeisl_map_transitive_closure: prepare for the constructio...
2010-02-15 Sven Verdoolaegeisl_map_transitive_closure: construct paths that can...
2010-02-15 Sven Verdoolaegeisl_transitive_closure: extract out construction of...
2010-02-15 Sven Verdoolaegeisl_map_transitive_closure: use more generic acyclicity...
2010-02-15 Sven Verdoolaegeisl_map_print: add parentheses around disjuncts
2010-02-15 Sven Verdoolaegeisl_hash_table: use size that corresponds to the number...
2010-02-15 Sven Verdoolaegeisl_hash_table: grow table when we run out of entries
2010-02-15 Sven Verdoolaegeisl_map_coalesce: only use non-redundant constraints...
2010-02-13 Sven Verdoolaegeadd isl_set_fix_si
2010-02-13 Sven Verdoolaegeisl_map_read: accept chains of comparisons
2010-02-10 Sven Verdoolaegeexport isl_map_align_divs
2010-02-10 Sven Verdoolaegeisl_map_read: forget existentially quantified variables...
2010-02-10 Sven Verdoolaegeisl_input.c: remove needless indirection
2010-02-09 Sven Verdoolaegedoc: document how to inspect sets and relations
2010-02-09 Sven Verdoolaegeexport isl_map_compute_divs
2010-02-09 Sven Verdoolaegeisl_constraint_div: make sure requested div is a known div
2010-02-09 Sven Verdoolaegedoc: drop documentation of _dump functions
2010-02-09 Sven Verdoolaegeisl_map_print: improve output
next