Public Git Hosting - isl.git/search

2016-03-10	Sven Verdoolaege	isl_local_space_divs_known: reuse isl_local_space_div_is_known Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-10	Sven Verdoolaege	isl_local_space_div_is_known: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-10	Sven Verdoolaege	add AST generation test case test_inputs/codegen/correlation.st Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-10	Sven Verdoolaege	isl_map_partial_lexopt_aligned_pw_multi_aff: do not... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-10	Sven Verdoolaege	isl_map_lexopt_templ.c: basic_map_partial_lexopt*:... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-10	Sven Verdoolaege	isl_map_lexopt_templ.c: fix whitespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-10	Sven Verdoolaege	isl_map_is_disjoint: avoid computing entire intersection Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-10	Sven Verdoolaege	isl_map_plain_is_disjoint: extract out isl_map_plain_is_disj... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-10	Sven Verdoolaege	isl_map_plain_is_disjoint: extract out all_pairs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-10	Sven Verdoolaege	isl_map_is_disjoint: check for (obviously) equal inputs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-10	Sven Verdoolaege	isl_multi_hash.c: add missing copyright statement Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-10	Sven Verdoolaege	isl_pw_hash.c: add missing copyright statement Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-09	Sven Verdoolaege	add isl_multi_aff_lex_{lt,gt}_set Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-04	Sven Verdoolaege	generalize isl_hmap_templ.c Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-04	Sven Verdoolaege	isl_scheduler.c: inter_coefficients: use isl_map_to_basic_se... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-04	Sven Verdoolaege	isl_scheduler.c: intra_coefficients: use isl_map_to_basic_se... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-04	Sven Verdoolaege	isl_ast_expr_substitute_ids: use isl_id_to_ast_expr_try_get Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-04	Sven Verdoolaege	add isl__to__try_get Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-04	Sven Verdoolaege	add isl_val_get_hash Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-04	Sven Verdoolaege	add isl_union_{set,map}_get_hash Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-04	Sven Verdoolaege	add isl_multi_pw_aff_get_hash Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-04	Sven Verdoolaege	add isl_pw_aff_get_hash Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-04	Sven Verdoolaege	extract out isl_pw_macro.h Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-04	Sven Verdoolaege	add isl_aff_get_hash Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-04	Sven Verdoolaege	add isl_local_space_get_hash Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-04	Sven Verdoolaege	add isl_mat_get_hash Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-04	Sven Verdoolaege	add isl_vec_get_hash Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-04	Sven Verdoolaege	isl_ast_build_has_stride: return isl_bool Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-04	Sven Verdoolaege	add isl_bool_not Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-01	Sven Verdoolaege	isl_pw_aff_cond: special case equal arguments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-03-01	Sven Verdoolaege	export isl_{set,map}_unshifted_simple_hull Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-28	Sven Verdoolaege	export isl_set_{min,max}_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-28	Sven Verdoolaege	isl_basic_map_sample: cache sample in input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-28	Sven Verdoolaege	extract out shared isl_mat_final_variable_compression Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-28	Sven Verdoolaege	isl_mat_variable_compression: extract out empty_compression Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-28	Sven Verdoolaege	isl_mat_variable_compression: reuse local variable Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-28	Sven Verdoolaege	isl_mat_variable_compression: check the number of equality... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-28	Sven Verdoolaege	isl_mat_variable_compression: use isl_mat_get_ctx Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-25	Sven Verdoolaege	isl_map.c: set_parameter_preimage: add memory management... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-25	Sven Verdoolaege	isl_map.c: set_parameter_preimage: avoid looking into... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-25	Sven Verdoolaege	isl_map.c: set_parameter_preimage: avoid looking into... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-25	Sven Verdoolaege	isl_map.c: set_parameter_preimage: do not drop isl_set_reset... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-25	Sven Verdoolaege	isl_map.c: set_parameter_preimage: rename "dim" variable... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-25	Sven Verdoolaege	isl_basic_map_drop_redundant_divs: exploit equalities... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-22	Sven Verdoolaege	isl_map_simplify.c: extract out isl_basic_map_mark_div_unknown Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-22	Sven Verdoolaege	extract out shared isl_basic_map_first_unknown_div Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-22	Sven Verdoolaege	move integer division sanity check to isl_basic_map_order_divs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-22	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: exploit partial solution... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-22	Sven Verdoolaege	isl_transitive_closure.c: empty_path_is_identity: call... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-22	Sven Verdoolaege	add isl_basic_{set,map}_plain_is_universe Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-22	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2016-02-22	Sven Verdoolaege	isl_basic_map_is_universe: take into account non-obvious... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-22	Sven Verdoolaege	isl_set_preimage: plug memory leak on error path Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-22	Sven Verdoolaege	isl_basic_map_project_out: drop irrelevant constraints... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-22	Sven Verdoolaege	privately expose isl_basic_map_drop_unrelated_constraints Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-22	Sven Verdoolaege	isl_basic_map_is_empty: extract out isl_basic_map_plain_is_n... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-22	Sven Verdoolaege	isl_basic_map_project_out: add check for existentially... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-22	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2016-02-22	Sven Verdoolaege	isl_map_simplify.c: drop_unrelated_constraints: avoid... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-22	Sven Verdoolaege	isl_map_simplify.c: drop_unrelated_constraints: improve... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-18	Sven Verdoolaege	isl_basic_set_expand_divs: avoid moving coefficients... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-18	Sven Verdoolaege	isl_test.c: generalize min/max tests Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-17	Sven Verdoolaege	isl_basic_map_preimage_multi_aff: fix handling of integer... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-11	Sven Verdoolaege	doc/user.pod: fix typo Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-11	Sven Verdoolaege	isl_ast_build_expr_from_pw_aff: optionally detect cases... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-11	Sven Verdoolaege	isl_ast_build_expr.c: ast_expr_from_pw_aff: delay constructi... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-11	Sven Verdoolaege	isl_ast_build_expr.c: ast_expr_from_pw_aff: extract... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-11	Sven Verdoolaege	isl_ast_build_expr.c: ast_expr_from_pw_aff: move struct... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-11	Sven Verdoolaege	add isl_set_list_union Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-11	Sven Verdoolaege	add isl_multi_pw_aff_is_cst Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-11	Sven Verdoolaege	add isl_ast_node_foreach_descendant_top_down Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-11	Sven Verdoolaege	optionally print AST macro definitions only once Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-11	Sven Verdoolaege	add isl_ast_expr_print_macros Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-11	Sven Verdoolaege	add isl_ast_expr_foreach_ast_op_type Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-11	Sven Verdoolaege	isl_ast_node_foreach_ast_op_type: extract out foreach_ast_op... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-11	Sven Verdoolaege	add isl_ast_op_type_set_print_name Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-11	Sven Verdoolaege	isl_ast_op_type_print_macro: reduce risk of using inconsiste... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-11	Sven Verdoolaege	isl_ast.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-11	Sven Verdoolaege	isl_printer: keep track of notes Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-10	Sven Verdoolaege	isl/id.h: avoid inclusion of full isl/printer.h Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-10	Sven Verdoolaege	isl/printer.h: extract out isl/printer_type.h Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-10	Sven Verdoolaege	add isl_id_to_id Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-10	Sven Verdoolaege	isl_id_set_free_user: drop spurious memory annotation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-10	Sven Verdoolaege	isl_basic_map_drop_redundant_divs: fix div with single... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-10	Sven Verdoolaege	privately expose isl_basic_map_fix Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-10	Sven Verdoolaege	isl_basic_map_drop_redundant_divs: fix div with single... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-10	Sven Verdoolaege	isl_basic_map_drop_redundant_divs: extract out drop_redundan... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-10	Sven Verdoolaege	isl_basic_map_drop_redundant_divs: extract out is_opposite Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-09	Sven Verdoolaege	isl_map_simplify.c: fix typo in comment Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-08	Sven Verdoolaege	isl_schedule_tree: remove support for "static" trees Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-08	Sven Verdoolaege	isl_schedule: store pointer to leaf instead of actual... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-08	Sven Verdoolaege	isl_schedule_tree documentation: remove remnant of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-08	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
2016-02-08	Sven Verdoolaege	isl_schedule_node_order_{before,after}: return original... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-08	Sven Verdoolaege	isl_schedule_node_order_before_or_after: postpone destructio... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-02	Sven Verdoolaege	extract_interface.cc: main: avoid different signs comparison... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-02	Sven Verdoolaege	python.cc: isl_class::print: avoid different signs... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-02	Sven Verdoolaege	python.cc: print_class_header: avoid different signs... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-02-02	Sven Verdoolaege	python.cc: print_callback: avoid different signs comparison... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2016-01-25	Sven Verdoolaege	Merge branch 'maint'	commit \| commitdiff \| tree
next

Integer set library

RSS Atom