update isl-polylib for handling of rational sets
commitc2aaccbcc788204daee78921a53bb78febe0e27c
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 12 Jun 2010 17:00:44 +0000 (12 19:00 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 12 Jun 2010 19:05:08 +0000 (12 21:05 +0200)
tree99eda10c47f50f937f746e1ae49485b417c72438
parenteb0852a2a9175eb43ab1046b9577ac276d335dfb
update isl-polylib for handling of rational sets
isl-polylib