isl_map_simplify.c: separate out isl_basic_map_is_div_constraint
treee6f695810a157592136c01bbb1dff0b453b8a8be
-rw-r--r-- 121 .gitignore
-rw-r--r-- 71 .gitmodules
-rw-r--r-- 443 AUTHORS
-rw-r--r-- 24390 LICENSE
-rw-r--r-- 4733 Makefile.am
-rwxr-xr-x 83 autogen.sh
-rw-r--r-- 6623 basis_reduction_tab.c
-rw-r--r-- 7570 basis_reduction_templ.c
-rw-r--r-- 5943 bound.c
-rwxr-xr-x 694 bound_test.sh
-rw-r--r-- 1082 cat.c
-rw-r--r-- 755 closure.c
-rw-r--r-- 2570 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - include
-rw-r--r-- 26154 isl_affine_hull.c
-rw-r--r-- 17780 isl_arg.c
-rw-r--r-- 614 isl_basis_reduction.h
-rw-r--r-- 14810 isl_bernstein.c
-rw-r--r-- 163 isl_bernstein.h
-rw-r--r-- 2328 isl_blk.c
-rw-r--r-- 5874 isl_bound.c
-rw-r--r-- 286 isl_bound.h
-rw-r--r-- 34929 isl_coalesce.c
-rw-r--r-- 22832 isl_constraint.c
-rw-r--r-- 64511 isl_convex_hull.c
-rw-r--r-- 3178 isl_ctx.c
-rw-r--r-- 16657 isl_dim.c
-rw-r--r-- 96 isl_dim_private.h
-rw-r--r-- 3111 isl_div.c
-rw-r--r-- 18926 isl_equalities.c
-rw-r--r-- 747 isl_equalities.h
-rw-r--r-- 7909 isl_factorization.c
-rw-r--r-- 728 isl_factorization.h
-rw-r--r-- 27465 isl_flow.c
-rw-r--r-- 18283 isl_fold.c
-rw-r--r-- 617 isl_gmp.c
-rw-r--r-- 4083 isl_hash.c
-rw-r--r-- 8661 isl_ilp.c
-rw-r--r-- 37624 isl_input.c
-rw-r--r-- 1305 isl_list.c
-rw-r--r-- 4974 isl_lp.c
-rw-r--r-- 504 isl_lp_no_piplib.c
-rw-r--r-- 2760 isl_lp_piplib.c
-rw-r--r-- 610 isl_lp_piplib.h
-rw-r--r-- 167507 isl_map.c
-rw-r--r-- 514 isl_map_no_piplib.c
-rw-r--r-- 11997 isl_map_piplib.c
-rw-r--r-- 556 isl_map_piplib.h
-rw-r--r-- 8214 isl_map_private.h
-rw-r--r-- 66075 isl_map_simplify.c
-rw-r--r-- 18816 isl_map_subtract.c
-rw-r--r-- 31351 isl_mat.c
-rw-r--r-- 18825 isl_morph.c
-rw-r--r-- 2340 isl_morph.h
-rw-r--r-- 1970 isl_name.c
-rw-r--r-- 743 isl_name.h
-rw-r--r-- 3284 isl_obj.c
-rw-r--r-- 3031 isl_options.c
-rw-r--r-- 34512 isl_output.c
-rw-r--r-- 563 isl_piplib.c
-rw-r--r-- 712 isl_piplib.h
-rw-r--r-- 9770 isl_point.c
-rw-r--r-- 234 isl_point_private.h
-rw-r--r-- 63888 isl_polynomial.c
-rw-r--r-- 5608 isl_polynomial_private.h
-rw-r--r-- 6602 isl_printer.c
-rw-r--r-- 280 isl_printer_private.h
-rw-r--r-- 13158 isl_pw_templ.c
-rw-r--r-- 12581 isl_range.c
-rw-r--r-- 159 isl_range.h
-rw-r--r-- 36065 isl_sample.c
-rw-r--r-- 921 isl_sample.h
-rw-r--r-- 405 isl_sample_no_piplib.c
-rw-r--r-- 1731 isl_sample_piplib.c
-rw-r--r-- 489 isl_sample_piplib.h
-rw-r--r-- 6628 isl_scan.c
-rw-r--r-- 619 isl_scan.h
-rw-r--r-- 5513 isl_seq.c
-rw-r--r-- 12061 isl_stream.c
-rw-r--r-- 84085 isl_tab.c
-rw-r--r-- 9694 isl_tab.h
-rw-r--r-- 113687 isl_tab_pip.c
-rw-r--r-- 42003 isl_test.c
-rw-r--r-- 64054 isl_transitive_closure.c
-rw-r--r-- 2952 isl_vec.c
-rw-r--r-- 84 isl_version.c
-rw-r--r-- 32098 isl_vertices.c
-rw-r--r-- 1183 isl_vertices_private.h
drwxr-xr-x - m4
-rw-r--r-- 373 mp_get_memory_functions.c
-rw-r--r-- 8949 pip.c
-rwxr-xr-x 287 pip_test.sh
-rw-r--r-- 613 polyhedron_detect_equalities.c
-rw-r--r-- 2301 polyhedron_minimize.c
-rw-r--r-- 804 polyhedron_sample.c
-rw-r--r-- 2220 polytope_scan.c
drwxr-xr-x - test_inputs