?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
isl_basic_set_solutions: rename "dim" variable to "space"
2018-08-22 Sven Verdoolaegeisl_basic_set_solutions: rename "dim" variable to ...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_set_coefficients: rename "dim" variable to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_set_lift: rename "dim" variable to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_map.c: map_apply_range: rename "dim" variable to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_set_sample_point: rename "dim" variable to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_factorizer_groups: rename "dim" variable to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_set_lift: rename "dim" variable to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_map_add_constraint: rename "dim" variable...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_bernstein.c: bernstein_coefficients_cell: rename...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_map_reaching_path_lengths: rename "dim" variable...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_map_power: rename "dim" variables to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_qpolynomial_as_polynomial_on_domain: rename "dim...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_union_pw_*_from_pw_*: rename "dim" variable to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_bound.c: guarded_poly_bound: rename "dim" variable...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_range.c: propagate_on_bound_pair: rename "dim"...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_range.c: monotonicity: rename "dim" variable to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_range.c: has_sign: rename "dim" variable to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_bernstein.c: bernstein_coefficients_base: rename...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_tab_pip.c: split_domain: rename "dim" variable...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_map_apply_pw_qpolynomial_fold: rename "dim" variables...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_map_deltas_map: rename "domain_dim" variable to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_transitive_closure.c: add_length: rename "dim"...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_transitive_closure.c: set_path_length: rename ...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_transitive_closure.c: path_along_delta:: rename...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_map_range_product: rename "dim" variable...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_map_product: rename "dim" variable to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_map_deltas_map: rename "dim" variable to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_map.c: compute_divs: rename "dim" variable to ...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_map_range_map: rename "dim" variable to ...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_map_domain_map: rename "dim" variable to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_map_apply_range: rename "dim" variable to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_local_space_alloc: rename "dim" variable to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_flow.c sched_info_alloc: rename "dim" variable...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_farkas.c: isl_space_coefficients: rename "dim_param...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_underlying: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_map_less_at: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_map_equal: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_output.c: print_basic_set_c: rename "dim" argument...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_local_space_alloc_div: rename "dim" argument to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_cow: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_lift: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_flatten: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_reset: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_zip: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_unwrap: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_wrap: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_is_wrapping: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_from_range: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_from_domain: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_reverse: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_set_dim_name: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_get_tuple_name: rename "dim" argument to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_get_dim_name: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_set_tuple_name: rename "dim" argument to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_get_dim_id: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_has_dim_id: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_reset_tuple_id: rename "dim" argument to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_set_tuple_id: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_get_tuple_id: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_has_tuple_id: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space.c: offset: rename "dim" argument to "space"
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_dup: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_get_ctx: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_fold.c: qpolynomial_fold_alloc: rename "dim" argument...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_union_*_alloc: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_map.c: map_lex_gte: rename "dims" argument to ...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_map.c: map_lex_lte: rename "dims" argument to ...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_transitive_closure.c: construct_power_components...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_set_nat_universe: rename "dim" argument to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_map.c: map_lex_gte_first: rename "dims" argument...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_map.c: map_lex_lte_first: rename "dims" argument...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_output.c: print_set_c: rename "dim" argument to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_transitive_closure.c: floyd_warshall: rename "dim...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_transitive_closure.c: floyd_warshall_with_groups...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_transitive_closure.c: compute_incremental: rename...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_map_alloc_space: rename "dim" argument to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_map_more_or_equal_at: rename "dim" argument...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_map_more_at: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_map_less_or_equal_at: rename "dim" argument...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_tab_pip.c: set_minimum: rename "dim" argument to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_dim_map_dim_range: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_basic_map_extend_space: rename "dim" argument to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_map_reset_space: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_dump declaration: rename "dim" argument to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_printer_print_space declaration: rename "dim" argument...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_qpolynomial_*_on_domain: rename "dim" argument...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_qpolynomial_from_affine: rename "dim" argument...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_polynomial.c: set_div_slice: rename "dim" argument...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_qpolynomial_lift: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_term_alloc: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_transitive_closure.c: construct_projected_component...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space_find_dim_by_id: rename "dim" argument to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space.c: n: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space.c: get_id: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space.c: set_id: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space.c: extend_ids: rename "dim" argument to ...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_space.c: global_pos: rename "dim" argument to ...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_qpolynomial_alloc: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_point_void: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2018-08-22 Sven Verdoolaegeisl_point_zero: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
next
Integer set library