| commit | 76a244d27e873d57efaaf07498995779414eb1c4 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 18 Feb 2011 19:44:49 +0000 (18 20:44 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 21 Feb 2011 10:52:06 +0000 (21 11:52 +0100) | ||
| tree | 75926a637d2c5f068481f7729043e09ebf14df3e | treesnapshot (tar.gz zip) |
| parent | d20327e32a2be929523d101a35e1af90f9cedb3f | commitdiff |
isl_tab: check for obviously empty tableaus after discovering an equality
After a new equality has been discovered, it may turn out that one
of the coordinates is stuck at a non-integral value. If so, we can
mark the tableau empty.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
After a new equality has been discovered, it may turn out that one
of the coordinates is stuck at a non-integral value. If so, we can
mark the tableau empty.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_tab.c | diffblobblamehistory |