| commit | 3be1d7fe121a0e51cfa55dfe5fae2c3b8ab9a66d | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 6 May 2016 07:49:34 +0000 (6 09:49 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 6 May 2016 07:53:54 +0000 (6 09:53 +0200) | ||
| tree | 972d53aff5f0780c0e2632d58f812dfaf71c34e7 | treesnapshot (tar.gz zip) |
| parent | f85d4973037a11b903b4661d8b00914ad81b373b | commitdiff |
isl_tab_lexmin_add_eq: make sure the tableau has enough room
add_lexmin_ineq assumes that the caller has made sure that
the tableau has enough room to store the new constraint.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add_lexmin_ineq assumes that the caller has made sure that
the tableau has enough room to store the new constraint.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_tab_pip.c | diffblobblamehistory |