| commit | 5b866b25daf76b8d820350eabbc15dc74e2bab4f | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 10 Apr 2012 16:41:28 +0000 (10 18:41 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 13 Apr 2012 11:08:41 +0000 (13 13:08 +0200) | ||
| tree | ac5618392b0bc3ebf71bef2410ce9968323a34b5 | treesnapshot (tar.gz zip) |
| parent | b24f3572c7356d60cac0b59b862954308a3342aa | commitdiff |
isl_map_coalesce: don't try to relax (implicit) equalities
An inequality that turns out to be an equality may have been removed
from the tableau, so we cannot relax it.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
An inequality that turns out to be an equality may have been removed
from the tableau, so we cannot relax it.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_coalesce.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |