isl_basic_set_has_defining_inequalities: fix typo
tree6f41e5c0f4b4554794a47e67a84a78e911ba7a89
-rw-r--r-- 121 .gitignore
-rw-r--r-- 71 .gitmodules
-rw-r--r-- 24390 LICENSE
-rw-r--r-- 2323 Makefile.am
-rwxr-xr-x 148 autogen.sh
-rw-r--r-- 5371 configure.ac
drwxr-xr-x - include
-rw-r--r-- 14070 isl_affine_hull.c
-rw-r--r-- 2069 isl_blk.c
-rw-r--r-- 10997 isl_constraint.c
-rw-r--r-- 33681 isl_convex_hull.c
-rw-r--r-- 878 isl_ctx.c
-rw-r--r-- 12575 isl_dim.c
-rw-r--r-- 2523 isl_div.c
-rw-r--r-- 17899 isl_equalities.c
-rw-r--r-- 528 isl_equalities.h
-rw-r--r-- 358 isl_gmp.c
-rw-r--r-- 1993 isl_hash.c
-rw-r--r-- 4096 isl_input.c
-rw-r--r-- 9046 isl_input_omega.c
-rw-r--r-- 488 isl_input_omega.h
-rw-r--r-- 1019 isl_list.c
-rw-r--r-- 296 isl_lp.c
-rw-r--r-- 213 isl_lp_no_piplib.c
-rw-r--r-- 1466 isl_lp_piplib.c
-rw-r--r-- 109548 isl_map.c
-rw-r--r-- 543 isl_map_no_piplib.c
-rw-r--r-- 13128 isl_map_piplib.c
-rw-r--r-- 5864 isl_map_polylib.c
-rw-r--r-- 4629 isl_map_private.h
-rw-r--r-- 38882 isl_map_simplify.c
-rw-r--r-- 21788 isl_mat.c
-rw-r--r-- 2956 isl_mat.h
-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-- 4552 isl_sample.c
-rw-r--r-- 218 isl_sample.h
-rw-r--r-- 146 isl_sample_no_piplib.c
-rw-r--r-- 4729 isl_sample_piplib.c
-rw-r--r-- 230 isl_sample_piplib.h
-rw-r--r-- 4479 isl_seq.c
-rw-r--r-- 6139 isl_stream.c
-rw-r--r-- 1101 isl_stream.h
-rw-r--r-- 14731 isl_test.c
-rw-r--r-- 1536 isl_vec.c
-rw-r--r-- 717 isl_vec.h
drwxr-xr-x - m4
-rw-r--r-- 373 mp_get_memory_functions.c
m--------- - piplib
drwxr-xr-x - test_inputs