platform/upstream/isl.git
2010-04-02 Sven Verdoolaegeisl_tab_min_at_most_neg_one: restore sample value of...
2010-04-02 Sven Verdoolaegeisl_map_coalesce: avoid reconsidering pairs considered...
2010-04-02 Sven Verdoolaegeisl_tab.c: update debugging aid check_table to presence...
2010-04-02 Sven Verdoolaegeisl_tab_relax: make sure no non-negative rows get a...
2010-04-02 Sven Verdoolaegeisl_tab_pip.c: always set row sign of found row to...
2010-04-02 Sven Verdoolaegeisl_printer_print_basic_{set,map}: add closing "}"
2010-04-01 Sven Verdoolaegeexport isl_set_split_dims
2010-04-01 Sven Verdoolaegeadd isl_set_recession_cone
2010-04-01 Sven Verdoolaegeadd isl_set_dim_is_bounded
2010-04-01 Sven Verdoolaegeisl_map_transitive_closure: break early if input map...
2010-04-01 Sven Verdoolaegeisl_map_transitive_closure: coalesce after each step
2010-03-30 Sven Verdoolaegeexport isl_pw_qpolynomial_coalesce
2010-03-30 Sven Verdoolaegeisl_tab.c: unrelax: restore row if variable is non...
2010-03-30 Sven Verdoolaegeisl_tab.c: cut_to_hyperplane: add extra sanity check
2010-03-30 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_size
2010-03-30 Sven Verdoolaegeadd isl_pw_qpolynomial_split_dims
2010-03-30 Sven Verdoolaegeisl_qpolynomial_max: fix detection of inactive variables
2010-03-25 Sven Verdoolaegedoc: fix transitive closure example
2010-03-23 Sven Verdoolaegeisl_convex_hull.c: valid_direction: properly normalize...
2010-03-23 Sven Verdoolaegeisl_convex_hull.c: simplify computation of initial...
2010-03-23 Sven Verdoolaegeexport isl_pw_qpolynomial_is_zero
2010-03-23 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_dim
2010-03-23 Sven Verdoolaegeadd isl_int_get_d
2010-03-23 Sven Verdoolaegeadd isl_pw_qpolynomial_min
2010-03-23 Sven Verdoolaegeadd isl_pw_qpolynomial_fix_dim
2010-03-23 Sven Verdoolaegeadd isl_pw_qpolynomial_add_dims
2010-03-23 Sven Verdoolaegeexport isl_dim_move
2010-03-23 Sven Verdoolaegeisl_pw_qpolynomial_fold_add: remove redundant quasipoly...
2010-03-23 Sven Verdoolaegeisl_qpolynomial_alloc: take initial struct isl_upoly...
2010-03-23 Sven Verdoolaegeadd isl_set_solve_lp
2010-03-23 Sven Verdoolaegeisl_polynomial.c: separate out fold functionality to...
2010-03-23 Sven Verdoolaegeisl_pw_qpolynomial_{fold_,}print: set output format
2010-03-21 Sven Verdoolaegeimprove isl_pw_qpolynomial_move
2010-03-20 Sven Verdoolaegeadd isl_mat_move_cols
2010-03-19 Sven Verdoolaegeadd isl_pw_qpolynomial_drop_dims
2010-03-19 Sven Verdoolaegeadd isl_set_drop
2010-03-19 Sven Verdoolaegeadd isl_pw_qpolynomial_involves_dims
2010-03-18 Sven Verdoolaegeisl_stream: accept "%" token
2010-03-18 Sven Verdoolaegedoc: fix typo
2010-03-18 Sven Verdoolaegeadd basic isl_pw_qpolynomial_fold_coalesce
2010-03-18 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_get_ctx
2010-03-18 Sven Verdoolaegeisl_printer_print_pw_qpolynomial{,_fold}: allow printin...
2010-03-18 Sven Verdoolaegeadd isl_qpolynomial_get_den
2010-03-18 Sven Verdoolaegeadd isl_pw_qpolynomial_gist and isl_pw_qpolynomial_fold...
2010-03-18 Sven Verdoolaegeexport isl_map_gist
2010-03-18 Sven Verdoolaegeadd isl_map_insert
2010-03-18 Sven Verdoolaegeadd isl_printer
2010-03-14 Sven Verdoolaegeadd isl_pw_qpolynomial_max
2010-03-14 Sven Verdoolaegeisl_qpolynomial_add: replace 0-degree polynomials by...
2010-03-14 Sven Verdoolaegeadd isl_set_eliminate
2010-03-14 Sven Verdoolaegeisl_map_range: optimize case where the number of input...
2010-03-14 Sven Verdoolaegeisl_pw_qpolynomial_print: fix printing of unnamed piece...
2010-03-14 Sven Verdoolaegedocument transitive closure implementation
2010-03-13 Sven Verdoolaegeisl_stream: accept "." token
2010-03-12 Sven Verdoolaegeadd isl_pw_*_intersect_domain
2010-03-12 Sven Verdoolaegeadd isl_pw_*_domain
2010-03-10 Sven Verdoolaegeisl 0.02 isl-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
next