Public Git Hosting - isl.git/search

2017-10-13	Sven Verdoolaege	isl_test.c: use isl_constraint_set_constant_si instead... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-10-13	Sven Verdoolaege	isl_test.c: use isl_constraint_set_coefficient_si instead... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-10-13	Sven Verdoolaege	isl_test.c: test_fixed_power: use isl_val instead of... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-10-13	Sven Verdoolaege	bound.c: use isl_val instead of isl_int Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-10-13	Sven Verdoolaege	expose isl_pw_qpolynomial_fold_fix_val Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-10-13	Sven Verdoolaege	remove deprecated band forests Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-10-13	Sven Verdoolaege	drop isl_basic_map_foreach_lexopt Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-10-13	Sven Verdoolaege	isl_map_dim_{min,max}: use isl_basic_map_lexopt_pw_multi_aff Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-10-12	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: split on parametric... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_test.c: test_dim_max_1: extract out check_single_piece Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_pip.c: extract out shared {row,col}_is_parameter_var Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_test.c: test_list: do not consider internal failure... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_test.c: test_un_val: do not consider internal failure... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_basic_set_non_trivial_lexmin: extract out better_nex... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_basic_set_constrained_lexmin: extract out pick_side Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_basic_set_non_trivial_lexmin: skip known impossible... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_pip.c: enter_level: extract out finished_all_cases Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_basic_set_non_trivial_lexmin: extract out enter_level Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_pip.c: move current best solution into isl_lexmin_data Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_basic_set_non_trivial_lexmin: extract out init_lexmi... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_pip.c: first_trivial_region: pass isl_lexmin_data Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_pip.c: move tableau into isl_lexmin_data Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_basic_set_non_trivial_lexmin: extract out update_out... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_pip.c: move isl_local_region array into isl_lexmin_data Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_basic_set_non_trivial_lexmin: extract out clear_lexm... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_basic_set_non_trivial_lexmin: extract out init_local... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_pip.c: isl_lexmin_data: store a copy of array... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_pip.c: move up isl_lexmin_data declaration Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_pip.c: rename isl_trivial_global to isl_lexmin_data Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_pip.c: further extend documentation of isl_local_region Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_pip.c: rename isl_trivial to isl_local_region Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_tab_basic_set_non_trivial_lexmin: postpone rollback... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	add isl_mat_has_linearly_independent_rows Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	add isl_mat_row_basis_extension Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	add isl_mat_row_basis Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_mat_right_kernel: reuse hermite_first_zero_col Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_mat_right_kernel: add memory management annotations Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_mat.c: hermite_first_zero_col: exploit column echelon... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_mat_rank: extract out hermite_first_zero_col Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	move isl_mat_rank to isl_mat.c Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	expose isl_mat_rank Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	add isl_vec_zero Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	add isl_schedule_node_every_descendant Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_schedule_node_foreach_descendant_top_down: update... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	add isl_union_map_remove_map_if Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_union_map.c: isl_un_op_control: allow user data... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	add isl_union_map_every_map Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	doc: isl_union__foreach_: specify header to include Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_stream_read_schedule_constraints: do not use default... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_scheduler.c: graph_free: extract out clear_node Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_scheduler.c: graph_find_node: handle NULL input Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_scheduler.c: graph_alloc: add some documentation Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_scheduler.c: graph_alloc: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_scheduler.c: extract_sub_graph: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_scheduler.c: update_edge: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_scheduler.c: copy_edges: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_scheduler.c: copy_nodes: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_scheduler.c: reset_band: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_scheduler.c: detect_ccs: return isl_stat Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_scheduler.c: isl_sched_node: clarify that nvar... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_scheduler.c: add reference to technical report Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_space_factor_domain: accept set space input Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_space.c: move isl_space_factor_domain down Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_printer_print_schedule_constraints: only print... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	add isl_union_map_plain_is_empty Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	doc: isl_*_is_empty: specify header to include Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_printer_print_map: try and print equality constraints... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_output.c: print_constraint: drop isl_basic_map... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_output.c: print_half_constraint: drop isl_basic_map... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_output.c: print_affine: drop isl_basic_map argument Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_output.c: print_disjunct: pass valid local variables... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_output.c: print_constraints: handle conjunction... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_print_*: print unsatisfiable constraints as "false... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-27	Sven Verdoolaege	isl_scheduler.c: non_neg_lexmin: fix double free on... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-26	Sven Verdoolaege	isl_map_coalesce: extend handling of inequality adjacent... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-26	Sven Verdoolaege	isl_coalesce.c: extract out shared find_eq and find_ineq Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-26	Sven Verdoolaege	isl_coalesce.c: extract out shared count_eq and count_ineq Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-26	Sven Verdoolaege	isl_coalesce.c: extract out shared any_eq and any_ineq Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-21	Sven Verdoolaege	isl_schedule_constraints_compute_schedule: only sort... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-21	Sven Verdoolaege	isl_scheduler.c: compute_schedule_finish_band: emphasize... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-21	Sven Verdoolaege	isl_schedule_constraints_compute_schedule: do not add... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-21	Sven Verdoolaege	bound.c: include more specific header Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	schedule.c: directly include required header Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	codegen.c: directly include required header Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	bound.c: directly include required header Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	isl_schedule_tree.c: directly include required headers Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	isl_schedule_read.c: directly include required header Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	isl_schedule_node.c: directly include required header Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	isl_schedule_constraints.c: directly include required... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	isl_schedule_band.c: directly include required headers Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	isl_schedule.c: directly include required headers Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	isl_range.c: directly include required header Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	isl_obj.c: directly include required header Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	isl_flow.c: directly include required headers Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	isl_band.c: directly include required header Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	isl_ast_graft.c: directly include required header Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	isl_ast_codegen.c: directly include required headers Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	isl_ast_build_expr.c: directly include required headers Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	isl_ast_build.c: directly include required headers Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2017-09-18	Sven Verdoolaege	isl_ast.c: directly include required header Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom