Public Git Hosting - isl.git/search

2010-11-08	Sven Verdoolaege	isl_bound: accept folds as input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-08	Sven Verdoolaege	isl_bound: use isl_pw_qpolynomial_folds internally Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-08	Sven Verdoolaege	export isl_pw_qpolynomial_fold_fix_dim Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-06	Sven Verdoolaege	add isl_union_set_polyhedral_hull Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-05	Sven Verdoolaege	isl_pw_qpolynomial_gist: also try to eliminate integer... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-05	Sven Verdoolaege	hide some functions that were exposed by mistake Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-04	Sven Verdoolaege	isl_qpolynomial_substitute_equalities: eliminate integer... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-04	Sven Verdoolaege	isl_stream_read_pw_qpolynomial: read nested divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-04	Sven Verdoolaege	isl_qpolynomial_div_pow: allow nested divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-04	Sven Verdoolaege	isl_printer_print_qpolynomial: properly print nested... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-04	Sven Verdoolaege	isl_qpolynomial_substitute_equalities: ignore constant... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-04	Sven Verdoolaege	isl_qpolynomial_substitute_equalities: don't use equalities... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-01	Sven Verdoolaege	isl_basic_map_underlying_set: remove any structure... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-11-01	Sven Verdoolaege	export isl_set_reset_dim Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-30	Sven Verdoolaege	isl_qpolynomial_morph: properly handle change in number... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-28	Sven Verdoolaege	isl_stream_read_map: read_var_def: read var definition... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-27	Sven Verdoolaege	add isl_set_remove_divs_involving_dims Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-26	Sven Verdoolaege	add isl_div_div	commit \| commitdiff \| tree
2010-10-26	Sven Verdoolaege	add isl_div_copy	commit \| commitdiff \| tree
2010-10-26	Sven Verdoolaege	export isl_pw_qpolynomial_fold_set_dim_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-26	Sven Verdoolaege	doc: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-26	Sven Verdoolaege	export isl_pw_qpolynomial_fold_add Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-26	Sven Verdoolaege	add isl_set_flatten_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-26	Sven Verdoolaege	isl_pw_qpolynomial_gist: substitute equalities in polynomials Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-26	Sven Verdoolaege	isl_pw_qpolynomial_gist: drop empty pieces in result Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-26	Sven Verdoolaege	isl_map_gist_basic_map: drop empty pieces in result Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-26	Sven Verdoolaege	rename isl_map_remove to isl_map_remove_dims Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-26	Sven Verdoolaege	isl_pw_qpolynomial_print: properly print divs in ISL_FORMAT_C Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-26	Sven Verdoolaege	isl_stream: allow tokens to start with "_" Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-26	Sven Verdoolaege	isl_set_alloc_dim: fix memory leak on error path Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-26	Sven Verdoolaege	fix isl_union_{set,map}_lex_g{e,t}_union_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-26	Sven Verdoolaege	isl_stream_read_map: read_var_list: simplify and finalize... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-20	Sven Verdoolaege	isl_dim_replace: fix handling of nested spaces Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-17	Sven Verdoolaege	support extended PolyLib output format Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-17	Sven Verdoolaege	doc: mention LaTeX output format Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-17	Sven Verdoolaege	add isl_union_set_identity Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-17	Sven Verdoolaege	basic_map_read_polylib: clear newly created divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-17	Sven Verdoolaege	compute explicit divs for context before calling isl_basic_m... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-17	Sven Verdoolaege	add isl_set_flatten Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-17	Sven Verdoolaege	isl_dim_flatten: remove space names when internal structure... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-16	Sven Verdoolaege	isl_stream_read_map: properly parse nested spaces Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-16	Sven Verdoolaege	isl_dim_drop: also drop parameters from nested spaces Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-16	Sven Verdoolaege	privately export isl_basic_map_reset_dim Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-13	Sven Verdoolaege	isl_map_coalesce: handle some cases of pairs of adjacent... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-13	Sven Verdoolaege	isl_mat_right_inverse: fix memory leak on error path Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-11	Sven Verdoolaege	isl_union_pw_qpolynomial_zero: check for NULL input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-11	Sven Verdoolaege	export isl_basic_set_sample_point Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-11	Sven Verdoolaege	basis_reduction_templ.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-11	Sven Verdoolaege	export isl_basic_set_reduced_basis Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-10	Sven Verdoolaege	add isl_int_[gs]et_gmp Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-10	Sven Verdoolaege	isl_pw_qpolynomial_print: print modulo constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-10	Sven Verdoolaege	export isl_basic_set_lift Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-10	Sven Verdoolaege	add isl_union_map_intersect_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-10	Sven Verdoolaege	add isl_constraint_get_dim_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-10	Sven Verdoolaege	add isl_set_n_basic_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-10	Sven Verdoolaege	add isl_pw_qpolynomial_set_dim_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-10	Sven Verdoolaege	add isl_union_pw_qpolynomial_extract_pw_qpolynomial Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-09	Sven Verdoolaege	add isl_union_set_extract_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-09	Sven Verdoolaege	add isl_union_set_n_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-09	Sven Verdoolaege	add isl_set_get_dim_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-09	Sven Verdoolaege	add isl_set_get_tuple_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-09	Sven Verdoolaege	add isl_union_set_dump for debugging Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-06	Sven Verdoolaege	rename isl_map_add to isl_map_add_dims Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-06	Sven Verdoolaege	isl_basic_map_gauss: normalize resulting constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-06	Sven Verdoolaege	fix return type of isl_union_set_lex_*_union_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-06	Sven Verdoolaege	isl_basic_set_multiplicative_call: handle parametric... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-10-06	Sven Verdoolaege	isl_dim_replace: call isl_dim_cow before changing isl_dim Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-25	Sven Verdoolaege	export isl_access_info_free Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-25	Sven Verdoolaege	add isl_basic_map_get_tuple_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-25	Sven Verdoolaege	add isl_basic_map_remove_divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-25	Sven Verdoolaege	add isl_union_map_compute_flow Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-25	Sven Verdoolaege	isl_access_info_compute_flow: preserve dimension specifications Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-25	Sven Verdoolaege	doc: document type of isl_access_info_alloc callback... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-25	Sven Verdoolaege	add isl_union_map_range_map and isl_union_map_domain_map Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-25	Sven Verdoolaege	add isl_basic_map_from_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-25	Sven Verdoolaege	add isl_union_map_apply_domain Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-25	Sven Verdoolaege	add isl_dim_from_domain and isl_dim_from_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-25	Sven Verdoolaege	doc: document some isl_dim manipulation functions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-25	Sven Verdoolaege	add isl_set_set_tuple_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-25	Sven Verdoolaege	add isl_basic_{set,map}_from_constraint_matrices Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-25	Sven Verdoolaege	add isl_basic_map_{in,}equalities_matrix Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-22	Sven Verdoolaege	isl_input.c: accept divs in affine expressions Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-22	Sven Verdoolaege	Revert "isl_input.c: read_tuple: construct isl_dim... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-22	Sven Verdoolaege	isl_input.c: obj_read: error out on intermediate NULL... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-22	Sven Verdoolaege	add isl_vec_zero_extend Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-22	Sven Verdoolaege	isl_input.c: store div definition in variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-22	Sven Verdoolaege	isl_basic_set_swap_vars: finalize result Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-21	Sven Verdoolaege	isl_printer_print_qpolynomial: put parentheses around... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-16	Sven Verdoolaege	add isl_basic_set_multiplicative_call Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-16	Sven Verdoolaege	add isl_qpolynomial_one Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-16	Sven Verdoolaege	merge isl_basic_set_drop_constraints_involving implementations Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-16	Sven Verdoolaege	add isl_basic_map_from_range Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-11	Sven Verdoolaege	fix parameter alignment when alignee has zero parameters Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-10	Sven Verdoolaege	isl 0.04 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-10	Sven Verdoolaege	add isl_union_set_lex_[lg][et]_union_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-10	Sven Verdoolaege	isl_dim_replace: recursively replace parameters in... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-04	Sven Verdoolaege	isl_input.c add_equalities: gauss and finalize result... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-04	Sven Verdoolaege	add public API for matrices Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-04	Sven Verdoolaege	isl_coalesce.c: fix typos in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2010-09-04	Sven Verdoolaege	isl_polytope_scan: improve error handling Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom