isl_qpolynomial_bound_on_domain_bernstein: explicitly project on parameter space
-rw-r--r-- 678 .gitignore
-rw-r--r-- 71 .gitmodules
-rw-r--r-- 508 AUTHORS
-rw-r--r-- 1541 ChangeLog
-rw-r--r-- 24390 LICENSE
-rw-r--r-- 6202 Makefile.am
-rwxr-xr-x 24 autogen.sh
-rw-r--r-- 6652 basis_reduction_tab.c
-rw-r--r-- 8624 basis_reduction_templ.c
-rw-r--r-- 6380 bound.c
-rwxr-xr-x 711 bound_test.sh.in
-rw-r--r-- 1335 cat.c
-rw-r--r-- 755 closure.c
-rw-r--r-- 2950 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - include
-rw-r--r-- 3939 isl.py
-rw-r--r-- 43544 isl_aff.c
-rw-r--r-- 1098 isl_aff_private.h
-rw-r--r-- 26520 isl_affine_hull.c
-rw-r--r-- 22680 isl_arg.c
-rw-r--r-- 4707 isl_band.c
-rw-r--r-- 1078 isl_band_private.h
-rw-r--r-- 549 isl_basis_reduction.h
-rw-r--r-- 15139 isl_bernstein.c
-rw-r--r-- 163 isl_bernstein.h
-rw-r--r-- 2907 isl_blk.c
-rw-r--r-- 8780 isl_bound.c
-rw-r--r-- 318 isl_bound.h
-rw-r--r-- 38000 isl_coalesce.c
-rw-r--r-- 59 isl_config_post.h
-rw-r--r-- 27932 isl_constraint.c
-rw-r--r-- 282 isl_constraint_private.h
-rw-r--r-- 65968 isl_convex_hull.c
-rw-r--r-- 3501 isl_ctx.c
-rw-r--r-- 424 isl_ctx_private.h
-rw-r--r-- 6906 isl_dim.c
-rw-r--r-- 5477 isl_dim_map.c
-rw-r--r-- 1316 isl_dim_map.h
-rw-r--r-- 3904 isl_div.c
-rw-r--r-- 144 isl_div_private.h
-rw-r--r-- 18803 isl_equalities.c
-rw-r--r-- 747 isl_equalities.h
-rw-r--r-- 8146 isl_factorization.c
-rw-r--r-- 728 isl_factorization.h
-rw-r--r-- 10178 isl_farkas.c
-rw-r--r-- 38882 isl_flow.c
-rw-r--r-- 35963 isl_fold.c
-rw-r--r-- 617 isl_gmp.c
-rw-r--r-- 4309 isl_hash.c
-rw-r--r-- 2284 isl_hmap_map_basic_set.c
-rw-r--r-- 847 isl_hmap_map_basic_set.h
-rw-r--r-- 2969 isl_id.c
-rw-r--r-- 493 isl_id_private.h
-rw-r--r-- 12387 isl_ilp.c
-rw-r--r-- 54279 isl_input.c
-rw-r--r-- 658 isl_list.c
-rw-r--r-- 390 isl_list_private.h
-rw-r--r-- 4399 isl_list_templ.c
-rw-r--r-- 518 isl_list_templ.h
-rw-r--r-- 15384 isl_local_space.c
-rw-r--r-- 1409 isl_local_space_private.h
-rw-r--r-- 4988 isl_lp.c
-rw-r--r-- 504 isl_lp_no_piplib.c
-rw-r--r-- 2805 isl_lp_piplib.c
-rw-r--r-- 610 isl_lp_piplib.h
-rw-r--r-- 234987 isl_map.c
-rw-r--r-- 514 isl_map_no_piplib.c
-rw-r--r-- 12036 isl_map_piplib.c
-rw-r--r-- 556 isl_map_piplib.h
-rw-r--r-- 12989 isl_map_private.h
-rw-r--r-- 65737 isl_map_simplify.c
-rw-r--r-- 19058 isl_map_subtract.c
-rw-r--r-- 37117 isl_mat.c
-rw-r--r-- 848 isl_mat_private.h
-rw-r--r-- 20133 isl_morph.c
-rw-r--r-- 2582 isl_morph.h
-rw-r--r-- 8741 isl_obj.c
-rw-r--r-- 4140 isl_options.c
-rw-r--r-- 60167 isl_output.c
-rw-r--r-- 563 isl_piplib.c
-rw-r--r-- 712 isl_piplib.h
-rw-r--r-- 10856 isl_point.c
-rw-r--r-- 233 isl_point_private.h
-rw-r--r-- 104280 isl_polynomial.c
-rw-r--r-- 7146 isl_polynomial_private.h
-rw-r--r-- 7058 isl_printer.c
-rw-r--r-- 280 isl_printer_private.h
-rw-r--r-- 25132 isl_pw_templ.c
-rw-r--r-- 8516 isl_qsort.c
-rw-r--r-- 185 isl_qsort.h
-rw-r--r-- 12872 isl_range.c
-rw-r--r-- 276 isl_range.h
-rw-r--r-- 4221 isl_reordering.c
-rw-r--r-- 1081 isl_reordering.h
-rw-r--r-- 37671 isl_sample.c
-rw-r--r-- 921 isl_sample.h
-rw-r--r-- 405 isl_sample_no_piplib.c
-rw-r--r-- 1774 isl_sample_piplib.c
-rw-r--r-- 489 isl_sample_piplib.h
-rw-r--r-- 7209 isl_scan.c
-rw-r--r-- 619 isl_scan.h
-rw-r--r-- 81479 isl_schedule.c
-rw-r--r-- 1163 isl_schedule_private.h
-rw-r--r-- 5692 isl_seq.c
-rw-r--r-- 35125 isl_space.c
-rw-r--r-- 1384 isl_space_private.h
-rw-r--r-- 15467 isl_stream.c
-rw-r--r-- 114 isl_stream_private.h
-rw-r--r-- 86514 isl_tab.c
-rw-r--r-- 10219 isl_tab.h
-rw-r--r-- 138128 isl_tab_pip.c
-rw-r--r-- 77539 isl_test.c
-rw-r--r-- 80262 isl_transitive_closure.c
-rw-r--r-- 46278 isl_union_map.c
-rw-r--r-- 148 isl_union_map_private.h
-rw-r--r-- 12357 isl_union_templ.c
-rw-r--r-- 6180 isl_vec.c
-rw-r--r-- 84 isl_version.c
-rw-r--r-- 37171 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-- 8356 pip.c
-rwxr-xr-x 418 pip_test.sh.in
-rw-r--r-- 613 polyhedron_detect_equalities.c
-rw-r--r-- 2411 polyhedron_minimize.c
-rw-r--r-- 917 polyhedron_sample.c
-rw-r--r-- 2361 polytope_scan.c
-rw-r--r-- 1471 print.c
-rw-r--r-- 405 print_templ.c
drwxr-xr-x - test_inputs