| 2024-07-28 |
Sven Verdoolaege | isl_{multi_,}union_pw_aff_read_from_str: accept empty... |
blob | commitdiff |
| 2024-07-28 |
Sven Verdoolaege | fix printing of empty piecewise expressions |
blob | commitdiff | diff to current |
| 2024-05-25 |
Sven Verdoolaege | simplify constraints by checking for residues |
blob | commitdiff | diff to current |
| 2024-05-25 |
Sven Verdoolaege | isl_basic_map_gist: allow existentially quantified... |
blob | commitdiff | diff to current |
| 2024-05-25 |
Sven Verdoolaege | move some gist tests to isl_test2.cc |
blob | commitdiff | diff to current |
| 2024-05-25 |
Sven Verdoolaege | isl_test.c: test_gist: fix check for internal consistency |
blob | commitdiff | diff to current |
| 2024-02-03 |
Sven Verdoolaege | isl_map_coalesce: reduce coefficients of fused intermed... |
blob | commitdiff | diff to current |
| 2024-02-03 |
Sven Verdoolaege | isl_basic_map_reduce_coefficients: reduce again after... |
blob | commitdiff | diff to current |
| 2023-04-23 |
Sven Verdoolaege | isl_pw_qpolynomial_bound: special case affine polynomials |
blob | commitdiff | diff to current |
| 2023-04-14 |
Sven Verdoolaege | isl_map_coalesce: avoid ignoring constraints redundant... maint |
blob | commitdiff | diff to current |
| 2023-03-23 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2023-03-16 |
Sven Verdoolaege | isl_basic_map_find_output_upper_div_constraint: allow... |
blob | commitdiff | diff to current |
| 2023-03-03 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2023-02-26 |
Sven Verdoolaege | add isl_union_pw_qpolynomial_domain_reverse |
blob | commitdiff | diff to current |
| 2023-02-14 |
Sven Verdoolaege | move reverse tests to test2 program |
blob | commitdiff | diff to current |
| 2023-01-22 |
Sven Verdoolaege | move fixed power test to isl_test2.cc |
blob | commitdiff | diff to current |
| 2023-01-21 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2022-12-28 |
Sven Verdoolaege | add exported isl_ast_node_map_descendant_bottom_up |
blob | commitdiff | diff to current |
| 2022-12-28 |
Sven Verdoolaege | add basic isl_ast_node_foreach_descendant_top_down... |
blob | commitdiff | diff to current |
| 2022-12-28 |
Sven Verdoolaege | isl_test.c: test_ast_gen1: return isl_stat |
blob | commitdiff | diff to current |
| 2022-12-23 |
Sven Verdoolaege | no longer treat minus sign as part of token value |
blob | commitdiff | diff to current |
| 2022-12-23 |
Sven Verdoolaege | add test cases for parsing multiplication involving... |
blob | commitdiff | diff to current |
| 2022-09-17 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2022-09-17 |
Sven Verdoolaege | isl_union_*_add_part: properly detect empty parts in... |
blob | commitdiff | diff to current |
| 2022-08-28 |
Sven Verdoolaege | fix isl_union_pw_qpolynomial_sub |
blob | commitdiff | diff to current |
| 2022-08-21 |
Sven Verdoolaege | isl_pw_*_eval: align parameters of arguments |
blob | commitdiff | diff to current |
| 2022-08-15 |
Sven Verdoolaege | add isl_pw_aff_list_{min,max} test cases |
blob | commitdiff | diff to current |
| 2022-06-11 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2022-06-08 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2022-03-31 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2022-02-27 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2021-12-30 |
Sven Verdoolaege | extract out shared isl_schedule_node_grandparent |
blob | commitdiff | diff to current |
| 2021-12-30 |
Sven Verdoolaege | extract out shared isl_schedule_node_grandchild |
blob | commitdiff | diff to current |
| 2021-12-20 |
Sven Verdoolaege | isl_basic_map_plain_cmp: specifically handle unknown... |
blob | commitdiff | diff to current |
| 2021-07-29 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2021-07-29 |
Sven Verdoolaege | isl_coalesce.c: add_selected_wraps_around_facet: add... |
blob | commitdiff | diff to current |
| 2021-07-28 |
Sven Verdoolaege | add test for coalescing of rational sets |
blob | commitdiff | diff to current |
| 2021-07-23 |
Sven Verdoolaege | isl_pw_*_gist*: combine duplicate expressions to increa... |
blob | commitdiff | diff to current |
| 2021-07-21 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2021-07-19 |
Sven Verdoolaege | isl_map_coalesce: handle empty facet during wrapping |
blob | commitdiff | diff to current |
| 2021-07-19 |
Sven Verdoolaege | isl_test.c: test_coalesce_special2: extract out test_co... |
blob | commitdiff | diff to current |
| 2021-07-19 |
Sven Verdoolaege | isl_test.c: test_coalesce_special2: return isl_stat |
blob | commitdiff | diff to current |
| 2021-06-23 |
Sven Verdoolaege | move preimage tests to a new C++ based test2 program |
blob | commitdiff | diff to current |
| 2021-06-23 |
Sven Verdoolaege | test isl_set_preimage_multi_aff instead of isl_basic_se... |
blob | commitdiff | diff to current |
| 2021-05-29 |
Sven Verdoolaege | isl_union_pw_multi_aff_read_from_str: check domain... |
blob | commitdiff | diff to current |
| 2021-05-29 |
Sven Verdoolaege | isl_multi_pw_aff_read_from_str: check domain constraint... |
blob | commitdiff | diff to current |
| 2021-04-11 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2021-04-11 |
Sven Verdoolaege | isl_basic_set_compute_vertices: detect implicit equalit... |
blob | commitdiff | diff to current |
| 2021-04-10 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2021-04-06 |
Sven Verdoolaege | isl_basic_map_set_to_empty: modify input even if it... |
blob | commitdiff | diff to current |
| 2021-01-10 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2021-01-10 |
Sven Verdoolaege | isl_basic_map_align_divs: do not align against modified... |
blob | commitdiff | diff to current |
| 2021-01-10 |
Sven Verdoolaege | merge test_plain_unshifted_simple_hull and test_unshift... |
blob | commitdiff | diff to current |
| 2021-01-10 |
Sven Verdoolaege | perform plain_unshifted_simple_hull tests in terms... |
blob | commitdiff | diff to current |
| 2021-01-05 |
Sven Verdoolaege | isl_qpolynomial_bound_on_domain_bernstein: properly... |
blob | commitdiff | diff to current |
| 2021-01-05 |
Sven Verdoolaege | add minimum reduction parsing test case |
blob | commitdiff | diff to current |
| 2021-01-05 |
Sven Verdoolaege | streamline isl_pw_qpolynomial_bound tests |
blob | commitdiff | diff to current |
| 2020-11-11 |
Sven Verdoolaege | replace PolyLib format gist test case by isl format one |
blob | commitdiff | diff to current |
| 2020-10-30 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2020-10-30 |
Sven Verdoolaege | isl_map_{min,max}_multi_pw_aff: set explicit domain... |
blob | commitdiff | diff to current |
| 2020-09-15 |
Sven Verdoolaege | add isl_union_map_lex_{le,ge}_at_multi_union_pw_aff |
blob | commitdiff | diff to current |
| 2020-09-05 |
Sven Verdoolaege | isl_set_min_multi_pw_aff: avoid domain split in some... |
blob | commitdiff | diff to current |
| 2020-09-03 |
Sven Verdoolaege | add isl_union_pw_multi_aff_preimage_domain_wrapped_doma... |
blob | commitdiff | diff to current |
| 2020-09-01 |
Sven Verdoolaege | test isl_space_get_tuple_domain_hash instead of isl_spa... |
blob | commitdiff | diff to current |
| 2020-08-30 |
Sven Verdoolaege | isl_pw_qpolynomial_bound: handle differences in domain... |
blob | commitdiff | diff to current |
| 2020-08-25 |
Sven Verdoolaege | rename isl_space_get_{domain_,}hash to isl_space_get_fu... |
blob | commitdiff | diff to current |
| 2020-08-15 |
Sven Verdoolaege | add isl_union_map_intersect_domain_factor_domain |
blob | commitdiff | diff to current |
| 2020-08-15 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2020-08-09 |
Sven Verdoolaege | isl_map_coalesce: consider extensions with wrapped... |
blob | commitdiff | diff to current |
| 2020-08-05 |
Sven Verdoolaege | isl_test.c: before_for: explicitly check that depth... |
blob | commitdiff | diff to current |
| 2020-07-26 |
Sven Verdoolaege | isl_aff_div: handle division by zero |
blob | commitdiff | diff to current |
| 2020-06-21 |
Sven Verdoolaege | isl_union_map_contains: ignore parameters in space... |
blob | commitdiff | diff to current |
| 2020-06-13 |
Sven Verdoolaege | add exported isl_{pw_multi,multi_pw}_aff_{min,max}_mult... |
blob | commitdiff | diff to current |
| 2020-06-04 |
Sven Verdoolaege | add exported isl_multi_{,pw_}aff_unbind_params_insert_d... |
blob | commitdiff | diff to current |
| 2020-05-30 |
Sven Verdoolaege | add exported isl_union_pw_multi_aff_involves_locals |
blob | commitdiff | diff to current |
| 2020-05-28 |
Sven Verdoolaege | isl_multi_aff_lex_*_set: improve handling of rational... |
blob | commitdiff | diff to current |
| 2020-05-28 |
Sven Verdoolaege | add some isl_multi_aff_lex_* tests |
blob | commitdiff | diff to current |
| 2020-05-16 |
Sven Verdoolaege | isl_set_get_simple_fixed_box_hull: eliminate unknown... |
blob | commitdiff | diff to current |
| 2020-04-25 |
Sven Verdoolaege | isl_map_coalesce: eliminate unit divs from wrapping... |
blob | commitdiff | diff to current |
| 2020-04-11 |
Sven Verdoolaege | isl_basic_map_plain_unshifted_simple_hull: drop gauss... |
blob | commitdiff | diff to current |
| 2020-04-04 |
Sven Verdoolaege | add some isl_union_pw_multi_aff_involves_nan tests |
blob | commitdiff | diff to current |
| 2020-04-04 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2020-03-23 |
Sven Verdoolaege | isl_map_simplify.c: uset_gist_compressed: do not mark... |
blob | commitdiff | diff to current |
| 2020-03-23 |
Sven Verdoolaege | isl_map_simplify.c: uset_gist: do not mark input empty... |
blob | commitdiff | diff to current |
| 2020-03-23 |
Sven Verdoolaege | isl_basic_map_set_to_empty: do not modify input if... |
blob | commitdiff | diff to current |
| 2020-03-22 |
Sven Verdoolaege | isl_set_get_simple_fixed_box_hull: do not compute integ... |
blob | commitdiff | diff to current |
| 2020-02-25 |
Sven Verdoolaege | isl_test.c: test_dep: rename "dim" variable to "space" |
blob | commitdiff | diff to current |
| 2020-02-25 |
Sven Verdoolaege | isl_test.c: test_lex: rename "dim" variable to "space" |
blob | commitdiff | diff to current |
| 2020-02-25 |
Sven Verdoolaege | isl_test.c: test_div: rename "dim" variable to "space" |
blob | commitdiff | diff to current |
| 2020-02-25 |
Sven Verdoolaege | isl_test.c: test_construction_1: rename "dim" variable... |
blob | commitdiff | diff to current |
| 2020-02-10 |
Sven Verdoolaege | isl_basic_set_coefficients: factor input set |
blob | commitdiff | diff to current |
| 2020-02-09 |
Sven Verdoolaege | add isl_basic_set_coefficients test cases |
blob | commitdiff | diff to current |
| 2020-01-24 |
Sven Verdoolaege | add isl_pw_qpolynomial_max test case |
blob | commitdiff | diff to current |
| 2020-01-24 |
Sven Verdoolaege | isl_test.c: test_pwqp: extract out test_pwqp_gist |
blob | commitdiff | diff to current |
| 2020-01-15 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2019-12-31 |
Sven Verdoolaege | add exported isl_set_get_simple_fixed_box_hull |
blob | commitdiff | diff to current |
| 2019-12-31 |
Sven Verdoolaege | isl_test.c: extract out shared *_check_plain_equal |
blob | commitdiff | diff to current |
| 2019-12-23 |
Sven Verdoolaege | isl_test.c: pw_multi_aff_plain_is_equal: return isl_bool |
blob | commitdiff | diff to current |
| 2019-12-23 |
Sven Verdoolaege | isl_test.c: pw_multi_aff_check_plain_equal: return... |
blob | commitdiff | diff to current |
| 2019-12-23 |
Sven Verdoolaege | isl_test.c: aff_plain_is_equal: return isl_bool |
blob | commitdiff | diff to current |