[PPL-devel] ppl_pips problems

[Sven Verdoolaege]

On Fri, Feb 04, 2011 at 08:48:45AM +0100, Roberto Bagnara wrote:
> Thanks for the report.  Yes, this seems a latent bug triggered
> by a corner-case data set.  We are investigating.

Hmm.... it seems Enea has already fixed this issue.
I'll use 0643bb1 for my experiments as it seems to
produce the expected results on my test cases and
also on this simple problem:

0 2

-1

3 4
1  -1  0 1
1   1 2 -1
1   1 -2 1

(Before the patch, ppl_pips would return the wrong point.)

skimo