isl_tab_basic_map_partial_lexopt: use context constraints when detecting equalities
-rw-r--r-- 121 .gitignore
-rw-r--r-- 71 .gitmodules
-rw-r--r-- 24390 LICENSE
-rw-r--r-- 3815 Makefile.am
-rwxr-xr-x 148 autogen.sh
-rw-r--r-- 6342 basis_reduction_tab.c
-rw-r--r-- 7141 basis_reduction_templ.c
-rw-r--r-- 4094 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - include
-rw-r--r-- 25027 isl_affine_hull.c
-rw-r--r-- 4699 isl_arg.c
-rw-r--r-- 355 isl_basis_reduction.h
-rw-r--r-- 2069 isl_blk.c
-rw-r--r-- 18047 isl_coalesce.c
-rw-r--r-- 11207 isl_constraint.c
-rw-r--r-- 65215 isl_convex_hull.c
-rw-r--r-- 1484 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-- 8402 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-- 2130 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-- 138895 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-- 61972 isl_map_simplify.c
-rw-r--r-- 26728 isl_mat.c
-rw-r--r-- 1670 isl_name.c
-rw-r--r-- 484 isl_name.h
-rw-r--r-- 1418 isl_options.c
-rw-r--r-- 2532 isl_output.c
-rw-r--r-- 304 isl_piplib.c
-rw-r--r-- 453 isl_piplib.h
-rw-r--r-- 34626 isl_sample.c
-rw-r--r-- 662 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-- 4071 isl_scan.c
-rw-r--r-- 281 isl_scan.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-- 77583 isl_tab.c
-rw-r--r-- 8941 isl_tab.h
-rw-r--r-- 112171 isl_tab_pip.c
-rw-r--r-- 17315 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-- 8639 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-- 1981 polytope_scan.c
drwxr-xr-x - test_inputs