allow the user to impose a bound on the number of low-level operations
-rw-r--r-- 695 .gitignore
-rw-r--r-- 826 AUTHORS
-rw-r--r-- 3093 ChangeLog
-rw-r--r-- 1042 LICENSE
-rw-r--r-- 6716 Makefile.am
-rw-r--r-- 1493 README
-rwxr-xr-x 24 autogen.sh
-rw-r--r-- 6643 basis_reduction_tab.c
-rw-r--r-- 8680 basis_reduction_templ.c
-rw-r--r-- 6764 bound.c
-rwxr-xr-x 711 bound_test.sh.in
-rw-r--r-- 1379 cat.c
-rw-r--r-- 778 closure.c
-rw-r--r-- 3796 codegen.c
-rw-r--r-- 440 codegen_test.sh.in
-rw-r--r-- 7840 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - include
drwxr-xr-x - interface
-rw-r--r-- 3939 isl.py
-rw-r--r-- 153235 isl_aff.c
-rw-r--r-- 4234 isl_aff_private.h
-rw-r--r-- 38053 isl_affine_hull.c
-rw-r--r-- 27586 isl_arg.c
-rw-r--r-- 48984 isl_ast.c
-rw-r--r-- 59951 isl_ast_build.c
-rw-r--r-- 44777 isl_ast_build_expr.c
-rw-r--r-- 856 isl_ast_build_expr.h
-rw-r--r-- 10493 isl_ast_build_private.h
-rw-r--r-- 119301 isl_ast_codegen.c
-rw-r--r-- 32996 isl_ast_graft.c
-rw-r--r-- 3149 isl_ast_graft_private.h
-rw-r--r-- 380 isl_ast_int.c
-rw-r--r-- 2850 isl_ast_private.h
-rw-r--r-- 18193 isl_band.c
-rw-r--r-- 1346 isl_band_private.h
-rw-r--r-- 540 isl_basis_reduction.h
-rw-r--r-- 15322 isl_bernstein.c
-rw-r--r-- 163 isl_bernstein.h
-rw-r--r-- 2898 isl_blk.c
-rw-r--r-- 839 isl_blk.h
-rw-r--r-- 8803 isl_bound.c
-rw-r--r-- 318 isl_bound.h
-rw-r--r-- 51010 isl_coalesce.c
-rw-r--r-- 148 isl_config_post.h
-rw-r--r-- 33213 isl_constraint.c
-rw-r--r-- 774 isl_constraint_private.h
-rw-r--r-- 67238 isl_convex_hull.c
-rw-r--r-- 6316 isl_ctx.c
-rw-r--r-- 508 isl_ctx_private.h
-rw-r--r-- 280 isl_deprecated.c
-rw-r--r-- 6906 isl_dim.c
-rw-r--r-- 5468 isl_dim_map.c
-rw-r--r-- 1316 isl_dim_map.h
-rw-r--r-- 21063 isl_equalities.c
-rw-r--r-- 849 isl_equalities.h
-rw-r--r-- 8151 isl_factorization.c
-rw-r--r-- 717 isl_factorization.h
-rw-r--r-- 10169 isl_farkas.c
-rw-r--r-- 43092 isl_flow.c
-rw-r--r-- 38596 isl_fold.c
-rw-r--r-- 1443 isl_gmp.c
-rw-r--r-- 4379 isl_hash.c
-rw-r--r-- 7107 isl_hmap_templ.c
-rw-r--r-- 4123 isl_id.c
-rw-r--r-- 771 isl_id_private.h
-rw-r--r-- 248 isl_id_to_ast_expr.c
-rw-r--r-- 248 isl_id_to_pw_aff.c
-rw-r--r-- 16669 isl_ilp.c
-rw-r--r-- 264 isl_ilp_private.h
-rw-r--r-- 81441 isl_input.c
-rw-r--r-- 4609 isl_int.h
-rw-r--r-- 12003 isl_list_templ.c
-rw-r--r-- 291 isl_list_templ.h
-rw-r--r-- 29694 isl_local_space.c
-rw-r--r-- 2483 isl_local_space_private.h
-rw-r--r-- 9385 isl_lp.c
-rw-r--r-- 788 isl_lp_private.h
-rw-r--r-- 306368 isl_map.c
-rw-r--r-- 4091 isl_map_lexopt_templ.c
-rw-r--r-- 15399 isl_map_private.h
-rw-r--r-- 84074 isl_map_simplify.c
-rw-r--r-- 21567 isl_map_subtract.c
-rw-r--r-- 242 isl_map_to_basic_set.c
-rw-r--r-- 38707 isl_mat.c
-rw-r--r-- 1379 isl_mat_private.h
-rw-r--r-- 20809 isl_morph.c
-rw-r--r-- 2633 isl_morph.h
-rw-r--r-- 35200 isl_multi_templ.c
-rw-r--r-- 338 isl_multi_templ.h
-rw-r--r-- 6773 isl_obj.c
-rw-r--r-- 11656 isl_options.c
-rw-r--r-- 1413 isl_options_private.h
-rw-r--r-- 72342 isl_output.c
-rw-r--r-- 13279 isl_point.c
-rw-r--r-- 233 isl_point_private.h
-rw-r--r-- 106360 isl_polynomial.c
-rw-r--r-- 8943 isl_polynomial_private.h
-rw-r--r-- 1810 isl_power_templ.c
-rw-r--r-- 8211 isl_printer.c
-rw-r--r-- 280 isl_printer_private.h
-rw-r--r-- 42448 isl_pw_templ.c
-rw-r--r-- 13028 isl_range.c
-rw-r--r-- 276 isl_range.h
-rw-r--r-- 4315 isl_reordering.c
-rw-r--r-- 1081 isl_reordering.h
-rw-r--r-- 36757 isl_sample.c
-rw-r--r-- 914 isl_sample.h
-rw-r--r-- 7626 isl_scan.c
-rw-r--r-- 610 isl_scan.h
-rw-r--r-- 129734 isl_schedule.c
-rw-r--r-- 2486 isl_schedule_private.h
-rw-r--r-- 6176 isl_seq.c
-rw-r--r-- 2358 isl_seq.h
-rw-r--r-- 269 isl_set_list.c
-rw-r--r-- 4922 isl_sort.c
-rw-r--r-- 197 isl_sort.h
-rw-r--r-- 50539 isl_space.c
-rw-r--r-- 1755 isl_space_private.h
-rw-r--r-- 17095 isl_stream.c
-rw-r--r-- 325 isl_stream_private.h
-rw-r--r-- 91985 isl_tab.c
-rw-r--r-- 10842 isl_tab.h
-rw-r--r-- 158365 isl_tab_pip.c
-rw-r--r-- 3217 isl_tarjan.c
-rw-r--r-- 1125 isl_tarjan.h
-rw-r--r-- 141346 isl_test.c
-rw-r--r-- 77601 isl_transitive_closure.c
-rw-r--r-- 60475 isl_union_map.c
-rw-r--r-- 175 isl_union_map_private.h
-rw-r--r-- 19560 isl_union_templ.c
-rw-r--r-- 31463 isl_val.c
-rw-r--r-- 3078 isl_val_gmp.c
-rw-r--r-- 2184 isl_val_private.h
-rw-r--r-- 11835 isl_vec.c
-rw-r--r-- 465 isl_vec_private.h
-rw-r--r-- 84 isl_version.c
-rw-r--r-- 37151 isl_vertices.c
-rw-r--r-- 1388 isl_vertices_private.h
drwxr-xr-x - m4
-rw-r--r-- 373 mp_get_memory_functions.c
-rw-r--r-- 9552 pip.c
-rwxr-xr-x 615 pip_test.sh.in
-rw-r--r-- 601 polyhedron_detect_equalities.c
-rw-r--r-- 2436 polyhedron_minimize.c
-rw-r--r-- 913 polyhedron_sample.c
-rw-r--r-- 2378 polytope_scan.c
-rw-r--r-- 2056 print.c
-rw-r--r-- 671 print_templ.c
drwxr-xr-x - test_inputs