projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b9d42d) | patch
isl_convex_hull.c: simplify computation of initial facet constraint
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 23 Mar 2010 13:46:50 +0000 (14:46 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 23 Mar 2010 14:41:22 +0000 (15:41 +0100)
commitcf06bf41b213f72dd4a6d8ac8d13e6b7d36b7bda
tree194baeaa0e8b37e5a0b56b437a8d87a3a6381af7tree | snapshot
parent7b9d42dcf7f7b066fcd25e0a568a30d11ffbccb3commit | diff
isl_convex_hull.c: simplify computation of initial facet constraint

The old implementation was needlessly complicated and apparently
incorrect (witness the extra test case).
The simplified version passes the new test case.

The new test case is based on a bug report for CLooG/isl
by Muthu Manikandan <muthumanikandan@gmail.com>.
isl_convex_hull.c diff | blob | history
isl_test.c diff | blob | history
test_inputs/convex15.polylib [new file with mode: 0644] blob
Domain: System / Uncategorized;