drop remove_redundant_equalities application
commit8c06723e8cee3e553e576d6da8df4f57ffc47719
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 4 Sep 2021 12:33:06 +0000 (4 14:33 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 21 Aug 2022 13:17:04 +0000 (21 15:17 +0200)
treeab4ccf5f5fff7ccb21c76318a51d89cf6989fd93
parentce189cfcca0010da6c74dd83a10cd63e5577257c
drop remove_redundant_equalities application

isl/isl_polyhedron_remove_redundant_equalities provides
the same functionality.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Makefile.am
remove_redundant_equalities.c [deleted file]