Public Git Hosting - isl.git/search

2011-03-18	Sven Verdoolaege	rudimentary support for asynchronous termination of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-16	Sven Verdoolaege	hide isl_ctx internals Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-15	Sven Verdoolaege	isl_vec_read_from_file: drop input_format argument Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-15	Sven Verdoolaege	isl_map.c: drop unused error label Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-15	Sven Verdoolaege	isl_input.c: drop unused error label Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-15	Sven Verdoolaege	respect DESTDIR when installing isl.py Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-12	Sven Verdoolaege	isl_stream: accept "$" token Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-12	Sven Verdoolaege	add isl_union_map_power Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-12	Sven Verdoolaege	change isl_map_power interface Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-12	Sven Verdoolaege	add isl_union_map_zip Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-12	Sven Verdoolaege	add private isl_basic_map_swap_vars Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-10	Sven Verdoolaege	add isl_union_map_deltas_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-10	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2011-03-10	Sven Verdoolaege	isl_map_deltas: don't copy flags from input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-05	Sven Verdoolaege	isl_stream_read_map: accept constant expressions of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-05	Sven Verdoolaege	isl_stream: accept "/\" and "\/" as alternatives for... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-05	Sven Verdoolaege	isl_stream: only quote newline using '\' Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-05	Sven Verdoolaege	isl_stream: maintain private ungetc buffer Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-02	Sven Verdoolaege	isl_set_lifting: simplify and finalize result Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-02	Sven Verdoolaege	doc: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-02	Sven Verdoolaege	doc: drop long outdated note on transitive closures Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-01	Sven Verdoolaege	add isl_basic_set_get_dim_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-25	Sven Verdoolaege	isl_map_identity: take dimension specification of map... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-25	Sven Verdoolaege	rename isl_dim_map to isl_dim_map_from_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-25	Sven Verdoolaege	transitive closure: project out parameters when any... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-21	Sven Verdoolaege	privately export isl_basic_set_reset_dim Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-21	Sven Verdoolaege	isl_set_lift: preserve structure of space Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-21	Sven Verdoolaege	isl_pw_qpolynomial_bound: handle combination of wrapping... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-21	Sven Verdoolaege	isl_tab_pip.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-21	Sven Verdoolaege	isl_tab: check for obviously empty tableaus after discoverin... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-21	Sven Verdoolaege	isl_basic_map_gist: prefer contraints without existentially... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-20	Sven Verdoolaege	isl_basic_map_sort_constraints: change comparison routine Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-19	Sven Verdoolaege	isl_tab_ineq_type: classify more constraints as being... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-19	Sven Verdoolaege	isl_map_coalesce: be more relaxed about multiple equalities... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-18	Sven Verdoolaege	add isl_basic_map_from_domain_and_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-18	Sven Verdoolaege	add isl_basic_set_neg Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-18	Sven Verdoolaege	add isl_basic_set_flat_product Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-18	Sven Verdoolaege	export isl_basic_map_flatten Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-18	Sven Verdoolaege	add isl_basic_map_from_qpolynomial Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-17	Sven Verdoolaege	isl_stream: support \<newline> line continuation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-02-17	Sven Verdoolaege	add isl_union_map_read_from_file Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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
next

Integer set library

RSS Atom