[PPL-devel] Re: Bug in PPL?

[Roberto Bagnara]

Sriram Sankaranarayanan wrote:
> I will send you a new version when I fix this bug.

Dear Sriram,

if you refer to the bug of the widening you spotted,
this is fixed now: go to the PPL bugs page and apply
the patch provided there to PPL 0.6.1 and you should
be done.
Ciao,

     Roberto

P.S. I have checked: the version of bison I am using
      is the most recent one.  Any idea why it fails
      to compile ltrtest.y?

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it