[PPL-devel] ppl_pips problems

[Roberto Bagnara]

On 01/31/2011 04:58 PM, Sven Verdoolaege wrote:
> I'm in the process of writing a paper about my improvements
> to pip and I wanted to compare to the PPL implementation too.
> (At least, I'd like to compare the execution times.  I probably
> won't be diving into source to find out which optimizations in
> isl have also been implemented in PPL.)
>
> However, ppl_pips seems to produce incorrect results on some
> test cases.  [...]

Hi Sven.

Thanks for the report.  Yes, this seems a latent bug triggered
by a corner-case data set.  We are investigating.

> Also, I wonder if you have a parser for the output format of
> ppl_pips so that I could compare the results produced by
> ppl_pips with those produced by isl_pip.

Unfortunately not, but we agree it would be nice to have it.
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it