isl_basic_map_remove_redundancies: sort constraints
tree7c774fd31e3c648dd5084f18d1a4aecb47d2d758
-rw-r--r-- 715 .gitignore
-rw-r--r-- 82 .gitmodules
-rw-r--r-- 1043 AUTHORS
-rw-r--r-- 5149 ChangeLog
-rw-r--r-- 1042 LICENSE
-rw-r--r-- 9050 Makefile.am
-rw-r--r-- 1757 README
-rwxr-xr-x 24 autogen.sh
-rw-r--r-- 8729 basis_reduction_tab.c
-rw-r--r-- 8536 basis_reduction_templ.c
-rw-r--r-- 6784 bound.c
-rwxr-xr-x 711 bound_test.sh.in
-rw-r--r-- 1703 cat.c
-rw-r--r-- 908 closure.c
-rw-r--r-- 6856 codegen.c
-rw-r--r-- 666 codegen_test.sh.in
-rw-r--r-- 9565 configure.ac
drwxr-xr-x - doc
m--------- - imath
drwxr-xr-x - imath_wrap
drwxr-xr-x - include
drwxr-xr-x - interface
-rw-r--r-- 3939 isl.py
-rw-r--r-- 231218 isl_aff.c
-rw-r--r-- 4971 isl_aff_private.h
-rw-r--r-- 40289 isl_affine_hull.c
-rw-r--r-- 27703 isl_arg.c
-rw-r--r-- 66207 isl_ast.c
-rw-r--r-- 74013 isl_ast_build.c
-rw-r--r-- 71667 isl_ast_build_expr.c
-rw-r--r-- 865 isl_ast_build_expr.h
-rw-r--r-- 13624 isl_ast_build_private.h
-rw-r--r-- 185218 isl_ast_codegen.c
-rw-r--r-- 35825 isl_ast_graft.c
-rw-r--r-- 3896 isl_ast_graft_private.h
-rw-r--r-- 380 isl_ast_int.c
-rw-r--r-- 3103 isl_ast_private.h
-rw-r--r-- 18314 isl_band.c
-rw-r--r-- 1346 isl_band_private.h
-rw-r--r-- 540 isl_basis_reduction.h
-rw-r--r-- 15322 isl_bernstein.c
-rw-r--r-- 163 isl_bernstein.h
-rw-r--r-- 2903 isl_blk.c
-rw-r--r-- 839 isl_blk.h
-rw-r--r-- 8865 isl_bound.c
-rw-r--r-- 318 isl_bound.h
-rw-r--r-- 98623 isl_coalesce.c
-rw-r--r-- 759 isl_config_post.h
-rw-r--r-- 37909 isl_constraint.c
-rw-r--r-- 774 isl_constraint_private.h
-rw-r--r-- 87000 isl_convex_hull.c
-rw-r--r-- 7310 isl_ctx.c
-rw-r--r-- 551 isl_ctx_private.h
-rw-r--r-- 702 isl_deprecated.c
-rw-r--r-- 5468 isl_dim_map.c
-rw-r--r-- 1316 isl_dim_map.h
-rw-r--r-- 24464 isl_equalities.c
-rw-r--r-- 965 isl_equalities.h
-rw-r--r-- 8151 isl_factorization.c
-rw-r--r-- 717 isl_factorization.h
-rw-r--r-- 10676 isl_farkas.c
-rw-r--r-- 665 isl_ffs.c
-rw-r--r-- 76503 isl_flow.c
-rw-r--r-- 40942 isl_fold.c
-rw-r--r-- 608 isl_gmp.c
-rw-r--r-- 5056 isl_hash.c
-rw-r--r-- 145 isl_hash_private.h
-rw-r--r-- 2828 isl_hide_deprecated.h
-rw-r--r-- 4783 isl_id.c
-rw-r--r-- 835 isl_id_private.h
-rw-r--r-- 439 isl_id_to_ast_expr.c
-rw-r--r-- 382 isl_id_to_id.c
-rw-r--r-- 433 isl_id_to_pw_aff.c
-rw-r--r-- 22147 isl_ilp.c
-rw-r--r-- 264 isl_ilp_private.h
-rw-r--r-- 1138 isl_imath.c
-rw-r--r-- 310 isl_imath.h
-rw-r--r-- 98403 isl_input.c
-rw-r--r-- 1410 isl_int.h
-rw-r--r-- 3304 isl_int_gmp.h
-rw-r--r-- 3000 isl_int_imath.h
-rw-r--r-- 8009 isl_int_sioimath.c
-rw-r--r-- 36941 isl_int_sioimath.h
-rw-r--r-- 12165 isl_list_templ.c
-rw-r--r-- 291 isl_list_templ.h
-rw-r--r-- 1922 isl_local.c
-rw-r--r-- 209 isl_local.h
-rw-r--r-- 33460 isl_local_space.c
-rw-r--r-- 2839 isl_local_space_private.h
-rw-r--r-- 9385 isl_lp.c
-rw-r--r-- 788 isl_lp_private.h
-rw-r--r-- 335327 isl_map.c
-rw-r--r-- 4217 isl_map_lexopt_templ.c
-rw-r--r-- 426 isl_map_list.c
-rw-r--r-- 21142 isl_map_private.h
-rw-r--r-- 148300 isl_map_simplify.c
-rw-r--r-- 22979 isl_map_subtract.c
-rw-r--r-- 439 isl_map_to_basic_set.c
-rw-r--r-- 41324 isl_mat.c
-rw-r--r-- 1642 isl_mat_private.h
-rw-r--r-- 20461 isl_morph.c
-rw-r--r-- 2853 isl_morph.h
-rw-r--r-- 127 isl_multi_apply_set.c
-rw-r--r-- 2175 isl_multi_apply_templ.c
-rw-r--r-- 139 isl_multi_apply_union_set.c
-rw-r--r-- 757 isl_multi_cmp.c
-rw-r--r-- 815 isl_multi_coalesce.c
-rw-r--r-- 586 isl_multi_floor.c
-rw-r--r-- 839 isl_multi_gist.c
-rw-r--r-- 532 isl_multi_hash.c
-rw-r--r-- 813 isl_multi_intersect.c
-rw-r--r-- 280 isl_multi_macro.h
-rw-r--r-- 36708 isl_multi_templ.c
-rw-r--r-- 206 isl_multi_templ.h
-rw-r--r-- 8310 isl_obj.c
-rw-r--r-- 14641 isl_options.c
-rw-r--r-- 1621 isl_options_private.h
-rw-r--r-- 83882 isl_output.c
-rw-r--r-- 857 isl_output_private.h
-rw-r--r-- 14233 isl_point.c
-rw-r--r-- 233 isl_point_private.h
-rw-r--r-- 108486 isl_polynomial.c
-rw-r--r-- 9165 isl_polynomial_private.h
-rw-r--r-- 1810 isl_power_templ.c
-rw-r--r-- 19568 isl_printer.c
-rw-r--r-- 1320 isl_printer_private.h
-rw-r--r-- 591 isl_pw_hash.c
-rw-r--r-- 160 isl_pw_macro.h
-rw-r--r-- 48105 isl_pw_templ.c
-rw-r--r-- 7782 isl_pw_union_opt.c
-rw-r--r-- 14487 isl_range.c
-rw-r--r-- 276 isl_range.h
-rw-r--r-- 4342 isl_reordering.c
-rw-r--r-- 1081 isl_reordering.h
-rw-r--r-- 37054 isl_sample.c
-rw-r--r-- 914 isl_sample.h
-rw-r--r-- 7653 isl_scan.c
-rw-r--r-- 617 isl_scan.h
-rw-r--r-- 35137 isl_schedule.c
-rw-r--r-- 32554 isl_schedule_band.c
-rw-r--r-- 5245 isl_schedule_band.h
-rw-r--r-- 149590 isl_schedule_node.c
-rw-r--r-- 2646 isl_schedule_node_private.h
-rw-r--r-- 1303 isl_schedule_private.h
-rw-r--r-- 19091 isl_schedule_read.c
-rw-r--r-- 75908 isl_schedule_tree.c
-rw-r--r-- 11928 isl_schedule_tree.h
-rw-r--r-- 200338 isl_scheduler.c
-rw-r--r-- 6339 isl_seq.c
-rw-r--r-- 2358 isl_seq.h
-rw-r--r-- 426 isl_set_list.c
-rw-r--r-- 4922 isl_sort.c
-rw-r--r-- 197 isl_sort.h
-rw-r--r-- 60467 isl_space.c
-rw-r--r-- 1910 isl_space_private.h
-rw-r--r-- 28068 isl_stream.c
-rw-r--r-- 1670 isl_stream_private.h
-rw-r--r-- 98515 isl_tab.c
-rw-r--r-- 11463 isl_tab.h
-rw-r--r-- 161668 isl_tab_pip.c
-rw-r--r-- 4014 isl_tarjan.c
-rw-r--r-- 1296 isl_tarjan.h
-rw-r--r-- 202935 isl_test.c
-rw-r--r-- 1969 isl_test_imath.c
-rw-r--r-- 15770 isl_test_int.c
-rw-r--r-- 77958 isl_transitive_closure.c
-rw-r--r-- 1333 isl_union_eval.c
-rw-r--r-- 160 isl_union_macro.h
-rw-r--r-- 102332 isl_union_map.c
-rw-r--r-- 344 isl_union_map_private.h
-rw-r--r-- 12609 isl_union_multi.c
-rw-r--r-- 598 isl_union_neg.c
-rw-r--r-- 5343 isl_union_single.c
-rw-r--r-- 28336 isl_union_templ.c
-rw-r--r-- 35369 isl_val.c
-rw-r--r-- 3078 isl_val_gmp.c
-rw-r--r-- 1745 isl_val_imath.c
-rw-r--r-- 2373 isl_val_private.h
-rw-r--r-- 1891 isl_val_sioimath.c
-rw-r--r-- 13250 isl_vec.c
-rw-r--r-- 621 isl_vec_private.h
-rw-r--r-- 227 isl_version.c
-rw-r--r-- 37446 isl_vertices.c
-rw-r--r-- 1388 isl_vertices_private.h
-rw-r--r-- 338 isl_yaml.h
drwxr-xr-x - m4
-rw-r--r-- 373 mp_get_memory_functions.c
-rw-r--r-- 9582 pip.c
-rwxr-xr-x 615 pip_test.sh.in
-rw-r--r-- 716 polyhedron_detect_equalities.c
-rw-r--r-- 2436 polyhedron_minimize.c
-rw-r--r-- 913 polyhedron_sample.c
-rw-r--r-- 2405 polytope_scan.c
-rw-r--r-- 2188 print.c
-rw-r--r-- 738 print_templ.c
drwxr-xr-x - test_inputs
drwxr-xr-x - testsets