| commit | b9791ad473737122c50378d6d0eaff7f5e414234 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 5 Feb 2011 20:01:22 +0000 (5 21:01 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 5 Feb 2011 20:01:22 +0000 (5 21:01 +0100) | ||
| tree | 2bf12f4a2f641d64edb0ba07210c0b40b9e321c9 | treesnapshot (tar.gz zip) |
| parent | 0d462e9fee37e2f7bbeaaacb12a001888fc2f735 | commitdiff |
isl_tab_pip.c: correctly detect non-negativity of divs in lexmin contexts
In particular, the variables used to encode the div in the context
tableau is always non-negative, but the actual variable used in the main
tableau may not be non-negative.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, the variables used to encode the div in the context
tableau is always non-negative, but the actual variable used in the main
tableau may not be non-negative.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_tab.c | diffblobblamehistory | |
| isl_tab_pip.c | diffblobblamehistory |