Public Git Hosting - isl.git/search

2011-04-21	Sven Verdoolaege	change prototype of isl_tab_dump Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-21	Sven Verdoolaege	add isl_map_remove_divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-21	Sven Verdoolaege	doc: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-21	Sven Verdoolaege	doc: add a note on the accuracy of our approximation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-21	Sven Verdoolaege	add isl_union_set_coefficients and isl_union_set_solutions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-19	Sven Verdoolaege	add isl_union_set_lift Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-19	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2011-04-19	Sven Verdoolaege	isl_tab: alway free saved basis undo record Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-19	Sven Verdoolaege	make sure destination for GDB module exists before... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-19	Sven Verdoolaege	isl_tab_pip.c: add_lexmin_eq: remove misguided optimizations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-11	Sven Verdoolaege	isl_basic_map_lexmin: turn off equality detection on... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-11	Sven Verdoolaege	use silent make rules Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-11	Sven Verdoolaege	isl_stream_read_map: fix handling of divs in tuples Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-11	Sven Verdoolaege	isl_mat_left_hermite: plug memory leak on error path Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-04-11	Sven Verdoolaege	plug memory leak in isl_mat_product Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	isl 0.06 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	doc: add some implementation details on parametric... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	isl_lp.c: avoid clang warning Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	isl_stream_read_map: accept floord and ceild expressions... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	isl_stream_read_map: accept min and max expressions... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	isl_stream_read_map: properly read nested divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	isl_stream_read_map: treat divs as output variables... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	isl_map_coalesce: plug memory leak on error path Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	isl_mat_extend: avoid memory leak when realloc fails Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	isl_basic_map_overlying_set: avoid memory leak when... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2011-03-18	Sven Verdoolaege	isl_stream_getc: avoid memory leak when realloc fails Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
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
next

Integer set library

RSS Atom