2020-12-24 |
Sven Verdoolaege | isl_seq_elim: clarify documentation Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-12-24 |
Sven Verdoolaege | isl_input.c: fix typo in comment Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-12-19 |
Michael Kruse | isl_mat_left_hermite: avoid undefined null pointer... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-12-19 |
Michael Kruse | isl_mat_alloc: avoid undefined null pointer arithmetic Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-11-19 |
Sven Verdoolaege | export isl_schedule_get_domain Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-11-19 |
Sven Verdoolaege | export isl_space_range_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-11-19 |
Sven Verdoolaege | export isl_space_{,un}curry Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-11-19 |
Sven Verdoolaege | export isl_map_zip Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-11-19 |
Sven Verdoolaege | export isl_map_product Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-11-19 |
Ron Estrin | export isl_space_product Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-11-19 |
tj-sun | export isl_aff_is_cst Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-11-19 |
tj-sun | export isl_aff_get_constant_val Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-11-19 |
Sven Verdoolaege | export isl_space_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-11-19 |
Sven Verdoolaege | export isl_multi_*_involves_nan Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-11-15 |
Sven Verdoolaege | update imath to version 1.31 Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-11-15 |
Sven Verdoolaege | isl_test_imath.c: drop reference to MP_USMALL_MIN Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-11-11 |
Sven Verdoolaege | replace PolyLib format gist test case by isl format one Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-11-11 |
Sven Verdoolaege | AST generation: check that partial schedule of band... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-11-01 |
Sven Verdoolaege | isl 0.23
|
commit | commitdiff | tree |
2020-11-01 |
Sven Verdoolaege | add note about isl-0.22 requiring C++11 to generate... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-11-01 |
Sven Verdoolaege | update AUTHORS Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-10-30 |
Sven Verdoolaege | Merge branch 'maint'
|
commit | commitdiff | tree |
2020-10-30 |
Sven Verdoolaege | isl_map_{min,max}_multi_pw_aff: set explicit domain... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-10-30 |
Sven Verdoolaege | isl_{set,map}_{lower,upper}_bound_multi_pw_aff: take... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-10-30 |
Sven Verdoolaege | isl_tab.c: drop_bmap_div: fix error handling Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-10-23 |
Sven Verdoolaege | drop isl_map_{lower,upper}_bound_multi_val Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-09-19 |
Sven Verdoolaege | isl_morph_set: use isl_set_preimage_multi_aff Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-09-19 |
Sven Verdoolaege | isl_morph_basic_set: use isl_basic_set_preimage_multi_aff Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-09-15 |
Sven Verdoolaege | isl_tab_pip.c: align_context_divs: only add local variables... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-09-15 |
Sven Verdoolaege | add isl_union_map_lex_{le,ge}_at_multi_union_pw_aff Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-15 |
Sven Verdoolaege | abstract out isl_union_map_lex_*_at_multi_union_pw_aff Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-15 |
Sven Verdoolaege | doc: update isl_union_map_*_at_multi_union_pw_aff documentation Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-15 |
Sven Verdoolaege | fix isl_multi_pw_aff_lex_{le,ge}_map Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-15 |
Sven Verdoolaege | isl_multi_pw_aff_lex_map_on_space: clarify documentation Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-09 |
Sven Verdoolaege | check_single_reference_templ.c: drop spurious empty... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-09-09 |
Sven Verdoolaege | isl_bernstein.c: drop spurious space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-09-05 |
Sven Verdoolaege | isl_set_min_multi_pw_aff: avoid domain split in some... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-05 |
Sven Verdoolaege | isl_pw_*_union_opt_cmp: extract out isl_pw_*_union_opt_cmp_pair Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-05 |
Sven Verdoolaege | isl_pw_*_union_opt_cmp: keep cells together with piecewise... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-05 |
Sven Verdoolaege | isl_pw_*_union_opt_cmp: extract out isl_pw_*_get_domain_at Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-05 |
Sven Verdoolaege | isl_pw_*_union_opt_cmp: use isl_pw_*_peek_domain_at Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-05 |
Sven Verdoolaege | isl_pw_*_union_opt_cmp: use isl_pw_*_n_piece Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-05 |
Sven Verdoolaege | isl_pw_*_union_opt_cmp: use isl_pw_*_peek_base_at Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-05 |
Sven Verdoolaege | isl_pw_*_get_base_at: extract out isl_pw_*_peek_base_at Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-05 |
Sven Verdoolaege | isl_pw_*_union_opt_cmp: drop unused variable Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-05 |
Sven Verdoolaege | isl_qpolynomial_fold_insert_dims: take into account... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-09-05 |
Sven Verdoolaege | isl_qpolynomial_fold_set_dim_name: take into account... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-09-03 |
Sven Verdoolaege | drop isl_tab_allocate_var Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-09-03 |
Sven Verdoolaege | isl_fold.c: move up domain_type Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-09-03 |
Sven Verdoolaege | add isl_union_pw_multi_aff_preimage_domain_wrapped_domain_un... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-03 |
Sven Verdoolaege | add exported isl_pw_multi_aff_preimage_domain_wrapped_domain... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-03 |
Sven Verdoolaege | add isl_space_check_wrapped_tuple_is_equal Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-03 |
Sven Verdoolaege | add isl_space_wrapped_tuple_is_equal Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-03 |
Sven Verdoolaege | isl_space.c: extract out shared check_match Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-03 |
Sven Verdoolaege | isl_space.c: extract out shared isl_space_check_domain_is_wr... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-03 |
Sven Verdoolaege | isl_map_intersect_factor: extract out isl_*_copy_tuple_id Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-09-01 |
Sven Verdoolaege | drop isl_space_get_full_domain_hash Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-09-01 |
Sven Verdoolaege | test isl_space_get_tuple_domain_hash instead of isl_space_ge... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-09-01 |
Sven Verdoolaege | add exported isl_pw_multi_aff_identity_on_domain_space Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-08-30 |
Sven Verdoolaege | isl_union_*_extract_*: ignore parameters when looking... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-30 |
Sven Verdoolaege | isl_union_*: ignore parameters when looking up entries Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-30 |
Sven Verdoolaege | rename isl_union_*_has_same_domain_space to has_same_domain_... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-30 |
Sven Verdoolaege | isl_union_*: use tuple hash in hash table Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-30 |
Sven Verdoolaege | add isl_space_get_tuple_domain_hash Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-30 |
Sven Verdoolaege | isl_union_*_eval: extract out isl_union_*_foreach_on_domain Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-30 |
Sven Verdoolaege | isl_input.c: nan_on_domain: use isl_pw_aff_nan_on_domain_space Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-08-30 |
Sven Verdoolaege | add isl_pw_aff_nan_on_domain_space Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-08-30 |
Sven Verdoolaege | add isl_aff_nan_on_domain_space Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-08-30 |
Sven Verdoolaege | isl_pw_qpolynomial_bound: handle differences in domain... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-25 |
Sven Verdoolaege | isl_union_map_is_subset: drop parameter alignment Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-25 |
Sven Verdoolaege | isl_union_map_extract_map: ignore parameters when looking... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-25 |
Sven Verdoolaege | isl_union_templ.c: *_match_domain_entry: ignore parameters Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-25 |
Sven Verdoolaege | isl_union_map: ignore parameters when looking up entries Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-25 |
Sven Verdoolaege | add isl_map_has_space_tuples Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-25 |
Sven Verdoolaege | isl_union_map: use tuple hash in hash table Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-25 |
Sven Verdoolaege | test_inputs/codegen/pldi2012/figure8_b.in: specify... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-25 |
Sven Verdoolaege | isl_union_map_find_entry: check that input has single... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-25 |
Sven Verdoolaege | extract out shared isl_union_{map,set}_find_entry Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-25 |
Sven Verdoolaege | rename isl_space_get_{domain_,}hash to isl_space_get_full_... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-25 |
Sven Verdoolaege | isl_space_get_hash: document relation with isl_space_get_dom... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-25 |
Sven Verdoolaege | add exported isl_set_translation Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-08-23 |
Sven Verdoolaege | isl_union_map.c: has_space: use isl_map_has_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-23 |
Sven Verdoolaege | add isl_map_has_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-23 |
Sven Verdoolaege | generalize isl_local_space_has_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-23 |
Sven Verdoolaege | isl_aff_add_constant_val: handle NaN value Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-08-23 |
Sven Verdoolaege | isl_aff_add_constant_val: improve error handling Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-08-23 |
Sven Verdoolaege | isl_aff_add_constant_val: extract out isl_aff_add_rat_consta... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-08-16 |
Sven Verdoolaege | isl_union_multi.c: isl_union_*_has_space: use isl_... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-16 |
Sven Verdoolaege | isl_union_map.c: is_disjoint_entry: use isl_map_peek_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-16 |
Sven Verdoolaege | isl_union_map.c: is_subset_entry: use isl_map_peek_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-16 |
Sven Verdoolaege | isl_union_map.c: match_bin_entry: use isl_map_peek_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-16 |
Sven Verdoolaege | isl_union_map_add_map: use isl_map_peek_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-16 |
Sven Verdoolaege | isl_union_*_eval: use isl_point_peek_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-16 |
Sven Verdoolaege | isl_local_space_get_hash: use isl_local_space_peek_space Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-16 |
Sven Verdoolaege | isl_union_*_eval: use isl_union_*_get_ctx Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
2020-08-15 |
Sven Verdoolaege | export isl_{,union_}map_intersect_*_factor_* Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-08-15 |
Sven Verdoolaege | add isl_union_map_intersect_domain_factor_domain Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-08-15 |
Sven Verdoolaege | add isl_map_intersect_domain_factor_domain Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
2020-08-15 |
Sven Verdoolaege | Merge branch 'maint'
|
commit | commitdiff | tree |
2020-08-11 |
Sven Verdoolaege | isl_tab_dup: properly initialize cone field from original Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |