isl_tab_basic_map_partial_lexopt: remove samples that are no longer useful
-rw-r--r-- 121 .gitignore
-rw-r--r-- 71 .gitmodules
-rw-r--r-- 24390 LICENSE
-rw-r--r-- 3709 Makefile.am
-rwxr-xr-x 148 autogen.sh
-rw-r--r-- 6325 basis_reduction_tab.c
-rw-r--r-- 6995 basis_reduction_templ.c
-rw-r--r-- 4066 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - include
-rw-r--r-- 21308 isl_affine_hull.c
-rw-r--r-- 355 isl_basis_reduction.h
-rw-r--r-- 2069 isl_blk.c
-rw-r--r-- 17981 isl_coalesce.c
-rw-r--r-- 11207 isl_constraint.c
-rw-r--r-- 65215 isl_convex_hull.c
-rw-r--r-- 1290 isl_ctx.c
-rw-r--r-- 12613 isl_dim.c
-rw-r--r-- 2710 isl_div.c
-rw-r--r-- 18578 isl_equalities.c
-rw-r--r-- 488 isl_equalities.h
-rw-r--r-- 358 isl_gmp.c
-rw-r--r-- 2605 isl_hash.c
-rw-r--r-- 8278 isl_ilp.c
-rw-r--r-- 5007 isl_input.c
-rw-r--r-- 9176 isl_input_omega.c
-rw-r--r-- 488 isl_input_omega.h
-rw-r--r-- 1046 isl_list.c
-rw-r--r-- 2125 isl_lp.c
-rw-r--r-- 245 isl_lp_no_piplib.c
-rw-r--r-- 2501 isl_lp_piplib.c
-rw-r--r-- 351 isl_lp_piplib.h
-rw-r--r-- 131925 isl_map.c
-rw-r--r-- 255 isl_map_no_piplib.c
-rw-r--r-- 11718 isl_map_piplib.c
-rw-r--r-- 297 isl_map_piplib.h
-rw-r--r-- 5864 isl_map_polylib.c
-rw-r--r-- 6539 isl_map_private.h
-rw-r--r-- 62402 isl_map_simplify.c
-rw-r--r-- 26394 isl_mat.c
-rw-r--r-- 1670 isl_name.c
-rw-r--r-- 484 isl_name.h
-rw-r--r-- 2532 isl_output.c
-rw-r--r-- 304 isl_piplib.c
-rw-r--r-- 453 isl_piplib.h
-rw-r--r-- 30920 isl_sample.c
-rw-r--r-- 573 isl_sample.h
-rw-r--r-- 146 isl_sample_no_piplib.c
-rw-r--r-- 1472 isl_sample_piplib.c
-rw-r--r-- 230 isl_sample_piplib.h
-rw-r--r-- 5136 isl_seq.c
-rw-r--r-- 6139 isl_stream.c
-rw-r--r-- 1226 isl_stream.h
-rw-r--r-- 74137 isl_tab.c
-rw-r--r-- 8305 isl_tab.h
-rw-r--r-- 80738 isl_tab_pip.c
-rw-r--r-- 17245 isl_test.c
-rw-r--r-- 2058 isl_vec.c
drwxr-xr-x - m4
-rw-r--r-- 373 mp_get_memory_functions.c
-rw-r--r-- 2456 pip.c
m--------- - piplib
-rw-r--r-- 374 polyhedron_detect_equalities.c
-rw-r--r-- 2062 polyhedron_minimize.c
-rw-r--r-- 565 polyhedron_sample.c
-rw-r--r-- 4946 polytope_scan.c
drwxr-xr-x - test_inputs