Public Git Hosting - isl.git/search

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
2010-12-29	Sven Verdoolaege	add isl_{set,map}_dump Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-29	Sven Verdoolaege	add isl_basic_{set,map}_dump Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-29	Sven Verdoolaege	isl_printer_print_basic_{set,map}: don't print newline... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-29	Sven Verdoolaege	rename isl__dump to isl__print_internal Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-27	Sven Verdoolaege	make isl/point.h self-contained Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-23	Sven Verdoolaege	isl 0.05 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-22	Sven Verdoolaege	isl_printer_print_basic_map: plug memory leak on error... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-22	Sven Verdoolaege	isl_dim_set_name: plug memory leak when overwriting... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-18	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: detect and exploit... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-18	Sven Verdoolaege	isl_tab_pip.c: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-18	Sven Verdoolaege	isl_pip: limit the total number of parameter values... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-18	Sven Verdoolaege	add isl_basic_set_count_upto Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-18	Sven Verdoolaege	isl_scan.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-15	Sven Verdoolaege	isl_flow.c: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-15	Sven Verdoolaege	isl_union_map_compute_flow: exploit fixed dimensions... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-15	Sven Verdoolaege	isl_union_map_compute_flow: avoid dependence on pointer... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-15	Sven Verdoolaege	dataflow analysis: allow absence of "textual" order... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-15	Sven Verdoolaege	add isl_map_get_hash Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-15	Sven Verdoolaege	basic_map_read_polylib: add more sanity checks Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-13	Sven Verdoolaege	isl_pip: preserve names of parameters in input context Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-13	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: avoid memory leak... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-11	Sven Verdoolaege	isl_pw_qpolynomial_fold_bound: avoid access to freed... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-07	Sven Verdoolaege	isl_basic_set_lift: properly update the number of extra... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-07	Sven Verdoolaege	doc: emphasize the need for isl_int_get_gmp and isl_int_set_gmp Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-07	Sven Verdoolaege	isl_qpolynomial_div: further normalize divs by reducing... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-07	Sven Verdoolaege	isl_stream_read_pw_qpolynomial: accept powers on compound... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-07	Sven Verdoolaege	add isl_qpolynomial_pow Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-07	Sven Verdoolaege	isl_qpolynomial: properly merge identical nested divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-07	Sven Verdoolaege	add isl_mat_col_add Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-07	Sven Verdoolaege	avoid using isl_basic_set and isl_basic_map internals... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-01	Sven Verdoolaege	hide isl_map internals Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-01	Sven Verdoolaege	hide isl_set internals Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-01	Sven Verdoolaege	hide isl_basic_map internals Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-12-01	Sven Verdoolaege	hide isl_basic_set internals Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-27	Sven Verdoolaege	add isl_basic_set_{in,}equalities_matrix Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-26	Sven Verdoolaege	isl_arg_parse: support footer Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-26	Sven Verdoolaege	isl_arg_parse: avoid duplicate newline in help output Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-26	Sven Verdoolaege	isl_arg_parse: support grouping of options within the... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-26	Sven Verdoolaege	isl_arg_parse: support int options Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-26	Sven Verdoolaege	isl_arg_parse: support ISL_ARG_HIDDEN flag Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-26	Sven Verdoolaege	isl_arg_parse: support ISL_ARG_BOOL_ARG flag Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-26	Sven Verdoolaege	isl_arg_parse: support ISL_ARG_SINGLE_DASH flag Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-26	Sven Verdoolaege	isl_arg_parse: support aliases Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-26	Sven Verdoolaege	isl_arg_parse: always print help option Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-26	Sven Verdoolaege	isl_arg_parse: support phantom boolean options Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-26	Sven Verdoolaege	isl_arg_parse: free string arguments before overwriting... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-26	Sven Verdoolaege	isl_arg_parse: allow options after arguments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-26	Sven Verdoolaege	isl_arg_parse: only print --version option once Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-26	Sven Verdoolaege	isl_arg_parse: print string option default Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-24	Sven Verdoolaege	isl_arg_parse: delimit string option argument by angle... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-24	Sven Verdoolaege	isl_arg_parse: allow options without long name	commit \| commitdiff \| tree
2010-11-24	Sven Verdoolaege	isl_vec_read_polylib: use isl_stream Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-20	Sven Verdoolaege	Rename headers from isl_header.h to isl/header.h Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-18	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: fix memory leak on... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom