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@cs.unipr.it