?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
isl_aff_ceil: compute ceil(e/m) as floor((e + m - 1)/m)
2012-11-13 Sven Verdoolaegeisl_aff_ceil: compute ceil(e/m) as floor((e + m - 1)/m)
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-12 Sven Verdoolaegeisl_aff_gist: add missing isl_vec_cow
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-11 Sven Verdoolaegeisl_union_set_compute_schedule: double check that we...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-10 Sven Verdoolaegeisl_union_set_compute_schedule: ensure carry_dependences...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-11-04 Sven Verdoolaegeupdate for change in clang's DiagnosticOptions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-10-14 Sven Verdoolaegeisl_map_plain_is_disjoint: handle inputs with different...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-10-13 Sven Verdoolaegeadd README
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-10-13 Andreas KloecknerIntroduce isl_int_free_str to remove GMP dependency...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-10-10 Sven Verdoolaegeisl_union_set_compute_schedule: handle result with...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-10-07 Sven Verdoolaegeisl_ast_codegen.c: generate_domain: postpone single...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-10-05 Sven Verdoolaegeisl_ast_build_ast_from_schedule: make construction...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-10-04 Sven Verdoolaegeisl_ast_build_ast_from_schedule: use "<" if upper bound...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-10-04 Sven Verdoolaegeisl_ast_expr: add isl_ast_op_lt and isl_ast_op_gt operations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-10-04 Sven Verdoolaegeadd isl_basic_set_from_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-29 Sven Verdoolaegeisl_ast_expr_from_aff: try harder to use isl_ast_op_pdiv_...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-29 Sven Verdoolaegeisl_ast_build_expr.c: separate out extract_modulo function
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-29 Sven Verdoolaegeisl_ast_build_expr.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-29 Sven Verdoolaegeisl_ast_build_expr.c: remove remnants of code removed...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-28 Sven Verdoolaegeadd extra AST generation test case from CLooG
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-22 Sven Verdoolaegeisl_printer_print_str: handle NULL input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-22 Sven Verdoolaegeisl_ast_expr_mod: perform missing multiplication
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-22 Tobias GrosserMake sed expression in Makefile compatible with BSD...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_id_set_free_user
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_printer_print_pw_aff: use isl_ast_expr when printing...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd support for generating ASTs from schedule relations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd ISL_CTX_{GET,SET}_STR_DEF macros
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegedoc: separate out polyhedral compilation functionality
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_set_dim_has_{lower,upper}_bound
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_basic_set_substitute: check that input affine expression...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_pw_multi_aff_substitute: improve error handling
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_basic_map_align_divs: fix potential invalid access
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_pw_multi_aff_from_map: detect strides in output...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_pw_multi_aff_from_map: detect easy floors directly...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeprivately export isl_map_is_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_pw_*_pullback_pw_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_pw_*_pullback_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_multi_aff_pullback_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_aff_pullback_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_local_space_preimage_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_set_preimage_pw_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_set_preimage_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_basic_set_preimage_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_stream_new_str: fail on NULL input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeprivately export isl_multi_aff_align_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_basic_set_add_div_constraints
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_map_is_subset: support rational maps
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_stream_read_map: fix parsing of Omega input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_stream_read_map: add partial support for reading...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_pw_aff_nonneg_set: return a rational set if the...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_pw_aff_zero_set: return a rational set if the input...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_pw_aff_list_set_rational
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_pw_aff_set_rational
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeprivately export isl_set_set_rational
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_set_has_rational
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegereimplement isl_stream_read_aff in terms of isl_stream_read_...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegedeclare isl_stream_read_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_stream_read_multi_aff: read tuples directly
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_input.c: change tuple parsing
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_pw_multi_aff_range_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_multi_*_splice
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_multi_*_range_splice
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_multi_*_set_tuple_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_multi_*_range_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_multi_*_add_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_multi_*_insert_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_multi_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_multi_aff_from_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_multi_templ.c: rename align_params_multi_set_and...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_multi_templ.h: avoid reference to explicit element...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeisl_multi_*_reset_space_and_domain: call isl_*_reset_domain_...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegegeneralize isl_multi_aff_flat_range_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegegeneralize isl_multi_aff_drop_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegegeneralize isl_multi_aff_set_dim_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegegeneralize isl_multi_aff_zero
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegegeneralize isl_multi_aff_identity
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_pw_aff_zero_on_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-18 Sven Verdoolaegeadd isl_pw_aff_var_on_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-17 Sven Verdoolaegeadd isl_aff_var_on_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-17 Sven Verdoolaegeisl_input.c: obj_read_body: simplify error handling
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-17 Sven Verdoolaegeadd isl_basic_set_drop_constraints_not_involving_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-17 Sven Verdoolaegeadd isl_{set,map}_drop_constraints_involving_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-17 Sven Verdoolaegeadd isl_set_unshifted_simple_hull
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-17 Sven Verdoolaegeisl_stream_read_union_map: force result to be a map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-17 Sven Verdoolaegeadd isl_union_map_subtract_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-17 Sven Verdoolaegeisl_set_from_pw_multi_aff: handle NULL input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-15 Sven Verdoolaegeisl_union_map.c: plain_injective_on_range: silence...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-15 Sven Verdoolaegeisl_transitive_closure.c: union_components: avoid invalid...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-15 Sven Verdoolaegeisl_range.c qpolynomial_bound_on_domain_range: avoid...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-15 Sven Verdoolaegeisl_convex_hull.c: initial_facet_constraint: avoid...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-14 Sven Verdoolaegeisl_map_union: special case universal input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-14 Sven Verdoolaegeisl_map_gist: special case universal and equal inputs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeexport isl_set_plain_cmp
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegedoc: clarify use of identifiers
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeadd isl_basic_set_remove_unknown_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeand isl_pw_aff_tdiv_q and isl_pw_aff_tdiv_r
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeadd isl_pw_aff_div
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeadd isl_set_is_disjoint
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeisl_map_plain_is_disjoint: special case obviously empty...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeisl_basic_map_is_empty: special case universal input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2012-09-13 Sven Verdoolaegeisl_map_plain_is_disjoint: fix error handling
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
Integer set library