?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
isl_qpolynomial_substitute_equalities: eliminate integer divisions by 1
2010-11-04 Sven Verdoolaegeisl_qpolynomial_substitute_equalities: eliminate integer...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-04 Sven Verdoolaegeisl_stream_read_pw_qpolynomial: read nested divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-04 Sven Verdoolaegeisl_qpolynomial_div_pow: allow nested divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-04 Sven Verdoolaegeisl_printer_print_qpolynomial: properly print nested...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-04 Sven Verdoolaegeisl_qpolynomial_substitute_equalities: ignore constant...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-04 Sven Verdoolaegeisl_qpolynomial_substitute_equalities: don't use equalities...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-01 Sven Verdoolaegeisl_basic_map_underlying_set: remove any structure...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-01 Sven Verdoolaegeexport isl_set_reset_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-30 Sven Verdoolaegeisl_qpolynomial_morph: properly handle change in number...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-28 Sven Verdoolaegeisl_stream_read_map: read_var_def: read var definition...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-27 Sven Verdoolaegeadd isl_set_remove_divs_involving_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-26 Sven Verdoolaegeadd isl_div_div
 commit | commitdiff | tree
2010-10-26 Sven Verdoolaegeadd isl_div_copy
 commit | commitdiff | tree
2010-10-26 Sven Verdoolaegeexport isl_pw_qpolynomial_fold_set_dim_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-26 Sven Verdoolaegedoc: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-26 Sven Verdoolaegeexport isl_pw_qpolynomial_fold_add
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-26 Sven Verdoolaegeadd isl_set_flatten_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-26 Sven Verdoolaegeisl_pw_qpolynomial_gist: substitute equalities in polynomials
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-26 Sven Verdoolaegeisl_pw_qpolynomial_gist: drop empty pieces in result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-26 Sven Verdoolaegeisl_map_gist_basic_map: drop empty pieces in result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-26 Sven Verdoolaegerename isl_map_remove to isl_map_remove_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-26 Sven Verdoolaegeisl_pw_qpolynomial_print: properly print divs in ISL_FORMAT_C
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-26 Sven Verdoolaegeisl_stream: allow tokens to start with "_"
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-26 Sven Verdoolaegeisl_set_alloc_dim: fix memory leak on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-26 Sven Verdoolaegefix isl_union_{set,map}_lex_g{e,t}_union_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-26 Sven Verdoolaegeisl_stream_read_map: read_var_list: simplify and finalize...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-20 Sven Verdoolaegeisl_dim_replace: fix handling of nested spaces
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-17 Sven Verdoolaegesupport extended PolyLib output format
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-17 Sven Verdoolaegedoc: mention LaTeX output format
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-17 Sven Verdoolaegeadd isl_union_set_identity
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-17 Sven Verdoolaegebasic_map_read_polylib: clear newly created divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-17 Sven Verdoolaegecompute explicit divs for context before calling isl_basic_m...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-17 Sven Verdoolaegeadd isl_set_flatten
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-17 Sven Verdoolaegeisl_dim_flatten: remove space names when internal structure...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-16 Sven Verdoolaegeisl_stream_read_map: properly parse nested spaces
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-16 Sven Verdoolaegeisl_dim_drop: also drop parameters from nested spaces
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-16 Sven Verdoolaegeprivately export isl_basic_map_reset_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-13 Sven Verdoolaegeisl_map_coalesce: handle some cases of pairs of adjacent...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-13 Sven Verdoolaegeisl_mat_right_inverse: fix memory leak on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-11 Sven Verdoolaegeisl_union_pw_qpolynomial_zero: check for NULL input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-11 Sven Verdoolaegeexport isl_basic_set_sample_point
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-11 Sven Verdoolaegebasis_reduction_templ.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-11 Sven Verdoolaegeexport isl_basic_set_reduced_basis
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-10 Sven Verdoolaegeadd isl_int_[gs]et_gmp
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-10 Sven Verdoolaegeisl_pw_qpolynomial_print: print modulo constraints...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-10 Sven Verdoolaegeexport isl_basic_set_lift
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-10 Sven Verdoolaegeadd isl_union_map_intersect_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-10 Sven Verdoolaegeadd isl_constraint_get_dim_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-10 Sven Verdoolaegeadd isl_set_n_basic_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-10 Sven Verdoolaegeadd isl_pw_qpolynomial_set_dim_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-10 Sven Verdoolaegeadd isl_union_pw_qpolynomial_extract_pw_qpolynomial
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-09 Sven Verdoolaegeadd isl_union_set_extract_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-09 Sven Verdoolaegeadd isl_union_set_n_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-09 Sven Verdoolaegeadd isl_set_get_dim_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-09 Sven Verdoolaegeadd isl_set_get_tuple_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-09 Sven Verdoolaegeadd isl_union_set_dump for debugging
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-06 Sven Verdoolaegerename isl_map_add to isl_map_add_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-06 Sven Verdoolaegeisl_basic_map_gauss: normalize resulting constraints
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-06 Sven Verdoolaegefix return type of isl_union_set_lex_*_union_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-06 Sven Verdoolaegeisl_basic_set_multiplicative_call: handle parametric...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-10-06 Sven Verdoolaegeisl_dim_replace: call isl_dim_cow before changing isl_dim
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-25 Sven Verdoolaegeexport isl_access_info_free
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-25 Sven Verdoolaegeadd isl_basic_map_get_tuple_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-25 Sven Verdoolaegeadd isl_basic_map_remove_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-25 Sven Verdoolaegeadd isl_union_map_compute_flow
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-25 Sven Verdoolaegeisl_access_info_compute_flow: preserve dimension specifications
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-25 Sven Verdoolaegedoc: document type of isl_access_info_alloc callback...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-25 Sven Verdoolaegeadd isl_union_map_range_map and isl_union_map_domain_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-25 Sven Verdoolaegeadd isl_basic_map_from_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-25 Sven Verdoolaegeadd isl_union_map_apply_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-25 Sven Verdoolaegeadd isl_dim_from_domain and isl_dim_from_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-25 Sven Verdoolaegedoc: document some isl_dim manipulation functions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-25 Sven Verdoolaegeadd isl_set_set_tuple_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-25 Sven Verdoolaegeadd isl_basic_{set,map}_from_constraint_matrices
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-25 Sven Verdoolaegeadd isl_basic_map_{in,}equalities_matrix
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-22 Sven Verdoolaegeisl_input.c: accept divs in affine expressions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-22 Sven VerdoolaegeRevert "isl_input.c: read_tuple: construct isl_dim...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-22 Sven Verdoolaegeisl_input.c: obj_read: error out on intermediate NULL...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-22 Sven Verdoolaegeadd isl_vec_zero_extend
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-22 Sven Verdoolaegeisl_input.c: store div definition in variable
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-22 Sven Verdoolaegeisl_basic_set_swap_vars: finalize result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-21 Sven Verdoolaegeisl_printer_print_qpolynomial: put parentheses around...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-16 Sven Verdoolaegeadd isl_basic_set_multiplicative_call
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-16 Sven Verdoolaegeadd isl_qpolynomial_one
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-16 Sven Verdoolaegemerge isl_basic_set_drop_constraints_involving implementations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-16 Sven Verdoolaegeadd isl_basic_map_from_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-11 Sven Verdoolaegefix parameter alignment when alignee has zero parameters
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-10 Sven Verdoolaegeisl 0.04
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-10 Sven Verdoolaegeadd isl_union_set_lex_[lg][et]_union_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-10 Sven Verdoolaegeisl_dim_replace: recursively replace parameters in...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-04 Sven Verdoolaegeisl_input.c add_equalities: gauss and finalize result...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-04 Sven Verdoolaegeadd public API for matrices
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-04 Sven Verdoolaegeisl_coalesce.c: fix typos in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-04 Sven Verdoolaegeisl_polytope_scan: improve error handling
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-09-04 Sven Verdoolaegeadd isl_pw_qpolynomial_split_periods
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-29 Sven Verdoolaegeisl_polynomial.c: sort_divs: remove duplicate divs...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-29 Sven Verdoolaegeisl_polynomial.c: sort_divs: fix ordering of div rows
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-26 Sven Verdoolaegeargument parsing: add ISL_ARG_USER_OPT_CHOICE
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-26 Sven Verdoolaegealign parameters of union arguments to binary functions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-08-26 Sven Verdoolaegeadd isl_dim_replace
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
Integer set library