isl_tab_pip.c: add cuts for all non-integer coordinates in lexmin context
-rw-r--r-- 121 .gitignore
-rw-r--r-- 71 .gitmodules
-rw-r--r-- 162 AUTHORS
-rw-r--r-- 24390 LICENSE
-rw-r--r-- 3602 Makefile.am
-rwxr-xr-x 148 autogen.sh
-rw-r--r-- 6601 basis_reduction_tab.c
-rw-r--r-- 7572 basis_reduction_templ.c
-rw-r--r-- 2744 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - include
-rw-r--r-- 25454 isl_affine_hull.c
-rw-r--r-- 4958 isl_arg.c
-rw-r--r-- 614 isl_basis_reduction.h
-rw-r--r-- 2328 isl_blk.c
-rw-r--r-- 18325 isl_coalesce.c
-rw-r--r-- 11860 isl_constraint.c
-rw-r--r-- 66719 isl_convex_hull.c
-rw-r--r-- 1615 isl_ctx.c
-rw-r--r-- 12872 isl_dim.c
-rw-r--r-- 2969 isl_div.c
-rw-r--r-- 18837 isl_equalities.c
-rw-r--r-- 747 isl_equalities.h
-rw-r--r-- 617 isl_gmp.c
-rw-r--r-- 2864 isl_hash.c
-rw-r--r-- 8661 isl_ilp.c
-rw-r--r-- 5266 isl_input.c
-rw-r--r-- 9435 isl_input_omega.c
-rw-r--r-- 747 isl_input_omega.h
-rw-r--r-- 1305 isl_list.c
-rw-r--r-- 2438 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-- 133764 isl_map.c
-rw-r--r-- 514 isl_map_no_piplib.c
-rw-r--r-- 11977 isl_map_piplib.c
-rw-r--r-- 556 isl_map_piplib.h
-rw-r--r-- 7067 isl_map_private.h
-rw-r--r-- 62358 isl_map_simplify.c
-rw-r--r-- 15945 isl_map_subtract.c
-rw-r--r-- 27021 isl_mat.c
-rw-r--r-- 1929 isl_name.c
-rw-r--r-- 743 isl_name.h
-rw-r--r-- 1677 isl_options.c
-rw-r--r-- 2791 isl_output.c
-rw-r--r-- 563 isl_piplib.c
-rw-r--r-- 712 isl_piplib.h
-rw-r--r-- 35129 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-- 4330 isl_scan.c
-rw-r--r-- 540 isl_scan.h
-rw-r--r-- 5395 isl_seq.c
-rw-r--r-- 6398 isl_stream.c
-rw-r--r-- 1485 isl_stream.h
-rw-r--r-- 78875 isl_tab.c
-rw-r--r-- 9517 isl_tab.h
-rw-r--r-- 113948 isl_tab_pip.c
-rw-r--r-- 17574 isl_test.c
-rw-r--r-- 2317 isl_vec.c
drwxr-xr-x - m4
-rw-r--r-- 373 mp_get_memory_functions.c
-rw-r--r-- 8898 pip.c
-rw-r--r-- 633 polyhedron_detect_equalities.c
-rw-r--r-- 2321 polyhedron_minimize.c
-rw-r--r-- 824 polyhedron_sample.c
-rw-r--r-- 2240 polytope_scan.c
drwxr-xr-x - test_inputs