| 2018-02-14 |
Sven Verdoolaege | drop C++ bindings
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2018-02-12 |
Sven Verdoolaege | isl_tab_pip.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2018-02-11 |
Sven Verdoolaege | remove public declaration of isl_mat_{cow,dup}
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2018-02-11 |
Sven Verdoolaege | remove public declaration of isl_constraint_cow
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2018-02-11 |
Sven Verdoolaege | drop deprecated isl_basic_set_add
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2018-02-11 |
Sven Verdoolaege | drop deprecated isl_space_tuple_match
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2018-02-07 |
Sven Verdoolaege | libisl-gdb.py: Python 3 compatibility
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2018-02-07 |
Sven Verdoolaege | libisl-gdb.py: consistently use tabs for indentation
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2018-01-27 |
Sven Verdoolaege | rename isl.py to libisl-gdb.py
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2018-01-27 |
Sven Verdoolaege | isl_ast_build.c: generate_name: allocate enough space...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2018-01-04 |
Sven Verdoolaege | interface/cpp.cc: cpp_generator::print_method_impl...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2018-01-04 |
Sven Verdoolaege | cpp.cc: cpp_generator::print_public_constructors_impl...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2018-01-04 |
Sven Verdoolaege | generator::generator: drop redundant argument
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2018-01-04 |
Sven Verdoolaege | interface/cpp.cc: fix typo in comment
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2018-01-04 |
Sven Verdoolaege | isl_ctx: keep track of last error message, file and...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2018-01-04 |
Sven Verdoolaege | isl_ctx_alloc_with_options: reuse isl_ctx_reset_error
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2018-01-03 |
Sven Verdoolaege | expose isl_aff_param_on_domain_space_id
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-28 |
Sven Verdoolaege | add isl_union_pw_aff_param_on_domain
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-28 |
Sven Verdoolaege | add isl_space_add_param_id
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-26 |
Sven Verdoolaege | generalize isl_multi_union_pw_aff_multi_aff_on_domain...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-26 |
Sven Verdoolaege | isl_multi_union_pw_aff_multi_aff_on_domain: use isl_union_se...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-26 |
Sven Verdoolaege | add isl_union_set_space_has_equal_params
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-26 |
Sven Verdoolaege | isl_printer_print_union_set: extract out uset_to_umap
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-26 |
Sven Verdoolaege | generalize isl_union_pw_aff_aff_on_domain to isl_union_pw_af...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-26 |
Sven Verdoolaege | isl_pw_*_get_space: extract out isl_pw_*_peek_space
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-26 |
Sven Verdoolaege | isl_aff.c: pw_aff_aff_on_domain: explicitly insert...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-26 |
Sven Verdoolaege | add isl_aff_from_range
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-26 |
Sven Verdoolaege | add isl_aff_{take,restore}_domain_local_space
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-26 |
Sven Verdoolaege | add isl_local_space_set_from_params
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-26 |
Sven Verdoolaege | add isl_local_space_{take,restore}_space
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-26 |
Sven Verdoolaege | Merge branch 'maint'
|
commit | commitdiff | tree |
| 2017-12-26 |
Sven Verdoolaege | isl_union_pw_aff_aff_on_domain: align parameters of...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-22 |
Sven Verdoolaege | add isl_multi_{pw,}aff_project_domain_on_params
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-22 |
Sven Verdoolaege | isl_multi_templ.c: extract out isl_multi_dims.c
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-21 |
Sven Verdoolaege | add isl_set_get_stride
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-21 |
Sven Verdoolaege | isl_set_get_stride_info: extract out set_detect_stride
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-21 |
Sven Verdoolaege | isl_ast_build_detect_strides: extract out isl_set_get_stride...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-21 |
Sven Verdoolaege | add isl_union_map_project_out_all_params
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-21 |
Sven Verdoolaege | add isl_basic_set_dim_max_val
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-20 |
Sven Verdoolaege | isl_ast_build_node_from_schedule: improve error handling
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-13 |
Sven Verdoolaege | isl_schedule_tree.h: fix typo in comment
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-12-13 |
Sven Verdoolaege | isl_ast_codegen.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-30 |
Sven Verdoolaege | isl_tab: invalidate undo stack if pushing record fails
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-30 |
Sven Verdoolaege | isl_tab.c: push_union: return isl_stat
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-30 |
Sven Verdoolaege | isl_schedule_node_graft_before_or_after: improve error...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-30 |
Sven Verdoolaege | isl_ast_build_get_space: improve error handling
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-30 |
Sven Verdoolaege | isl_ast_build_has_affine_value: return isl_bool
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-30 |
Sven Verdoolaege | isl_ast_graft_list_merge: plug memory leak on error...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-29 |
Sven Verdoolaege | isl_*_mod_multi_val: plug memory leak on error path
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-29 |
Sven Verdoolaege | specialize isl_space_replace to isl_space_replace_params
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-29 |
Sven Verdoolaege | isl_reordering_extend_space: rename "dim" argument...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-28 |
Sven Verdoolaege | isl_*_aff_read_from_str: do not read domains as rational...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-24 |
Albert Cohen | fix typos in user manual
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-23 |
Sven Verdoolaege | export isl_union_map_from_{domain,range}
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-23 |
Sven Verdoolaege | document isl_union_map_from_{domain,range}
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-21 |
Sven Verdoolaege | isl_ctx_last_error: handle NULL input
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-21 |
Sven Verdoolaege | isl_ctx_reset_error: handle NULL input
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-17 |
Sven Verdoolaege | isl-noexceptions.h: clean up fixed part
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-17 |
Sven Verdoolaege | interface/isl_test_cpp-noexceptions: abort on isl error
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-17 |
Sven Verdoolaege | interface/cpp.cc: fix style
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-17 |
Sven Verdoolaege | cpp: generate get_ctx method for all exported classes
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-17 |
Sven Verdoolaege | add tests for Python interface
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-16 |
Sven Verdoolaege | interface/isl_test_cpp-noexceptions.cc: extend test...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-16 |
Sven Verdoolaege | Merge branch 'maint'
|
commit | commitdiff | tree |
| 2017-11-16 |
Sven Verdoolaege | python: specifically handle long arguments
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-08 |
Sven Verdoolaege | export isl_union_set_preimage_*
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-08 |
Sven Verdoolaege | export isl_union_map_eq_at_multi_union_pw_aff
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-08 |
Sven Verdoolaege | expose isl_space_flatten_{domain,range}
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-08 |
Sven Verdoolaege | isl_space_flatten_range: rename "dim" argument to ...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-11-08 |
Sven Verdoolaege | isl_space_flatten_domain: rename "dim" argument to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-30 |
Sven Verdoolaege | interface/python.cc: fix typo in comment
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-30 |
Sven Verdoolaege | doc: fix typos in isl_schedule_node documentation
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-30 |
Sven Verdoolaege | isl_scheduler.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-30 |
Sven Verdoolaege | isl_schedule_tree.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-30 |
Sven Verdoolaege | isl_schedule_node.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-30 |
Sven Verdoolaege | isl_union_map.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-30 |
Sven Verdoolaege | isl_morph.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-25 |
Sven Verdoolaege | isl_tab_pip.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-25 |
Sven Verdoolaege | isl_multi_templ.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-25 |
Sven Verdoolaege | isl_aff.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-25 |
Sven Verdoolaege | isl_val.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-18 |
Sven Verdoolaege | isl_stream_eat: print error message on EOF
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-17 |
Sven Verdoolaege | isl_multi_union_pw_aff_zero: check that input is not...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-13 |
Sven Verdoolaege | drop deprecated isl_int interface
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-13 |
Sven Verdoolaege | privately expose isl_qpolynomial_fold_scale
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-13 |
Sven Verdoolaege | privately expose isl_aff_scale_down
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-13 |
Sven Verdoolaege | isl_test.c: use isl_constraint_set_constant_si instead...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-13 |
Sven Verdoolaege | isl_test.c: use isl_constraint_set_coefficient_si instead...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-13 |
Sven Verdoolaege | isl_test.c: test_fixed_power: use isl_val instead of...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-13 |
Sven Verdoolaege | bound.c: use isl_val instead of isl_int
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-13 |
Sven Verdoolaege | expose isl_pw_qpolynomial_fold_fix_val
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-13 |
Sven Verdoolaege | remove deprecated band forests
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-13 |
Sven Verdoolaege | drop isl_basic_map_foreach_lexopt
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-13 |
Sven Verdoolaege | isl_map_dim_{min,max}: use isl_basic_map_lexopt_pw_multi_aff
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-13 |
Oleksandr Zinenko | multi.h: fix wrong memory management annotation
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-10-12 |
Sven Verdoolaege | isl_tab_basic_map_partial_lexopt: split on parametric...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-09-27 |
Sven Verdoolaege | isl_test.c: test_dim_max_1: extract out check_single_piece
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-09-27 |
Sven Verdoolaege | isl_tab_pip.c: extract out shared {row,col}_is_parameter_var
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-09-27 |
Sven Verdoolaege | isl_test.c: test_list: do not consider internal failure...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2017-09-27 |
Sven Verdoolaege | isl_test.c: test_un_val: do not consider internal failure...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
