| 2025-09-13 |
Sven Verdoolaege | include/isl/ctx.h: add missing includemaster |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2025-09-13 |
Sven Verdoolaege | Makefile.am: do not consider Python interface as built... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2025-01-21 |
Sven Verdoolaege | add isl_union_{set,map}_plain_unshifted_simple_hull |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-09-01 |
Sven Verdoolaege | isl 0.27isl-0.27 |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-09-01 |
Sven Verdoolaege | only copy generated interfaces to source tree when... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-08-31 |
Sven Verdoolaege | regenerate documentation when version changes |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-08-31 |
Sven Verdoolaege | doc/Makefile.am: simplify version extraction |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-08-31 |
Sven Verdoolaege | AX_DETECT_GIT_HEAD: use absolute paths in GIT_HEAD... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-08-18 |
Sven Verdoolaege | isl_aff_as_domain_extension: fix use after free |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-08-10 |
Sven Verdoolaege | isl_multi_union_pw_aff_zero: use appropriate isl_dim_type |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-08-10 |
Sven Verdoolaege | isl_tab_set_initial_basis_with_cone: clarify documentation |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-08-10 |
Sven Verdoolaege | isl_qpolynomial_var_on_domain: drop spurious space |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-08-10 |
Sven Verdoolaege | isl_sample.c: sample_bounded: drop spurious space in... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-08-10 |
Sven Verdoolaege | isl_sample.c: isl_tab_sample: drop spurious space in... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-08-10 |
Sven Verdoolaege | isl_tab: fix typo in comment |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-08-10 |
Sven Verdoolaege | isl_transitive_closure.c: path_along_delta: fix typo... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-08-10 |
Sven Verdoolaege | isl_convex_hull.c: wrap_constraints: fix typo in comment |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-08-10 |
Sven Verdoolaege | isl_basic_map_drop_unrelated_constraints: plug memory... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-08-04 |
Sven Verdoolaege | check for proper set spaces where needed |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-08-04 |
Sven Verdoolaege | isl_multi_union_pw_aff_zero: extract out isl_space_chec... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-07-28 |
Sven Verdoolaege | isl_{multi_,}union_pw_aff_read_from_str: accept empty... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-07-28 |
Sven Verdoolaege | fix printing of empty piecewise expressions |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-07-28 |
Sven Verdoolaege | isl_pw_print_templ.c: print_body_pw_*: use isl_pw_... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-07-28 |
Sven Verdoolaege | link in clangAPINotes when available |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-07-28 |
Sven Verdoolaege | link in clangASTMatchers when available |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-07-28 |
Sven Verdoolaege | m4/ax_detect_clang.m4: _AX_DETECT_CLANG_ADD_CLANG_LIB... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-07-27 |
Sven Verdoolaege | m4/ax_detect_clang.m4: extract out _AX_DETECT_CLANG_ADD... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-07-07 |
Sven Verdoolaege | interface: update to removal of SourceManager::createFi... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-06-22 |
Sven Verdoolaege | codegen_test.sh.in: determine option to produce context... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-06-22 |
Sven Verdoolaege | codegen_test.sh.in: use single loop to iterate over... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-06-16 |
Sven Verdoolaege | detect more forms of modulo expressions when extracting... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-06-16 |
Sven Verdoolaege | isl_map.c: extract out shared extract_aff |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-06-16 |
Sven Verdoolaege | isl_map.c: construct_mod: extract out wrap_for_plug_in... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-06-08 |
Sven Verdoolaege | extract out shared isl_seq_any_non_zero |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-06-08 |
Sven Verdoolaege | isl_map_simplify.c: better_div_constraint: use isl_basi... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | add more lexicographic minimization tests |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | isl_tab_basic_map_partial_lexopt: detect modulos and... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | isl_tab_basic_map_partial_lexopt*: separate out interse... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | isl_tab_basic_map_partial_lexopt*: intersect with domai... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | isl_tab_basic_map_partial_lexopt*: drop redundant check |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | simplify constraints by checking for residues |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | add isl_seq_sub |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | isl_basic_map_gist: allow existentially quantified... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | isl_basic_map_align_divs: use isl_basic_map_dim |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | isl_basic_map_align_divs: use number of local variables... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | isl_map.c: find_div: return isl_size |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | isl_basic_map_plain_unshifted_simple_hull: explicitly... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | isl_basic_map_remove_shifted_constraints: align with... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | isl_basic_map_remove_shifted_constraints: drop existent... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | privately expose isl_basic_map_remove_unknown_divs |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | add some isl_basic_set_gist tests |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | move some gist tests to isl_test2.cc |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | isl_test2.cc: test(R (T::*fn)(A1 &, A2 &)): extract... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | isl_test2.cc: test(R (T::*fn)(A1 &, A2 &)): fix typo... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-25 |
Sven Verdoolaege | isl_test.c: test_gist: fix check for internal consistency |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-11 |
Sven Verdoolaege | isl_tab_basic_map_partial_lexopt: detect modulos and... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-11 |
Sven Verdoolaege | isl_aff.c: pw_multi_aff_from_map_plug_in: extract isl_a... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-11 |
Sven Verdoolaege | isl_aff.c: pw_multi_aff_from_map_plug_in: simplify... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-11 |
Sven Verdoolaege | isl_aff.c: pw_multi_aff_from_map_plug_in: take space... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-11 |
Sven Verdoolaege | add checks for isl_map_lexmin_pw_multi_aff returning... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-11 |
Sven Verdoolaege | extract out isl_basic_map_try_find_any_output_div_mod |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-11 |
Sven Verdoolaege | move isl_basic_map_try_find_output_div_mod to isl_map.c |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-11 |
Sven Verdoolaege | isl_aff.c: extract out isl_basic_map_try_find_output_di... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-11 |
Sven Verdoolaege | isl_aff.c: isl_basic_map_try_find_output_div: rename... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-05-11 |
Sven Verdoolaege | isl_tab_pip.c: basic_map_partial_lexopt_pma: use isl_ba... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-04-20 |
Sven Verdoolaege | isl_test_cpp17-generic.cc: work around std::optional... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-04-07 |
Sven Verdoolaege | isl_tab_basic_map_partial_lexopt: copy integer division... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-04-07 |
Sven Verdoolaege | isl_tab_pip.c: find_context_div: extract out find_div_i... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-04-07 |
Sven Verdoolaege | add isl_basic_set_add_div_constraints |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-04-07 |
Sven Verdoolaege | add isl_basic_set_insert_div |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-30 |
Sven Verdoolaege | add check for isl_map_lexmin_pw_multi_aff returning... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-30 |
Sven Verdoolaege | isl_test2.cc: has_single_cell_pma: extract out has_sing... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-30 |
Sven Verdoolaege | isl_tab_pip.c: find_context_div: reuse is_known_div_not... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-30 |
Sven Verdoolaege | isl_tab_pip.c: find_context_div: extract out is_known_d... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-30 |
Sven Verdoolaege | isl_tab_pip.c: find_context_div: use isl_basic_map_div_... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-30 |
Sven Verdoolaege | isl_tab_pip.c: find_context_div: use isl_basic_map_div_... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-30 |
Sven Verdoolaege | isl_tab_pip.c: find_context_div: use isl_basic_set_dim |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-30 |
Sven Verdoolaege | isl_tab_pip.c: basic_map_partial_lexopt_base_sol: remov... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-30 |
Sven Verdoolaege | isl_tab_pip.c: align_context_divs: use isl_basic_set_dim |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-30 |
Sven Verdoolaege | isl_tab_pip.c: align_context_divs: improve error handling |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-30 |
Sven Verdoolaege | isl_tab_pip.c: find_context_div: return isl_size |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-24 |
Sven Verdoolaege | detect some modulo expressions when extracting a function |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-10 |
Sven Verdoolaege | isl_aff.c: pw_multi_aff_from_map_check_div: move div... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-10 |
Sven Verdoolaege | isl_aff.c: pw_multi_aff_from_map_div: return integer... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-10 |
Sven Verdoolaege | isl_aff.c: extract out pw_multi_aff_from_map_plug_in |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-10 |
Sven Verdoolaege | isl_aff.c: pw_multi_aff_from_map_div: only get space... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-03-10 |
Sven Verdoolaege | privately expose isl_basic_map_is_set |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-02-25 |
Sven Verdoolaege | detect specific instance of modulos in constraints |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-02-25 |
Sven Verdoolaege | sort constraints while looking for pair of opposite... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-02-25 |
Sven Verdoolaege | isl_map.c: find_later_constraint_in_pair: stop search... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-02-25 |
Sven Verdoolaege | isl_basic_map_find_output_upper_div_constraint: extract... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-02-25 |
Sven Verdoolaege | isl_basic_map_find_output_upper_div_constraint: extract... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-02-25 |
Sven Verdoolaege | isl_basic_map_find_output_upper_div_constraint: extract... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-02-25 |
Sven Verdoolaege | extract out shared isl_basic_map_any_div_involves_vars |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-02-25 |
Sven Verdoolaege | isl_map.c: basic_map_dim_is_bounded: use isl_basic_map_... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-02-25 |
Sven Verdoolaege | basic_map_dim_is_bounded: use isl_basic_map_dim |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-02-25 |
Sven Verdoolaege | isl_map_simplify.c: div_find_coalesce: return isl_size |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-02-25 |
Sven Verdoolaege | isl_map_simplify.c: div_find_coalesce: use isl_size... |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-02-25 |
Sven Verdoolaege | extract out shared isl_basic_map_div_expr_involves_vars |
commit | commitdiff | tree | snapshot (tar.gz zip) |
| 2024-02-25 |
Sven Verdoolaege | isl_map.c: div_involves_vars: use isl_basic_map_var_offset |
commit | commitdiff | tree | snapshot (tar.gz zip) |
