isl_map_coalesce: only use non-redundant constraints as potential facets
isl_map_coalesce: only use non-redundant constraints as potential facets

SaberMod/isl-current,Meinersbur/isl,BobSaget-Mod/libisl,serge-sans-paille/isl,KangDroidSMProject/ISL,pierrotdelalune/isl,evaautomation/isl,KangDroidSMProject/ISL,Distrotech/isl,crossbuild/isl,Distrotech/isl,crossbuild/isl,VanirLLVM/toolchain_isl,Distrotech/isl,evaautomation/isl,SaberMod/isl-current,inducer/isl-mirror,Distrotech/isl,jleben/isl,KangDroidSMProject/ISL,BobSaget-Mod/libisl,serge-sans-paille/isl,nicolasvasilache/isl,pierrotdelalune/isl,inducer/isl-mirror,epowers/isl,serge-sans-paille/isl,abduld/isl,abduld/isl,nicolasvasilache/isl,Meinersbur/isl,UBERTC/isl,VanirLLVM/toolchain_isl,PollyLabs/isl,PollyLabs/isl,tobig/isl,SaberMod/isl-current,KangDroidSMProject/ISL,BobSaget-Mod/libisl,nicolasvasilache/isl,crossbuild/isl,cfx-next/toolchain_isl-upstream,PollyLabs/isl,Meinersbur/isl,tobig/isl,BobSaget-Mod/libisl,simbuerg/isl,BenzoSM/isl,evaautomation/isl,BenzoSM/isl,cfx-next/toolchain_isl-upstream,VanirLLVM/toolchain_isl,abduld/isl,epowers/isl,KangDroidSMProject/ISL,tobig/isl,inducer/isl-mirror,nicolasvasilache/isl,jleben/isl,PollyLabs/isl,nicolasvasilache/isl,abduld/isl,epowers/isl,simbuerg/isl,pierrotdelalune/isl,pierrotdelalune/isl,serge-sans-paille/isl,simbuerg/isl,cfx-next/toolchain_isl-upstream,BenzoSM/isl,inducer/isl-mirror,PollyLabs/isl,epowers/isl,VanirLLVM/toolchain_isl,cfx-next/toolchain_isl-upstream,SaberMod/isl-current,jleben/isl,Distrotech/isl,BenzoSM/isl,Meinersbur/isl,evaautomation/isl,crossbuild/isl,BenzoSM/isl,jleben/isl,simbuerg/isl,serge-sans-paille/isl,UBERTC/isl,simbuerg/isl,pierrotdelalune/isl,tobig/isl,UBERTC/isl,jleben/isl,VanirLLVM/toolchain_isl,BobSaget-Mod/libisl,inducer/isl-mirror,cfx-next/toolchain_isl-upstream,UBERTC/isl,epowers/isl