| 2024-06-16 |
Sven Verdoolaege | detect more forms of modulo expressions when extracting... |
blob | commitdiff |
| 2024-05-25 |
Sven Verdoolaege | add more lexicographic minimization tests |
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 | add some isl_basic_set_gist tests |
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_test2.cc: test(R (T::*fn)(A1 &, A2 &)): extract... |
blob | commitdiff | diff to current |
| 2024-05-25 |
Sven Verdoolaege | isl_test2.cc: test(R (T::*fn)(A1 &, A2 &)): fix typo... |
blob | commitdiff | diff to current |
| 2024-05-11 |
Sven Verdoolaege | isl_tab_basic_map_partial_lexopt: detect modulos and... |
blob | commitdiff | diff to current |
| 2024-05-11 |
Sven Verdoolaege | add checks for isl_map_lexmin_pw_multi_aff returning... |
blob | commitdiff | diff to current |
| 2024-04-07 |
Sven Verdoolaege | isl_tab_basic_map_partial_lexopt: copy integer division... |
blob | commitdiff | diff to current |
| 2024-03-30 |
Sven Verdoolaege | add check for isl_map_lexmin_pw_multi_aff returning... |
blob | commitdiff | diff to current |
| 2024-03-30 |
Sven Verdoolaege | isl_test2.cc: has_single_cell_pma: extract out has_sing... |
blob | commitdiff | diff to current |
| 2024-03-24 |
Sven Verdoolaege | detect some modulo expressions when extracting a function |
blob | commitdiff | diff to current |
| 2023-07-01 |
Sven Verdoolaege | isl_basic_set_intersect_params: extract out isl_basic_m... |
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-12 |
Sven Verdoolaege | add test for converting binary relation involving unkno... |
blob | commitdiff | diff to current |
| 2023-03-04 |
Sven Verdoolaege | isl_pw_*_gist{,_params}: do not pre-compute hull of... |
blob | commitdiff | diff to current |
| 2023-03-04 |
Sven Verdoolaege | add isl_pw_aff_gist_params test case |
blob | commitdiff | diff to current |
| 2023-03-03 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2023-03-03 |
Sven Verdoolaege | isl_input.c: read_map_tuple: do not take separate ratio... |
blob | commitdiff | diff to current |
| 2023-03-01 |
Sven Verdoolaege | isl_map_intersect_{domain,range}_wrapped_domain: handle... |
blob | commitdiff | diff to current |
| 2023-02-28 |
Sven Verdoolaege | isl_map_preimage_pw_multi_aff: fix plugging in empty... |
blob | commitdiff | diff to current |
| 2023-02-14 |
Sven Verdoolaege | add exported isl_union_map_domain_reverse |
blob | commitdiff | diff to current |
| 2023-02-14 |
Sven Verdoolaege | add exported isl_map_domain_reverse |
blob | commitdiff | diff to current |
| 2023-02-14 |
Sven Verdoolaege | add exported isl_multi_pw_aff_domain_reverse |
blob | commitdiff | diff to current |
| 2023-02-14 |
Sven Verdoolaege | add exported isl_pw_multi_aff_domain_reverse |
blob | commitdiff | diff to current |
| 2023-02-14 |
Sven Verdoolaege | add exported isl_multi_aff_domain_reverse |
blob | commitdiff | diff to current |
| 2023-02-14 |
Sven Verdoolaege | add exported isl_pw_aff_domain_reverse |
blob | commitdiff | diff to current |
| 2023-02-14 |
Sven Verdoolaege | add exported isl_set_wrapped_reverse |
blob | commitdiff | diff to current |
| 2023-02-14 |
Sven Verdoolaege | add exported isl_aff_domain_reverse |
blob | commitdiff | diff to current |
| 2023-02-14 |
Sven Verdoolaege | move reverse tests to test2 program |
blob | commitdiff | diff to current |
| 2023-02-14 |
Sven Verdoolaege | isl_test2.cc: print parsed expected result |
blob | commitdiff | diff to current |
| 2023-02-12 |
Sven Verdoolaege | isl_multi_*_gist: handle explicit domain |
blob | commitdiff | diff to current |
| 2023-02-12 |
Sven Verdoolaege | add isl_multi_*_aff_gist_* test cases |
blob | commitdiff | diff to current |
| 2023-01-22 |
Sven Verdoolaege | isl_*_fixed_power: further simplify intermediate results |
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 |
| 2023-01-01 |
Sven Verdoolaege | export isl_id_to_id |
blob | commitdiff | diff to current |
| 2022-12-23 |
Sven Verdoolaege | isl_input.c: accept_affine: reuse accept_affine_factor... |
blob | commitdiff | diff to current |
| 2022-10-29 |
Sven Verdoolaege | isl_test2.cc: add missing copyright statement |
blob | commitdiff | diff to current |
| 2022-09-17 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2022-08-28 |
Sven Verdoolaege | add exported isl_union_map_project_out_param_* |
blob | commitdiff | diff to current |
| 2022-06-25 |
Sven Verdoolaege | add test for isl_set_from_multi_pw_aff/isl_pw_multi_aff... |
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-06-06 |
Sven Verdoolaege | add some basic isl_space tests |
blob | commitdiff | diff to current |
| 2022-03-31 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2022-02-27 |
Sven Verdoolaege | add isl_pw_aff_gist_params test |
blob | commitdiff | diff to current |
| 2022-02-27 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2021-12-26 |
Sven Verdoolaege | add exported isl_union_map_intersect_range_wrapped_doma... |
blob | commitdiff | diff to current |
| 2021-12-26 |
Sven Verdoolaege | add exported isl_union_map_intersect_domain_wrapped_dom... |
blob | commitdiff | diff to current |
| 2021-08-05 |
Sven Verdoolaege | add exported isl_pw_multi_aff_scale_down_multi_val |
blob | commitdiff | diff to current |
| 2021-08-05 |
Sven Verdoolaege | export isl_pw_multi_aff_scale_multi_val |
blob | commitdiff | diff to current |
| 2021-07-29 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2021-07-21 |
Sven Verdoolaege | Merge branch 'maint' |
blob | commitdiff | diff to current |
| 2021-06-23 |
Sven Verdoolaege | add isl_union_map_preimage_range_multi_aff test |
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 |
