isl_transitive_closure.c: is_acyclic: return isl_bool
treea5cb8409c5bdbfb93672e655d455d344b9d48421
-rw-r--r-- 746 .gitignore
-rw-r--r-- 82 .gitmodules
-rw-r--r-- 1141 AUTHORS
-rw-r--r-- 6040 ChangeLog
-rw-r--r-- 1042 LICENSE
-rw-r--r-- 13299 Makefile.am
-rw-r--r-- 1757 README
-rw-r--r-- 17 all.c
-rw-r--r-- 265 all.h
-rwxr-xr-x 24 autogen.sh
-rw-r--r-- 8729 basis_reduction_tab.c
-rw-r--r-- 8357 basis_reduction_templ.c
-rw-r--r-- 6652 bound.c
-rwxr-xr-x 727 bound_test.sh.in
-rw-r--r-- 213 bset_from_bmap.c
-rw-r--r-- 295 bset_to_bmap.c
-rw-r--r-- 1703 cat.c
-rw-r--r-- 544 check_type_range_templ.c
-rw-r--r-- 908 closure.c
-rw-r--r-- 6879 codegen.c
-rw-r--r-- 666 codegen_test.sh.in
-rw-r--r-- 4498 configure.ac
drwxr-xr-x - cpp
drwxr-xr-x - doc
-rw-r--r-- 1349 extract_key.c
-rw-r--r-- 1041 flow.c
-rw-r--r-- 3404 flow_cmp.c
-rw-r--r-- 320 flow_test.sh.in
m--------- - imath
drwxr-xr-x - imath_wrap
drwxr-xr-x - include
drwxr-xr-x - interface
-rw-r--r-- 246926 isl_aff.c
-rw-r--r-- 14408 isl_aff_map.c
-rw-r--r-- 5755 isl_aff_private.h
-rw-r--r-- 33644 isl_affine_hull.c
-rw-r--r-- 27799 isl_arg.c
-rw-r--r-- 72343 isl_ast.c
-rw-r--r-- 69809 isl_ast_build.c
-rw-r--r-- 73184 isl_ast_build_expr.c
-rw-r--r-- 865 isl_ast_build_expr.h
-rw-r--r-- 13620 isl_ast_build_private.h
-rw-r--r-- 186494 isl_ast_codegen.c
-rw-r--r-- 36026 isl_ast_graft.c
-rw-r--r-- 3916 isl_ast_graft_private.h
-rw-r--r-- 3103 isl_ast_private.h
-rw-r--r-- 540 isl_basis_reduction.h
-rw-r--r-- 15712 isl_bernstein.c
-rw-r--r-- 170 isl_bernstein.h
-rw-r--r-- 2903 isl_blk.c
-rw-r--r-- 839 isl_blk.h
-rw-r--r-- 8939 isl_bound.c
-rw-r--r-- 318 isl_bound.h
-rw-r--r-- 10199 isl_box.c
-rw-r--r-- 122352 isl_coalesce.c
-rw-r--r-- 759 isl_config_post.h
-rw-r--r-- 35774 isl_constraint.c
-rw-r--r-- 703 isl_constraint_private.h
-rw-r--r-- 85567 isl_convex_hull.c
-rw-r--r-- 8279 isl_ctx.c
-rw-r--r-- 966 isl_ctx_private.h
-rw-r--r-- 422 isl_deprecated.c
-rw-r--r-- 5729 isl_dim_map.c
-rw-r--r-- 1423 isl_dim_map.h
-rw-r--r-- 24693 isl_equalities.c
-rw-r--r-- 974 isl_equalities.h
-rw-r--r-- 8118 isl_factorization.c
-rw-r--r-- 782 isl_factorization.h
-rw-r--r-- 11370 isl_farkas.c
-rw-r--r-- 665 isl_ffs.c
-rw-r--r-- 97150 isl_flow.c
-rw-r--r-- 41511 isl_fold.c
-rw-r--r-- 608 isl_gmp.c
-rw-r--r-- 5056 isl_hash.c
-rw-r--r-- 145 isl_hash_private.h
-rw-r--r-- 4783 isl_id.c
-rw-r--r-- 835 isl_id_private.h
-rw-r--r-- 459 isl_id_to_ast_expr.c
-rw-r--r-- 402 isl_id_to_id.c
-rw-r--r-- 453 isl_id_to_pw_aff.c
-rw-r--r-- 23574 isl_ilp.c
-rw-r--r-- 264 isl_ilp_private.h
-rw-r--r-- 1753 isl_imath.c
-rw-r--r-- 448 isl_imath.h
-rw-r--r-- 106161 isl_input.c
-rw-r--r-- 1410 isl_int.h
-rw-r--r-- 3358 isl_int_gmp.h
-rw-r--r-- 3031 isl_int_imath.h
-rw-r--r-- 8109 isl_int_sioimath.c
-rw-r--r-- 37935 isl_int_sioimath.h
-rw-r--r-- 16076 isl_list_templ.c
-rw-r--r-- 291 isl_list_templ.h
-rw-r--r-- 7700 isl_local.c
-rw-r--r-- 690 isl_local.h
-rw-r--r-- 162 isl_local_private.h
-rw-r--r-- 41544 isl_local_space.c
-rw-r--r-- 3701 isl_local_space_private.h
-rw-r--r-- 9422 isl_lp.c
-rw-r--r-- 788 isl_lp_private.h
-rw-r--r-- 351722 isl_map.c
-rw-r--r-- 7245 isl_map_lexopt_templ.c
-rw-r--r-- 426 isl_map_list.c
-rw-r--r-- 23677 isl_map_private.h
-rw-r--r-- 147064 isl_map_simplify.c
-rw-r--r-- 23506 isl_map_subtract.c
-rw-r--r-- 439 isl_map_to_basic_set.c
-rw-r--r-- 48353 isl_mat.c
-rw-r--r-- 2407 isl_mat_private.h
-rw-r--r-- 154 isl_maybe_map.h
-rw-r--r-- 21151 isl_morph.c
-rw-r--r-- 3018 isl_morph.h
-rw-r--r-- 127 isl_multi_align_set.c
-rw-r--r-- 1275 isl_multi_align_templ.c
-rw-r--r-- 139 isl_multi_align_union_set.c
-rw-r--r-- 127 isl_multi_apply_set.c
-rw-r--r-- 2231 isl_multi_apply_templ.c
-rw-r--r-- 139 isl_multi_apply_union_set.c
-rw-r--r-- 761 isl_multi_cmp.c
-rw-r--r-- 821 isl_multi_coalesce.c
-rw-r--r-- 3130 isl_multi_dims.c
-rw-r--r-- 943 isl_multi_domain_templ.c
-rw-r--r-- 5715 isl_multi_explicit_domain.c
-rw-r--r-- 592 isl_multi_floor.c
-rw-r--r-- 1068 isl_multi_from_base_templ.c
-rw-r--r-- 839 isl_multi_gist.c
-rw-r--r-- 534 isl_multi_hash.c
-rw-r--r-- 1383 isl_multi_identity_templ.c
-rw-r--r-- 4621 isl_multi_intersect.c
-rw-r--r-- 280 isl_multi_macro.h
-rw-r--r-- 2140 isl_multi_move_dims_templ.c
-rw-r--r-- 5060 isl_multi_no_explicit_domain.c
-rw-r--r-- 2259 isl_multi_product_templ.c
-rw-r--r-- 4163 isl_multi_pw_aff_explicit_domain.c
-rw-r--r-- 1469 isl_multi_splice_templ.c
-rw-r--r-- 31863 isl_multi_templ.c
-rw-r--r-- 885 isl_multi_templ.h
-rw-r--r-- 1626 isl_multi_union_pw_aff_explicit_domain.c
-rw-r--r-- 978 isl_multi_zero_templ.c
-rw-r--r-- 8331 isl_obj.c
-rw-r--r-- 15318 isl_options.c
-rw-r--r-- 1688 isl_options_private.h
-rw-r--r-- 92047 isl_output.c
-rw-r--r-- 857 isl_output_private.h
-rw-r--r-- 16707 isl_point.c
-rw-r--r-- 845 isl_point_private.h
-rw-r--r-- 111921 isl_polynomial.c
-rw-r--r-- 9672 isl_polynomial_private.h
-rw-r--r-- 1810 isl_power_templ.c
-rw-r--r-- 19898 isl_printer.c
-rw-r--r-- 1320 isl_printer_private.h
-rw-r--r-- 2077 isl_pw_eval.c
-rw-r--r-- 591 isl_pw_hash.c
-rw-r--r-- 160 isl_pw_macro.h
-rw-r--r-- 49689 isl_pw_templ.c
-rw-r--r-- 111 isl_pw_templ.h
-rw-r--r-- 7782 isl_pw_union_opt.c
-rw-r--r-- 14684 isl_range.c
-rw-r--r-- 281 isl_range.h
-rw-r--r-- 5135 isl_reordering.c
-rw-r--r-- 1326 isl_reordering.h
-rw-r--r-- 37250 isl_sample.c
-rw-r--r-- 924 isl_sample.h
-rw-r--r-- 7745 isl_scan.c
-rw-r--r-- 632 isl_scan.h
-rw-r--r-- 20569 isl_schedule.c
-rw-r--r-- 34199 isl_schedule_band.c
-rw-r--r-- 5520 isl_schedule_band.h
-rw-r--r-- 19967 isl_schedule_constraints.c
-rw-r--r-- 913 isl_schedule_constraints.h
-rw-r--r-- 151721 isl_schedule_node.c
-rw-r--r-- 2646 isl_schedule_node_private.h
-rw-r--r-- 1061 isl_schedule_private.h
-rw-r--r-- 17929 isl_schedule_read.c
-rw-r--r-- 79650 isl_schedule_tree.c
-rw-r--r-- 12056 isl_schedule_tree.h
-rw-r--r-- 226544 isl_scheduler.c
-rw-r--r-- 7320 isl_seq.c
-rw-r--r-- 2457 isl_seq.h
-rw-r--r-- 426 isl_set_list.c
-rw-r--r-- 4922 isl_sort.c
-rw-r--r-- 197 isl_sort.h
-rw-r--r-- 66474 isl_space.c
-rw-r--r-- 2312 isl_space_private.h
-rw-r--r-- 40 isl_srcdir.c.in
-rw-r--r-- 28135 isl_stream.c
-rw-r--r-- 1670 isl_stream_private.h
-rw-r--r-- 9966 isl_stride.c
-rw-r--r-- 112576 isl_tab.c
-rw-r--r-- 12327 isl_tab.h
-rw-r--r-- 7504 isl_tab_lexopt_templ.c
-rw-r--r-- 166873 isl_tab_pip.c
-rw-r--r-- 4014 isl_tarjan.c
-rw-r--r-- 1296 isl_tarjan.h
-rw-r--r-- 285970 isl_test.c
-rw-r--r-- 2333 isl_test_cpp-checked-conversion.cc
-rw-r--r-- 4589 isl_test_cpp-checked.cc
-rw-r--r-- 5330 isl_test_cpp-generic.cc
-rw-r--r-- 4091 isl_test_cpp.cc
-rw-r--r-- 1969 isl_test_imath.c
-rw-r--r-- 17278 isl_test_int.c
-rw-r--r-- 1108 isl_test_list_templ.c
-rwxr-xr-x 4812 isl_test_python.py
-rw-r--r-- 77285 isl_transitive_closure.c
-rw-r--r-- 1772 isl_union_eval.c
-rw-r--r-- 300 isl_union_macro.h
-rw-r--r-- 113933 isl_union_map.c
-rw-r--r-- 834 isl_union_map_private.h
-rw-r--r-- 12607 isl_union_multi.c
-rw-r--r-- 598 isl_union_neg.c
-rw-r--r-- 322 isl_union_set_private.h
-rw-r--r-- 5341 isl_union_single.c
-rw-r--r-- 29194 isl_union_templ.c
-rw-r--r-- 36775 isl_val.c
-rw-r--r-- 3117 isl_val_gmp.c
-rw-r--r-- 1784 isl_val_imath.c
-rw-r--r-- 2459 isl_val_private.h
-rw-r--r-- 1930 isl_val_sioimath.c
-rw-r--r-- 13615 isl_vec.c
-rw-r--r-- 673 isl_vec_private.h
-rw-r--r-- 227 isl_version.c
-rw-r--r-- 37912 isl_vertices.c
-rw-r--r-- 1603 isl_vertices_private.h
-rw-r--r-- 338 isl_yaml.h
-rw-r--r-- 2891 libisl-gdb.py
drwxr-xr-x - m4
-rw-r--r-- 373 mp_get_memory_functions.c
-rw-r--r-- 10567 pip.c
-rwxr-xr-x 658 pip_test.sh.in
-rw-r--r-- 716 polyhedron_detect_equalities.c
-rw-r--r-- 2436 polyhedron_minimize.c
-rw-r--r-- 913 polyhedron_sample.c
-rw-r--r-- 2415 polytope_scan.c
-rw-r--r-- 2121 print.c
-rw-r--r-- 738 print_templ.c
-rw-r--r-- 842 print_templ_yaml.c
drwxr-xr-x - python
-rw-r--r-- 956 read_in_string_templ.c
-rw-r--r-- 1070 schedule.c
-rw-r--r-- 1886 schedule_cmp.c
-rw-r--r-- 540 schedule_test.sh.in
-rw-r--r-- 178 set_from_map.c
-rw-r--r-- 218 set_list_from_map_list_inl.c
-rw-r--r-- 254 set_to_map.c
drwxr-xr-x - test_inputs
drwxr-xr-x - testsets
-rw-r--r-- 219 uset_from_umap.c
-rw-r--r-- 301 uset_to_umap.c