| commit | 7723d3ce87ff2aee9fabe13b19accda927067834 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 21 Oct 2018 21:32:12 +0000 (21 23:32 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 21 Oct 2018 21:32:12 +0000 (21 23:32 +0200) | ||
| tree | e50de10a3e8a7dfef30c980eef87ea94b98dcf72 | treesnapshot (tar.gz zip) |
| parent | 2f6148208c613b7597c77a649530bf47d56be183 | commitdiff |
isl_set_convex_hull: only use known facets as initial hull
If a bast set may have redundant constraints, then the constraints
cannot be assumed to be facets, so they should not be used
as an initial hull.
Reported-by: Andrei Lascu <alas.20073@gmail.com>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
If a bast set may have redundant constraints, then the constraints
cannot be assumed to be facets, so they should not be used
as an initial hull.
Reported-by: Andrei Lascu <alas.20073@gmail.com>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_convex_hull.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |