Public Git Hosting - isl.git/search

2011-02-17	Sven Verdoolaege	isl_stream_read_map: accept 'true' and 'false' constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-17	Sven Verdoolaege	isl_stream_read_map: allow extra ';' at end of map... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-17	Sven Verdoolaege	isl_stream_read_map: allow negations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-17	Sven Verdoolaege	isl_stream_read_map: allow existential quantification... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-17	Sven Verdoolaege	privately export isl_basic_map_add_div_constraints_var Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-13	Sven Verdoolaege	isl_morph_basic_set: preserve rationality of input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-13	Sven Verdoolaege	add isl_basic_set_is_rational Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-13	Sven Verdoolaege	isl_printer_print_basic_map: explicitly mark rational...	commit \| commitdiff \| tree
2011-02-13	Sven Verdoolaege	isl_stream_read_map: read rational maps Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-13	Sven Verdoolaege	isl_basic_map_insert: preserve rationality of input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-13	Sven Verdoolaege	add isl_basic_map_set_rational Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-13	Sven Verdoolaege	isl_basic_map_fast_cmp: differentiate between rational... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-13	Sven Verdoolaege	isl_output.c: remove some code duplication Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-13	Sven Verdoolaege	isl_printer_print_basic_{set,map}: don't start new... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-12	Sven Verdoolaege	isl_stream_read_map: accept '\|' at start of constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-12	Sven Verdoolaege	isl_stream: keep track of textual representation of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-11	Sven Verdoolaege	isl_input.c: clean up read_disjuncts Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-11	Sven Verdoolaege	isl_stream_read_map: accept disjunctions within a conjunct Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-10	Sven Verdoolaege	isl_convex_hull.c: explicitly mark wrapping lp problem... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-10	Sven Verdoolaege	isl_tab_min: micro-optimization: postpone taking into... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	isl_tab_add_row: add further explanation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	isl_tab.c: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	isl_tab_pip.c: correctly detect non-negativity of divs... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	add test	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	test both context handling mechanisms of isl_pip Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	isl_tab_is_equality: properly support "big parameter" Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	isl_tab_pip.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	isl_affine_hull.c: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	isl_union_map_compute_flow: return accesses with no... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2011-02-05	Sven Verdoolaege	isl_union_map.c: inplace: pass data pointer to isl_hash_tabl... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-27	Sven Verdoolaege	isl_dim_move: update parameters of nested spaces Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-27	Sven Verdoolaege	add isl_map_nat_universe Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-27	Sven Verdoolaege	clean up isl_set_from_basic_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-27	Sven Verdoolaege	merge isl_basic_set/isl_basic_map and isl_set/isl_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-26	Sven Verdoolaege	rename "omega" transitive closure to "box" transitive... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	export isl_int_obj_free Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	isl_vertices.c: fix typos Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	isl_union_templ.c: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	isl_map_subtract.c: n_non_redundant: propage isl_ctx Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	isl_bernstein.c: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	add isl_union_pw_qpolynomial_mul_isl_int Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	isl_stream_read_obj: read int objects Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-23	Sven Verdoolaege	add int objects for use in iscc Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-22	Sven Verdoolaege	isl_basic_map_remove_divs: finalize result Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-22	Sven Verdoolaege	add isl_basic_set_get_tuple_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-22	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2011-01-22	Sven Verdoolaege	isl_union_map_sample: don't return NULL on empty input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-21	Sven Verdoolaege	isl_basic_map_set_tuple_name: finalize result Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-21	Sven Verdoolaege	isl_transitive_closure.c: more anonymize input map... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-21	Sven Verdoolaege	isl_basic_set_factorizer: make sure group information... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-19	Sven Verdoolaege	add isl_union_map_range_product Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-19	Sven Verdoolaege	doc: document product functions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-19	Sven Verdoolaege	rename isl_basic_set_product to isl_basic_set_list_product Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-18	Sven Verdoolaege	isl_set_convex_hull: optionally use Fourier-Motzkin... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	isl_basic_set_sample_point: exploit factorization if any Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	add isl_morph_vec Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	change prototype of isl_vec_dump Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	add isl_printer_print_vec Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	add isl_union_set_apply_union_pw_qpolynomial_fold Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	export isl_union_map_from_domain and isl_union_map_from_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	isl_basic_map_intersect_domain: replace open-coded... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	isl_stream_read_map: accept modulo expressions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	isl_basic_map_insert: don't simplify the result Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2011-01-16	Sven Verdoolaege	isl_basic_map_from_constraint_matrices: clear newly... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-12	Sven Verdoolaege	isl_token_free: free string representation of keywords Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-12	Sven Verdoolaege	isl_input.c: read_factor: drop unexpected identifier Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-12	Sven Verdoolaege	isl_input.c: accept_affine_factor: avoid double free... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-08	Sven Verdoolaege	isl_stream_read_map: allow space names that happen... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-08	Sven Verdoolaege	isl_stream_next_token: keep track of string representation... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-07	Sven Verdoolaege	add isl_basic_set_flatten Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-07	Sven Verdoolaege	add isl_union_map_simple_hull Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-07	Sven Verdoolaege	Merge branch 'maint' Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-07	Sven Verdoolaege	add isl_set_remove_unknown_divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-07	Sven Verdoolaege	isl_map_is_subset: don't compute divs of minuend Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-07	Sven Verdoolaege	rename isl_map_is_singleton to isl_map_fast_is_singleton Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-07	Sven Verdoolaege	add isl_map_fast_is_single_valued Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-07	Sven Verdoolaege	add isl_qpolynomial_dump Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-07	Sven Verdoolaege	export isl_union_set_dump Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-07	Sven Verdoolaege	isl_qpolynomial_add_on_domain: compute gist with respect... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-06	Sven Verdoolaege	isl_union_map_coalesce and isl_union_map_compute_divs... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-06	Sven Verdoolaege	isl_basic_map_solve_lp: use denominator Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-05	Sven Verdoolaege	Merge commit 'isl-0.05.1' Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-05	Sven Verdoolaege	isl 0.05.1 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-05	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: fix up symmetry detection Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-05	Sven Verdoolaege	isl_basic_map_universe: finalize result Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-01-05	Sven Verdoolaege	isl_seq.h: allow inclusion from C++	commit \| commitdiff \| tree
2010-12-30	Sven Verdoolaege	reimplement isl_map_partial_lexopt Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-30	Sven Verdoolaege	isl_map: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-30	Sven Verdoolaege	add some more isl_map_lexmin tests Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-29	Sven Verdoolaege	add isl_qpolynomial_add_isl_int Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-29	Sven Verdoolaege	add isl_pw_qpolynomial_fold_dump Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-29	Sven Verdoolaege	add isl_pw_qpolynomial_dump Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-29	Sven Verdoolaege	add isl_qpolynomial_fold_dump Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-29	Sven Verdoolaege	add isl_qpolynomial_fold_get_ctx Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-29	Sven Verdoolaege	isl_printer_print_qpolynomial_fold: support C format Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-29	Sven Verdoolaege	export isl_printer_print_qpolynomial_fold Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-29	Sven Verdoolaege	export isl_union_map_dump Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom