?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
isl_set_intersect: properly handle intersection with parameter domains
2011-09-26 Sven Verdoolaegeisl_set_intersect: properly handle intersection with...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-24 Sven Verdoolaegeisl_access_info_compute_flow: align parameters of input...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-23 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2011-09-23 Sven Verdoolaegefix isl_set_involves_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-22 Sven Verdoolaegeadd isl_set_plain_is_fixed
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-22 Sven Verdoolaegeadd isl_set_from_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-22 Sven Verdoolaegeadd isl_space_set_from_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-22 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2011-09-22 Sven Verdoolaegeisl_qpolynomial_morph: properly handle denominators...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-22 Sven Verdoolaegeadd isl_mat_diag
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-22 Sven Verdoolaegeisl_tab_pip.c: sol_for_add: correctly set denominator
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-22 Sven Verdoolaegeisl_tab_pip.c: sol_map_add: fix double free on error...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-18 Sven Verdoolaegeisl_stream: accept "==" token
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-18 Sven Verdoolaegeadd isl_union_pw_*_plain_is_equal
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-18 Sven Verdoolaegeadd isl_pw_*_plain_is_equal
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-18 Sven Verdoolaegeadd isl_set_plain_cmp
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-15 Sven Verdoolaegeadd isl_map_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-15 Sven Verdoolaegeisl_stream_next_token: treat "-0" as two tokens '-...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-15 Sven Verdoolaegedrop "nparam" argument from isl_{set,map}_read_from_...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-14 Sven Verdoolaegedoc: document *_move_dims functions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-13 Sven Verdoolaegedrop isl_div abstraction
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-13 Sven Verdoolaegeisl_{in,}equality_alloc: take isl_local_space intead...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-13 Sven Verdoolaegedoc: update example code to change in return type of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-09 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2011-09-09 Sven Verdoolaegeprovide full prototypes for some functions with no...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-09 Sven Verdoolaegedoc: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-07 Sven Verdoolaegeadd isl_set_gist_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-04 Sven Verdoolaegemake isl_pw_* object live in a map space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeadd isl_space_extend_domain_with_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeadd isl_space_is_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeadd isl_local_space_is_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeadd isl_local_space_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeimplement isl_constraint on top of isl_vec
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeadd isl_vec_neg
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_aff.c: extract isl_local_space_get_active
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_output.c: drop redundant "set" argument
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_union_*_alloc: project space onto parameters
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeexplicitly differentiate between spaces of maps, sets...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeallow isl_ids with negative reference counts
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeproper implementation of isl_union_map_from_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_map_from_domain_and_range: drop explicit conversion...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_set_apply_pw_qpolynomial_fold: drop explicit conversion...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_tab_basic_set_non_trivial_lexmin: drop explicit...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_tab_pip.c: fix whitespace issue
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_set_read_from_*: coerce set-like maps into sets
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_input.c: map_read_polylib: convert set-like maps...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_input.c: obj_read: start off from parameter space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_input.c: represent nested tuple as isl_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_input.c: obj_read_poly_or_fold: represent domain...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_basic_set_multiplicative_call: explicitly project...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_pw_qpolynomial_fold_bound: explicitly project on...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_qpolynomial_bound_on_domain_bernstein: explicitly...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_qpolynomial_bound_on_domain_range: explicitly project...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_union_map_from_map: explicitly project on parameter...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_union_map_align_params: explicitly project on parameter...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_polynomial.c: constant_on_domain: explicitly project...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegebasic_set_dim_max: explicitly project on parameter...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_basic_set_compute_vertices: explicitly turn chambers...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegebound.c: explicitly convert context into parameter set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegepip.c: explicitly convert context into parameter set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_project_domain_on_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeadd isl_qpolynomial_project_domain_on_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeadd isl_pw_qpolynomial_project_out
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeadd isl_morph_{dom,ran}_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeadd isl_basic_set_params and isl_set_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeadd isl_space_params_alloc
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_stream_read_set: accept parameter domains
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_pw_qpolynomial_fold_bound: simplify construction...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_test.c: properly create set space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_map_range_map: fix space manipulation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_map_range: construct correct space for result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_basic_set_alloc: create basic set in proper set...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_space_wrap: properly create set space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeadd isl_set_from_pw_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegerename PW_alloc_ to PW_alloc_size
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_pw_*_add_disjoint: try and extend one of the pws...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_space_match: optimize trivial cases
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeadd isl_map_flat_domain_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_access_info_compute_flow: align parameters of input...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegealign parameters of arguments to isl_map_{lexmin,lexmax}
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeisl_space_align_params: accept general isl_spaces
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegeadd isl_space_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-03 Sven Verdoolaegerename isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-01 Sven Verdoolaegedocument isl_dim_move
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-01 Sven Verdoolaegesplit off declarations from isl_polynomial.h to separate...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-01 Sven Verdoolaegemerge isl_*_dump functions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-01 Sven Verdoolaegeadd isl_set_dim_min
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-01 Sven Verdoolaegeadd isl_basic_set_foreach_lexopt
 commit | commitdiff | tree
2011-09-01 Sven Verdoolaegeadd isl_pw_aff_union_opt
 commit | commitdiff | tree
2011-09-01 Sven Verdoolaegeadd isl_pw_aff_union_min
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-01 Sven Verdoolaegeadd isl_aff_le_basic_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-09-01 Sven Verdoolaegeisl_qpolynomial_free: return NULL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-08-31 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2011-08-31 Sven Verdoolaegeisl_qpolynomial_rat_cst: handle NULL space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-08-31 Sven Verdoolaegebernstein_coefficients_cell: handle NULL poly
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-08-27 Sven Verdoolaegeisl_printer_to_str: intialize buffer to empty string
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-08-27 Sven Verdoolaegeisl_map_insert: properly handle named or nested spaces
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-08-27 Sven Verdoolaegeisl_set_flat_product: call isl_map_range_flat_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-08-23 Sven Verdoolaegeadd some isl_map_plain_is_fixed tests
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-08-23 Sven Verdoolaegeisl_basic_map_neg: gauss result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
Integer set library