?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
add isl_union_map_project_out
2014-04-02 Sven Verdoolaegeadd isl_union_map_project_out
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-02 Sven Verdoolaegeadd isl_union_map_preimage_domain_multi_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-02 Sven Verdoolaegeadd missing declaration for isl_union_map_preimage_domain_pw...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-02 Sven Verdoolaegeisl_union_map.c: update documentation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-02 Sven Verdoolaegeisl_space_product: allow set spaces as inputs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-02 Sven Verdoolaegeisl_map.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-02 Sven Verdoolaegeisl_*_to_*_set: fix error handling
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-04-02 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2014-03-30 Sven Verdoolaegeisl_test.c: test_vertices: check that the expected...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-30 Sven Verdoolaegechange isl_vertex inspectors to return proper isl objects
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-30 Sven Verdoolaegeisl_vertices.c: move isl_basic_set_set_integral before...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-30 Sven Verdoolaegeprivately export isl_multi_aff_from_basic_set_equalities
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-30 Sven Verdoolaegeisl_pw_multi_aff_from_map: delay computation of floor
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-30 Sven Verdoolaegeadd isl_multi_aff_floor
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-30 Sven Verdoolaegeadd isl_obj_pw_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-10 Tobias GrosserDo not dereference a NULL pointer in tab_for_lexmin
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-10 Tobias GrosserFix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-09 Tobias GrosserAdd extern C to val_gmp header
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-09 Sven Verdoolaegeinclude/isl/deprecated/*int.h: allow inclusion from C++
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-02 Sven Verdoolaegeadd preliminary support for affine NaN expressions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-02 Sven Verdoolaegeisl_input.c: accept_affine: rename "dim" variable to...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-02 Sven Verdoolaegeadd some basic tests for binary operations on isl_aff...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-02 Sven Verdoolaegeisl_aff.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-02 Sven Verdoolaegeisl_printer: add indent_prefix
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-02 Sven Verdoolaegeisl_printer: save copy of prefix/suffix
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-02 Sven Verdoolaegeisl_union_*_add_*: align parameters
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-02 Sven Verdoolaegedeclare isl_union_pw_multi_aff_align_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-02 Sven Verdoolaegeisl_map_union: special case obviously equal inputs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-01 Sven Verdoolaegeisl_ast_build_ast_from_schedule: coalesce input schedule
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-01 Sven Verdoolaegeadd a note on isl_map_union_disjoint
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-01 Sven Verdoolaegeisl_map_union: avoid calling isl_map_union_disjoint
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-01 Sven Verdoolaegeisl_ast_build_ast_from_schedule: sort lower and upper...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-01 Sven Verdoolaegeadd isl_pw_aff_plain_cmp
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-01 Sven Verdoolaegeadd isl_local_space_cmp
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-01 Sven Verdoolaegeadd isl_local_space_div_is_known
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-01 Sven Verdoolaegeadd isl_space_cmp
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-01 Sven Verdoolaegeadd isl_id_cmp
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-01 Sven van HaastregtAX_DETECT_GIT_HEAD: avoid empty version string
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-03-01 Alexandre Isoardisl_{set,map}_dim_{min,max}: fix output space on empty...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegeisl_*_free: return NULL pointer of object type rather...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegeisl_space_free: rename dim variable to space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegedoc: move memory management section before values section
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegeisl_aff_set_coefficient_si: first check if coefficient...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegeadd isl_pw_aff_reset_tuple_id
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegeisl_pw_*_set_tuple_id: fix memory management annotation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegeadd isl_union_set_reset_user
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegeadd isl_union_set_preimage_union_pw_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegeadd isl_union_set_preimage_pw_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegeadd isl_union_set_preimage_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegeadd isl_union_map_preimage_range_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegeisl_union_map_preimage_domain_multi_aff: align parameters...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegeisl_multi_*_align_params: check if parameters match...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegeadd isl_map_preimage_range_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegeadd isl_map_preimage_range_pw_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegedoc: reorder preimage functions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-24 Sven Verdoolaegeisl_map.c: improve documentation of isl_map_preimage_domain_...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-10 Sven Verdoolaegeisl_multi_pw_aff_pullback_multi_pw_aff: use isl_pw_aff_pullb...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-10 Sven Verdoolaegeadd isl_pw_aff_pullback_multi_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-10 Sven Verdoolaegeisl_map_preimage_multi_pw_aff: special case universe set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-10 Sven Verdoolaegeadd isl_multi_*_involves_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-10 Sven Verdoolaegeadd isl_multi_aff_flatten_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-10 Sven Verdoolaegeadd isl_local_space_flatten_{domain,range}
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-10 Sven Verdoolaegedoc: move isl_local_space operations to unary/binary...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-10 Sven Verdoolaegeadd isl_space_domain_factor_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-10 Sven Verdoolaegeadd isl_map_domain_is_wrapping
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-07 Sven Verdoolaegeadd isl_space_domain_is_wrapping
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-07 Sven Verdoolaegedoc: move isl_space wrapping operations to unary/binary...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-07 Sven Verdoolaegedoc: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-07 Sven Verdoolaegeuser.pod: fix internal links
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-07 Sven Verdoolaegedocument isl_map_from_{domain,range}
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-07 Sven Verdoolaegeadd isl_map_order_le and isl_map_order_ge
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-07 Sven Verdoolaegeadd isl_*_to_*_drop
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-07 Sven Verdoolaegeadd isl_val_negone
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-07 Sven Verdoolaegeisl_multi_templ.c: fix documentation of isl_multi_...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-07 Sven Verdoolaegeupdate for rename of getResultType to getReturnType
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-07 Sven Verdoolaegeupdate for rename of FunctionProtoType accessors from...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-02-07 Sven Verdoolaegeconfigure.ac: add llvm-config --system-libs to CLANG_LIBS
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-01-28 Sven Verdoolaegeisl_aff_set_coefficient_si: fix out-of-bounds check
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-01-12 Sven Verdoolaegeisl 0.12.2
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-01-11 Sven Verdoolaegedoc: fix leftover from isl_dim to isl_space rename
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-01-08 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2014-01-06 Andreas KloecknerAdd isl_schedule_constraints_copy
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2014-01-05 Andreas KloecknerAdd __isl_take to isl_constraint_set_coefficient_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-30 Sven Verdoolaegeisl_basic_map_simplify: fix elimination of unit coefficient...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-23 Sven Verdoolaegeisl_ast_node_print: avoid dangling else warnings on...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-23 Sven Verdoolaege.gitignore: add test-driver
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-23 Sven VerdoolaegeAX_DETECT_GIT_HEAD: detect git version with newer versions...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-22 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2013-12-22 Sven Verdoolaegeallow the user to impose a bound on the number of low...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-19 Sven Verdoolaegeisl_space_drop_dims: take into account overflow when...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-17 Sven VerdoolaegeMakefile.am: avoid use of INCLUDES variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-04 Sven Verdoolaegeisl_pw_*_pullback_pw_multi_aff: properly handle empty...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-04 Sven Verdoolaegeisl_union_*_align_params: handle inputs that are not...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-04 Sven Verdoolaegeisl_basic_set_from_point: handle NULL input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-04 Tobias Grosserisl_union_*_mul_isl_int: pass address of isl_int to...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-04 Sven Verdoolaegeisl_hash_table_find: don't use user specified comparison...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-12-04 Sven Verdoolaegeisl_set_min_val: compute minimum of minima
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-10-20 Sven Verdoolaegeisl_map_is_disjoint: maps with non-matching tuples...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-10-18 Sven Verdoolaegeadd isl_aff_set_tuple_id
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2013-10-18 Sven Verdoolaegeadd isl_local_space_set_tuple_id
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
Integer set library