barvinok_bound: use isl to split on domain size
commit2f644c8c9ba4c8afd5c0d12594db3cd60df829c9
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 28 Aug 2010 08:51:23 +0000 (28 10:51 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 28 Aug 2010 08:51:23 +0000 (28 10:51 +0200)
treed9caf9c51aad21cc4568738e29c321e6dc24bae9
parent8755948f39bac45e4fbb5a95d301386358997ffe
barvinok_bound: use isl to split on domain size
bound.cc