Name | Date | Size | #Lines | LOC | ||
---|---|---|---|---|---|---|
.. | 03-May-2022 | - | ||||
cpp/ | H | 09-Dec-2020 | - | 474 | 399 | |
doc/ | H | 09-Dec-2020 | - | 15,461 | 13,408 | |
imath/ | H | 09-Dec-2020 | - | 5,562 | 3,545 | |
imath_wrap/ | H | 09-Dec-2020 | - | 190 | 180 | |
include/isl/ | H | 09-Dec-2020 | - | 60,204 | 50,658 | |
interface/ | H | 09-Dec-2020 | - | 20,425 | 17,858 | |
m4/ | H | 09-Dec-2020 | - | 12,348 | 11,102 | |
python/ | H | 09-Dec-2020 | - | 38 | 29 | |
test_inputs/ | H | 09-Dec-2020 | - | 8,863 | 7,935 | |
AUTHORS | H A D | 09-Dec-2020 | 1.3 KiB | 61 | 56 | |
ChangeLog | H A D | 09-Dec-2020 | 6.5 KiB | 235 | 234 | |
GIT_HEAD_ID | H A D | 09-Dec-2020 | 24 | 2 | 1 | |
LICENSE | H A D | 09-Dec-2020 | 1 KiB | 20 | 16 | |
Makefile.am | H A D | 09-Dec-2020 | 14.3 KiB | 607 | 559 | |
Makefile.in | H A D | 09-Dec-2020 | 98.2 KiB | 2,601 | 2,389 | |
README | H A D | 09-Dec-2020 | 1.7 KiB | 54 | 41 | |
aclocal.m4 | H A D | 09-Dec-2020 | 50.8 KiB | 1,412 | 1,282 | |
all.h | H A D | 09-Dec-2020 | 335 | 15 | 14 | |
basis_reduction_tab.c | H A D | 09-Dec-2020 | 8.5 KiB | 294 | 236 | |
basis_reduction_templ.c | H A D | 09-Dec-2020 | 8.2 KiB | 357 | 267 | |
bound.c | H A D | 09-Dec-2020 | 6.6 KiB | 290 | 238 | |
bound_test.sh.in | H A D | 09-Dec-2020 | 727 | 37 | 32 | |
bset_from_bmap.c | H A D | 09-Dec-2020 | 213 | 9 | 5 | |
bset_to_bmap.c | H A D | 09-Dec-2020 | 295 | 11 | 5 | |
cat.c | H A D | 09-Dec-2020 | 1.7 KiB | 70 | 56 | |
check_reparse_templ.c | H A D | 09-Dec-2020 | 737 | 33 | 26 | |
check_reparse_test_templ.c | H A D | 09-Dec-2020 | 679 | 29 | 18 | |
check_type_range_templ.c | H A D | 09-Dec-2020 | 547 | 21 | 15 | |
closure.c | H A D | 09-Dec-2020 | 913 | 40 | 31 | |
codegen.c | H A D | 09-Dec-2020 | 6.8 KiB | 249 | 163 | |
codegen_test.sh.in | H A D | 09-Dec-2020 | 666 | 31 | 25 | |
compile | H A D | 09-Dec-2020 | 7.2 KiB | 348 | 258 | |
config.guess | H A D | 09-Dec-2020 | 43.2 KiB | 1,481 | 1,288 | |
config.sub | H A D | 09-Dec-2020 | 35.3 KiB | 1,802 | 1,661 | |
configure | H A D | 09-Dec-2020 | 724.3 KiB | 24,130 | 20,330 | |
configure.ac | H A D | 09-Dec-2020 | 4.3 KiB | 156 | 135 | |
dep.c | H A D | 09-Dec-2020 | 17 | 2 | 1 | |
depcomp | H A D | 09-Dec-2020 | 23 KiB | 792 | 502 | |
extract_key.c | H A D | 09-Dec-2020 | 1.3 KiB | 63 | 37 | |
flow.c | H A D | 09-Dec-2020 | 1 KiB | 45 | 25 | |
flow_cmp.c | H A D | 09-Dec-2020 | 3.3 KiB | 141 | 104 | |
flow_test.sh.in | H A D | 09-Dec-2020 | 320 | 19 | 13 | |
has_single_reference_templ.c | H A D | 09-Dec-2020 | 288 | 13 | 8 | |
install-sh | H A D | 09-Dec-2020 | 14.8 KiB | 509 | 329 | |
isl_aff.c | H A D | 09-Dec-2020 | 249.3 KiB | 9,539 | 6,445 | |
isl_aff_map.c | H A D | 09-Dec-2020 | 14.2 KiB | 518 | 325 | |
isl_aff_private.h | H A D | 09-Dec-2020 | 6.1 KiB | 224 | 156 | |
isl_affine_hull.c | H A D | 09-Dec-2020 | 33.6 KiB | 1,250 | 843 | |
isl_align_params_bin_templ.c | H A D | 09-Dec-2020 | 130 | 9 | 7 | |
isl_align_params_templ.c | H A D | 09-Dec-2020 | 1 KiB | 41 | 27 | |
isl_arg.c | H A D | 09-Dec-2020 | 27.2 KiB | 1,312 | 1,082 | |
isl_ast.c | H A D | 09-Dec-2020 | 74.8 KiB | 2,958 | 2,166 | |
isl_ast_build.c | H A D | 09-Dec-2020 | 68.6 KiB | 2,477 | 1,575 | |
isl_ast_build_expr.c | H A D | 09-Dec-2020 | 72.5 KiB | 2,557 | 1,448 | |
isl_ast_build_expr.h | H A D | 09-Dec-2020 | 865 | 23 | 17 | |
isl_ast_build_private.h | H A D | 09-Dec-2020 | 13.3 KiB | 328 | 165 | |
isl_ast_codegen.c | H A D | 09-Dec-2020 | 184.8 KiB | 5,911 | 3,388 | |
isl_ast_graft.c | H A D | 09-Dec-2020 | 39.5 KiB | 1,467 | 989 | |
isl_ast_graft_private.h | H A D | 09-Dec-2020 | 4 KiB | 106 | 71 | |
isl_ast_private.h | H A D | 09-Dec-2020 | 3 KiB | 123 | 95 | |
isl_basis_reduction.h | H A D | 09-Dec-2020 | 540 | 28 | 13 | |
isl_bernstein.c | H A D | 09-Dec-2020 | 16 KiB | 588 | 450 | |
isl_bernstein.h | H A D | 09-Dec-2020 | 170 | 6 | 4 | |
isl_bind_domain_templ.c | H A D | 09-Dec-2020 | 5.2 KiB | 169 | 93 | |
isl_blk.c | H A D | 09-Dec-2020 | 2.8 KiB | 135 | 103 | |
isl_blk.h | H A D | 09-Dec-2020 | 839 | 41 | 23 | |
isl_bound.c | H A D | 09-Dec-2020 | 9 KiB | 341 | 257 | |
isl_bound.h | H A D | 09-Dec-2020 | 318 | 21 | 14 | |
isl_box.c | H A D | 09-Dec-2020 | 12.1 KiB | 453 | 290 | |
isl_check_named_params_templ.c | H A D | 09-Dec-2020 | 295 | 11 | 6 | |
isl_coalesce.c | H A D | 09-Dec-2020 | 122.7 KiB | 4,076 | 2,370 | |
isl_config.h.in | H A D | 09-Dec-2020 | 6.2 KiB | 227 | 154 | |
isl_config_post.h | H A D | 09-Dec-2020 | 736 | 39 | 30 | |
isl_constraint.c | H A D | 09-Dec-2020 | 35.4 KiB | 1,387 | 1,036 | |
isl_constraint_private.h | H A D | 09-Dec-2020 | 703 | 33 | 23 | |
isl_convex_hull.c | H A D | 09-Dec-2020 | 86.4 KiB | 3,150 | 2,216 | |
isl_ctx.c | H A D | 09-Dec-2020 | 8.7 KiB | 410 | 289 | |
isl_ctx_private.h | H A D | 09-Dec-2020 | 966 | 45 | 27 | |
isl_deprecated.c | H A D | 09-Dec-2020 | 422 | 16 | 9 | |
isl_dim_map.c | H A D | 09-Dec-2020 | 5.7 KiB | 253 | 192 | |
isl_dim_map.h | H A D | 09-Dec-2020 | 1.4 KiB | 38 | 31 | |
isl_domain_factor_templ.c | H A D | 09-Dec-2020 | 1.9 KiB | 68 | 43 | |
isl_equalities.c | H A D | 09-Dec-2020 | 24.3 KiB | 896 | 528 | |
isl_equalities.h | H A D | 09-Dec-2020 | 974 | 36 | 21 | |
isl_factorization.c | H A D | 09-Dec-2020 | 7.9 KiB | 329 | 246 | |
isl_factorization.h | H A D | 09-Dec-2020 | 782 | 35 | 21 | |
isl_farkas.c | H A D | 09-Dec-2020 | 11.4 KiB | 436 | 260 | |
isl_ffs.c | H A D | 09-Dec-2020 | 665 | 25 | 11 | |
isl_flow.c | H A D | 09-Dec-2020 | 95.4 KiB | 3,339 | 2,158 | |
isl_fold.c | H A D | 09-Dec-2020 | 41.4 KiB | 1,829 | 1,431 | |
isl_gmp.c | H A D | 09-Dec-2020 | 608 | 25 | 13 | |
isl_hash.c | H A D | 09-Dec-2020 | 5 KiB | 242 | 180 | |
isl_id.c | H A D | 09-Dec-2020 | 6 KiB | 307 | 224 | |
isl_id_private.h | H A D | 09-Dec-2020 | 983 | 49 | 23 | |
isl_id_to_ast_expr.c | H A D | 09-Dec-2020 | 472 | 17 | 13 | |
isl_id_to_id.c | H A D | 09-Dec-2020 | 436 | 17 | 13 | |
isl_id_to_pw_aff.c | H A D | 09-Dec-2020 | 466 | 17 | 13 | |
isl_ilp.c | H A D | 09-Dec-2020 | 23.3 KiB | 890 | 564 | |
isl_ilp_private.h | H A D | 09-Dec-2020 | 264 | 12 | 8 | |
isl_imath.c | H A D | 09-Dec-2020 | 1.7 KiB | 84 | 57 | |
isl_imath.h | H A D | 09-Dec-2020 | 448 | 11 | 9 | |
isl_input.c | H A D | 09-Dec-2020 | 109.5 KiB | 4,442 | 3,336 | |
isl_int.h | H A D | 09-Dec-2020 | 1.4 KiB | 53 | 36 | |
isl_int_gmp.h | H A D | 09-Dec-2020 | 3.3 KiB | 90 | 75 | |
isl_int_imath.h | H A D | 09-Dec-2020 | 3 KiB | 76 | 64 | |
isl_int_sioimath.c | H A D | 09-Dec-2020 | 7.9 KiB | 224 | 179 | |
isl_int_sioimath.h | H A D | 09-Dec-2020 | 37 KiB | 1,255 | 807 | |
isl_list_macro.h | H A D | 09-Dec-2020 | 226 | 9 | 8 | |
isl_list_templ.c | H A D | 09-Dec-2020 | 15.6 KiB | 663 | 461 | |
isl_list_templ.h | H A D | 09-Dec-2020 | 291 | 17 | 12 | |
isl_local.c | H A D | 09-Dec-2020 | 8.1 KiB | 319 | 214 | |
isl_local.h | H A D | 09-Dec-2020 | 690 | 24 | 15 | |
isl_local_private.h | H A D | 09-Dec-2020 | 162 | 9 | 5 | |
isl_local_space.c | H A D | 09-Dec-2020 | 41.4 KiB | 1,714 | 1,207 | |
isl_local_space_private.h | H A D | 09-Dec-2020 | 3.6 KiB | 101 | 75 | |
isl_lp.c | H A D | 09-Dec-2020 | 9.3 KiB | 373 | 273 | |
isl_lp_private.h | H A D | 09-Dec-2020 | 788 | 22 | 18 | |
isl_map.c | H A D | 09-Dec-2020 | 367.7 KiB | 14,254 | 10,561 | |
isl_map_bound_templ.c | H A D | 09-Dec-2020 | 1.3 KiB | 54 | 33 | |
isl_map_lexopt_templ.c | H A D | 09-Dec-2020 | 7.1 KiB | 230 | 148 | |
isl_map_list.c | H A D | 09-Dec-2020 | 444 | 33 | 20 | |
isl_map_private.h | H A D | 09-Dec-2020 | 23.7 KiB | 579 | 461 | |
isl_map_simplify.c | H A D | 09-Dec-2020 | 148.4 KiB | 5,394 | 3,561 | |
isl_map_subtract.c | H A D | 09-Dec-2020 | 23 KiB | 944 | 706 | |
isl_map_to_basic_set.c | H A D | 09-Dec-2020 | 439 | 15 | 12 | |
isl_mat.c | H A D | 09-Dec-2020 | 47.5 KiB | 2,104 | 1,668 | |
isl_mat_private.h | H A D | 09-Dec-2020 | 2.4 KiB | 70 | 49 | |
isl_maybe_ast_graft_list.h | H A D | 09-Dec-2020 | 196 | 11 | 7 | |
isl_maybe_map.h | H A D | 09-Dec-2020 | 154 | 11 | 7 | |
isl_morph.c | H A D | 09-Dec-2020 | 21.4 KiB | 864 | 601 | |
isl_morph.h | H A D | 09-Dec-2020 | 2.9 KiB | 90 | 60 | |
isl_multi_add_constant_templ.c | H A D | 09-Dec-2020 | 2 KiB | 94 | 69 | |
isl_multi_align_set.c | H A D | 09-Dec-2020 | 127 | 8 | 5 | |
isl_multi_align_templ.c | H A D | 09-Dec-2020 | 1.2 KiB | 46 | 32 | |
isl_multi_align_union_set.c | H A D | 09-Dec-2020 | 139 | 8 | 5 | |
isl_multi_apply_set.c | H A D | 09-Dec-2020 | 127 | 8 | 5 | |
isl_multi_apply_templ.c | H A D | 09-Dec-2020 | 2.2 KiB | 85 | 55 | |
isl_multi_apply_union_set.c | H A D | 09-Dec-2020 | 139 | 8 | 5 | |
isl_multi_arith_templ.c | H A D | 09-Dec-2020 | 5.2 KiB | 237 | 165 | |
isl_multi_bind_domain_templ.c | H A D | 09-Dec-2020 | 305 | 15 | 4 | |
isl_multi_bind_templ.c | H A D | 09-Dec-2020 | 1.6 KiB | 66 | 43 | |
isl_multi_cmp.c | H A D | 09-Dec-2020 | 761 | 41 | 22 | |
isl_multi_coalesce.c | H A D | 09-Dec-2020 | 821 | 36 | 16 | |
isl_multi_dim_id_templ.c | H A D | 09-Dec-2020 | 2.2 KiB | 93 | 58 | |
isl_multi_dims.c | H A D | 09-Dec-2020 | 3.2 KiB | 120 | 84 | |
isl_multi_domain_templ.c | H A D | 09-Dec-2020 | 943 | 43 | 22 | |
isl_multi_explicit_domain.c | H A D | 09-Dec-2020 | 5.6 KiB | 206 | 133 | |
isl_multi_floor.c | H A D | 09-Dec-2020 | 592 | 30 | 14 | |
isl_multi_from_base_templ.c | H A D | 09-Dec-2020 | 1 KiB | 38 | 15 | |
isl_multi_gist.c | H A D | 09-Dec-2020 | 839 | 30 | 11 | |
isl_multi_hash.c | H A D | 09-Dec-2020 | 534 | 31 | 16 | |
isl_multi_identity_templ.c | H A D | 09-Dec-2020 | 2.1 KiB | 87 | 54 | |
isl_multi_intersect.c | H A D | 09-Dec-2020 | 4.5 KiB | 152 | 89 | |
isl_multi_locals_templ.c | H A D | 09-Dec-2020 | 418 | 18 | 5 | |
isl_multi_macro.h | H A D | 09-Dec-2020 | 179 | 9 | 7 | |
isl_multi_move_dims_templ.c | H A D | 09-Dec-2020 | 2.1 KiB | 72 | 48 | |
isl_multi_nan_templ.c | H A D | 09-Dec-2020 | 411 | 18 | 5 | |
isl_multi_no_domain_templ.c | H A D | 09-Dec-2020 | 3.2 KiB | 119 | 53 | |
isl_multi_no_explicit_domain.c | H A D | 09-Dec-2020 | 5.2 KiB | 173 | 84 | |
isl_multi_param_templ.c | H A D | 09-Dec-2020 | 1.3 KiB | 61 | 39 | |
isl_multi_product_templ.c | H A D | 09-Dec-2020 | 2 KiB | 69 | 46 | |
isl_multi_pw_aff_explicit_domain.c | H A D | 09-Dec-2020 | 4.1 KiB | 135 | 97 | |
isl_multi_read_no_explicit_domain_templ.c | H A D | 09-Dec-2020 | 2.2 KiB | 95 | 62 | |
isl_multi_splice_templ.c | H A D | 09-Dec-2020 | 1.4 KiB | 64 | 25 | |
isl_multi_templ.c | H A D | 09-Dec-2020 | 21.9 KiB | 876 | 624 | |
isl_multi_templ.h | H A D | 09-Dec-2020 | 885 | 35 | 19 | |
isl_multi_tuple_id_templ.c | H A D | 09-Dec-2020 | 2.1 KiB | 95 | 61 | |
isl_multi_union_pw_aff_explicit_domain.c | H A D | 09-Dec-2020 | 1.6 KiB | 52 | 32 | |
isl_multi_zero_templ.c | H A D | 09-Dec-2020 | 1 KiB | 52 | 30 | |
isl_obj.c | H A D | 09-Dec-2020 | 8.1 KiB | 366 | 291 | |
isl_options.c | H A D | 09-Dec-2020 | 15 KiB | 386 | 319 | |
isl_options_private.h | H A D | 09-Dec-2020 | 1.6 KiB | 75 | 58 | |
isl_output.c | H A D | 09-Dec-2020 | 96.5 KiB | 3,629 | 2,763 | |
isl_output_private.h | H A D | 09-Dec-2020 | 857 | 28 | 13 | |
isl_point.c | H A D | 09-Dec-2020 | 18.3 KiB | 811 | 611 | |
isl_point_private.h | H A D | 09-Dec-2020 | 845 | 28 | 22 | |
isl_polynomial.c | H A D | 09-Dec-2020 | 112.9 KiB | 5,204 | 4,051 | |
isl_polynomial_private.h | H A D | 09-Dec-2020 | 9.4 KiB | 290 | 222 | |
isl_power_templ.c | H A D | 09-Dec-2020 | 1.8 KiB | 82 | 62 | |
isl_printer.c | H A D | 09-Dec-2020 | 19.5 KiB | 852 | 649 | |
isl_printer_private.h | H A D | 09-Dec-2020 | 1.3 KiB | 53 | 29 | |
isl_project_out_all_params_templ.c | H A D | 09-Dec-2020 | 489 | 22 | 10 | |
isl_pw_add_constant_multi_val_templ.c | H A D | 09-Dec-2020 | 286 | 14 | 3 | |
isl_pw_add_constant_templ.c | H A D | 09-Dec-2020 | 899 | 48 | 30 | |
isl_pw_add_constant_val_templ.c | H A D | 09-Dec-2020 | 280 | 14 | 3 | |
isl_pw_bind_domain_templ.c | H A D | 09-Dec-2020 | 293 | 15 | 4 | |
isl_pw_eval.c | H A D | 09-Dec-2020 | 2 KiB | 87 | 60 | |
isl_pw_hash.c | H A D | 09-Dec-2020 | 591 | 34 | 18 | |
isl_pw_insert_dims_templ.c | H A D | 09-Dec-2020 | 1,019 | 48 | 31 | |
isl_pw_lift_templ.c | H A D | 09-Dec-2020 | 1.7 KiB | 91 | 63 | |
isl_pw_macro.h | H A D | 09-Dec-2020 | 248 | 9 | 8 | |
isl_pw_morph_templ.c | H A D | 09-Dec-2020 | 1 KiB | 50 | 33 | |
isl_pw_move_dims_templ.c | H A D | 09-Dec-2020 | 1.1 KiB | 50 | 33 | |
isl_pw_neg_templ.c | H A D | 09-Dec-2020 | 600 | 35 | 18 | |
isl_pw_opt_templ.c | H A D | 09-Dec-2020 | 1.2 KiB | 55 | 33 | |
isl_pw_pullback_templ.c | H A D | 09-Dec-2020 | 2.7 KiB | 122 | 89 | |
isl_pw_sub_templ.c | H A D | 09-Dec-2020 | 397 | 17 | 5 | |
isl_pw_templ.c | H A D | 09-Dec-2020 | 45.1 KiB | 2,019 | 1,475 | |
isl_pw_templ.h | H A D | 09-Dec-2020 | 111 | 6 | 3 | |
isl_pw_union_opt.c | H A D | 09-Dec-2020 | 7.6 KiB | 254 | 144 | |
isl_range.c | H A D | 09-Dec-2020 | 14.8 KiB | 563 | 420 | |
isl_range.h | H A D | 09-Dec-2020 | 281 | 7 | 5 | |
isl_reordering.c | H A D | 09-Dec-2020 | 7.2 KiB | 314 | 233 | |
isl_reordering.h | H A D | 09-Dec-2020 | 1.4 KiB | 37 | 24 | |
isl_sample.c | H A D | 09-Dec-2020 | 36.7 KiB | 1,322 | 905 | |
isl_sample.h | H A D | 09-Dec-2020 | 924 | 37 | 20 | |
isl_scan.c | H A D | 09-Dec-2020 | 7.6 KiB | 328 | 248 | |
isl_scan.h | H A D | 09-Dec-2020 | 632 | 27 | 13 | |
isl_schedule.c | H A D | 09-Dec-2020 | 20.1 KiB | 685 | 445 | |
isl_schedule_band.c | H A D | 09-Dec-2020 | 33.5 KiB | 1,311 | 899 | |
isl_schedule_band.h | H A D | 09-Dec-2020 | 5.4 KiB | 126 | 90 | |
isl_schedule_constraints.c | H A D | 09-Dec-2020 | 19.6 KiB | 763 | 515 | |
isl_schedule_constraints.h | H A D | 09-Dec-2020 | 920 | 32 | 25 | |
isl_schedule_node.c | H A D | 09-Dec-2020 | 151.9 KiB | 4,907 | 3,251 | |
isl_schedule_node_private.h | H A D | 09-Dec-2020 | 2.6 KiB | 69 | 41 | |
isl_schedule_private.h | H A D | 09-Dec-2020 | 1 KiB | 37 | 21 | |
isl_schedule_read.c | H A D | 09-Dec-2020 | 17.6 KiB | 780 | 634 | |
isl_schedule_tree.c | H A D | 09-Dec-2020 | 78.1 KiB | 2,907 | 2,114 | |
isl_schedule_tree.h | H A D | 09-Dec-2020 | 11.8 KiB | 267 | 204 | |
isl_scheduler.c | H A D | 09-Dec-2020 | 228.3 KiB | 7,654 | 4,437 | |
isl_seq.c | H A D | 09-Dec-2020 | 7.1 KiB | 361 | 278 | |
isl_seq.h | H A D | 09-Dec-2020 | 2.4 KiB | 64 | 45 | |
isl_set_list.c | H A D | 09-Dec-2020 | 444 | 33 | 20 | |
isl_set_to_ast_graft_list.c | H A D | 09-Dec-2020 | 578 | 18 | 14 | |
isl_set_to_ast_graft_list.h | H A D | 09-Dec-2020 | 418 | 19 | 15 | |
isl_sort.c | H A D | 09-Dec-2020 | 4.8 KiB | 158 | 83 | |
isl_sort.h | H A D | 09-Dec-2020 | 197 | 10 | 6 | |
isl_space.c | H A D | 09-Dec-2020 | 79.9 KiB | 3,255 | 2,465 | |
isl_space_private.h | H A D | 09-Dec-2020 | 3.5 KiB | 94 | 75 | |
isl_srcdir.c.in | H A D | 09-Dec-2020 | 43 | 2 | 1 | |
isl_stream.c | H A D | 09-Dec-2020 | 27.7 KiB | 1,182 | 953 | |
isl_stream_private.h | H A D | 09-Dec-2020 | 1.6 KiB | 70 | 43 | |
isl_stride.c | H A D | 09-Dec-2020 | 9.8 KiB | 394 | 235 | |
isl_tab.c | H A D | 09-Dec-2020 | 113.6 KiB | 4,270 | 3,052 | |
isl_tab.h | H A D | 09-Dec-2020 | 12.1 KiB | 340 | 217 | |
isl_tab_lexopt_templ.c | H A D | 09-Dec-2020 | 7.5 KiB | 236 | 135 | |
isl_tab_pip.c | H A D | 09-Dec-2020 | 164.8 KiB | 6,011 | 3,927 | |
isl_tarjan.c | H A D | 09-Dec-2020 | 3.9 KiB | 160 | 106 | |
isl_tarjan.h | H A D | 09-Dec-2020 | 1.3 KiB | 43 | 22 | |
isl_test.c | H A D | 09-Dec-2020 | 309 KiB | 10,414 | 8,333 | |
isl_test_cpp-checked-conversion.cc | H A D | 09-Dec-2020 | 2.3 KiB | 100 | 57 | |
isl_test_cpp-checked.cc | H A D | 09-Dec-2020 | 8 KiB | 312 | 197 | |
isl_test_cpp-generic.cc | H A D | 09-Dec-2020 | 10.5 KiB | 375 | 226 | |
isl_test_cpp.cc | H A D | 09-Dec-2020 | 7.5 KiB | 322 | 222 | |
isl_test_imath.c | H A D | 09-Dec-2020 | 1.9 KiB | 80 | 48 | |
isl_test_int.c | H A D | 09-Dec-2020 | 16.9 KiB | 670 | 499 | |
isl_test_list_templ.c | H A D | 09-Dec-2020 | 1.1 KiB | 52 | 38 | |
isl_test_plain_equal_templ.c | H A D | 09-Dec-2020 | 1.2 KiB | 51 | 31 | |
isl_test_python.py | H A D | 09-Dec-2020 | 10.6 KiB | 450 | 274 | |
isl_transitive_closure.c | H A D | 09-Dec-2020 | 75.5 KiB | 2,948 | 1,992 | |
isl_type_check_equal_space_templ.c | H A D | 09-Dec-2020 | 581 | 26 | 12 | |
isl_type_has_equal_space_bin_templ.c | H A D | 09-Dec-2020 | 151 | 9 | 7 | |
isl_type_has_equal_space_templ.c | H A D | 09-Dec-2020 | 685 | 29 | 13 | |
isl_union_eval.c | H A D | 09-Dec-2020 | 1.8 KiB | 81 | 57 | |
isl_union_macro.h | H A D | 09-Dec-2020 | 300 | 11 | 10 | |
isl_union_map.c | H A D | 09-Dec-2020 | 117.3 KiB | 4,438 | 3,034 | |
isl_union_map_private.h | H A D | 09-Dec-2020 | 914 | 24 | 20 | |
isl_union_multi.c | H A D | 09-Dec-2020 | 14.3 KiB | 538 | 352 | |
isl_union_neg.c | H A D | 09-Dec-2020 | 598 | 26 | 9 | |
isl_union_set_private.h | H A D | 09-Dec-2020 | 322 | 12 | 8 | |
isl_union_single.c | H A D | 09-Dec-2020 | 5 KiB | 189 | 117 | |
isl_union_templ.c | H A D | 09-Dec-2020 | 32 KiB | 1,317 | 904 | |
isl_val.c | H A D | 09-Dec-2020 | 32.9 KiB | 1,633 | 1,193 | |
isl_val_gmp.c | H A D | 09-Dec-2020 | 3.1 KiB | 129 | 77 | |
isl_val_imath.c | H A D | 09-Dec-2020 | 1.8 KiB | 65 | 35 | |
isl_val_private.h | H A D | 09-Dec-2020 | 1.7 KiB | 62 | 40 | |
isl_val_sioimath.c | H A D | 09-Dec-2020 | 1.9 KiB | 69 | 38 | |
isl_vec.c | H A D | 09-Dec-2020 | 13.3 KiB | 656 | 501 | |
isl_vec_private.h | H A D | 09-Dec-2020 | 673 | 32 | 20 | |
isl_version.c | H A D | 09-Dec-2020 | 227 | 18 | 16 | |
isl_vertices.c | H A D | 09-Dec-2020 | 37.3 KiB | 1,564 | 1,130 | |
isl_vertices_private.h | H A D | 09-Dec-2020 | 1.6 KiB | 72 | 45 | |
isl_yaml.h | H A D | 09-Dec-2020 | 338 | 19 | 15 | |
libisl-gdb.py | H A D | 09-Dec-2020 | 2.8 KiB | 101 | 75 | |
ltmain.sh | H A D | 09-Dec-2020 | 316.8 KiB | 11,157 | 7,986 | |
missing | H A D | 09-Dec-2020 | 6.7 KiB | 216 | 143 | |
mp_get_memory_functions.c | H A D | 09-Dec-2020 | 373 | 15 | 13 | |
opt_type.h | H A D | 09-Dec-2020 | 513 | 17 | 16 | |
pip.c | H A D | 09-Dec-2020 | 10.8 KiB | 434 | 319 | |
pip_test.sh.in | H A D | 09-Dec-2020 | 658 | 32 | 27 | |
polyhedron_detect_equalities.c | H A D | 09-Dec-2020 | 716 | 31 | 16 | |
polyhedron_minimize.c | H A D | 09-Dec-2020 | 2.4 KiB | 106 | 78 | |
polyhedron_sample.c | H A D | 09-Dec-2020 | 913 | 37 | 24 | |
polytope_scan.c | H A D | 09-Dec-2020 | 2.4 KiB | 108 | 74 | |
print.c | H A D | 09-Dec-2020 | 2.1 KiB | 106 | 104 | |
print_templ.c | H A D | 09-Dec-2020 | 846 | 43 | 34 | |
print_templ_yaml.c | H A D | 09-Dec-2020 | 842 | 40 | 29 | |
print_yaml_field_templ.c | H A D | 09-Dec-2020 | 619 | 23 | 17 | |
py-compile | H A D | 09-Dec-2020 | 4.6 KiB | 171 | 124 | |
read_in_string_templ.c | H A D | 09-Dec-2020 | 956 | 39 | 27 | |
schedule.c | H A D | 09-Dec-2020 | 1 KiB | 44 | 24 | |
schedule_cmp.c | H A D | 09-Dec-2020 | 1.8 KiB | 86 | 58 | |
schedule_test.sh.in | H A D | 09-Dec-2020 | 540 | 28 | 22 | |
set_from_map.c | H A D | 09-Dec-2020 | 178 | 9 | 5 | |
set_list_from_map_list_inl.c | H A D | 09-Dec-2020 | 218 | 10 | 6 | |
set_to_map.c | H A D | 09-Dec-2020 | 254 | 11 | 5 | |
test-driver | H A D | 09-Dec-2020 | 4.5 KiB | 149 | 87 | |
uset_from_umap.c | H A D | 09-Dec-2020 | 219 | 9 | 5 | |
uset_to_umap.c | H A D | 09-Dec-2020 | 301 | 11 | 5 |
README
1isl is a thread-safe C library for manipulating sets and relations 2of integer points bounded by affine constraints. The descriptions of 3the sets and relations may involve both parameters and existentially 4quantified variables. All computations are performed in exact integer 5arithmetic using GMP. 6 7isl is released under the MIT license, but depends on the LGPL GMP 8library. 9 10Minimal compilation instructions: 11 12 ./configure 13 make 14 make install 15 16If you are taking the source from the git repository, then you first 17need to do 18 19 git clone git://repo.or.cz/isl.git 20 ./autogen.sh 21 22For more information, see doc/user.pod or the generated documentation. 23 24New releases are announced on http://groups.google.com/group/isl-announce 25 26If you use isl, you can let me know by stacking 27https://www.openhub.net/p/isl on Open Hub. 28 29For bug reports, feature requests and questions, 30contact http://groups.google.com/group/isl-development 31 32Whenever you report a bug, please mention the exact version of isl 33that you are using (output of "./isl_cat --version"). If you are unable 34to compile isl, then report the git version (output of "git describe") 35or the version included in the name of the tarball. 36 37If you use isl for your research, you are invited do cite 38the following paper and/or the paper(s) describing the specific 39operations you use. 40 41@incollection{Verdoolaege2010isl, 42 author = {Verdoolaege, Sven}, 43 title = {isl: An Integer Set Library for the Polyhedral Model}, 44 booktitle = {Mathematical Software - ICMS 2010}, 45 series = {Lecture Notes in Computer Science}, 46 editor = {Fukuda, Komei and Hoeven, Joris and Joswig, Michael and 47 Takayama, Nobuki}, 48 publisher = {Springer}, 49 isbn = {978-3-642-15581-9}, 50 pages = {299-302}, 51 volume = {6327}, 52 year = {2010} 53} 54