Fix serious bug in normalize_constraints
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 17 Aug 2008 14:03:56 +0000 (16:03 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 24 Aug 2008 20:21:50 +0000 (22:21 +0200)
commit2a69e53bfc21ff5455b74e6280141ba5c92f974b
tree8d53ef3f04e810b86a1a2f4e2f5ea4ca4ef34e9f
parentcc726006058136865f8c2f496d3df57b9f937ea5
Fix serious bug in normalize_constraints

We would mistakenly relax constraints to include extra integer
points rather than tightening them to remove some rational points.
include/isl_int.h
isl_map.c