| commit | b24f3572c7356d60cac0b59b862954308a3342aa | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 13 Apr 2012 11:01:21 +0000 (13 13:01 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 13 Apr 2012 11:03:07 +0000 (13 13:03 +0200) | ||
| tree | 2b96d0bd67c0eb159db6d76d26e8e0f4c96632d0 | treesnapshot (tar.gz zip) |
| parent | 160614ae24ac6bd45022adbb8d841cb1d1e2000d | commitdiff |
isl_tab_relax: prevent relaxation on dead or redundant constraints
Trying to relax such constraints can only lead to problems,
especially if the constraints have been removed from the tableau.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Trying to relax such constraints can only lead to problems,
especially if the constraints have been removed from the tableau.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_tab.c | diffblobblamehistory |