[PPL-devel] Fwd: Re: PPL 1 test (linearize) failed

[Roberto Bagnara]

-------- Original Message --------
Subject: Re: [PPL-devel] PPL 1 test (linearize) failed
Date: Tue, 3 Apr 2012 21:56:29 +0200
From: Enric Caussa Morales <me at enric.me>
To: Roberto Bagnara <bagnara at cs.unipr.it>

Hi Roberto,
OK, we'll start deploying GCC with the next version of PPL after Easter.
Thanks,
Enric

On 03 Apr 2012 21:37, Roberto Bagnara wrote:
> On 04/03/12 21:09, Enric Morales wrote:
> >Ciao Roberto.
> >This snapshot passes all of the tests beautifully. So yes, it was most probably fixed with your recent commits.
> >Is it a good idea to build GCC against it at this stage?
>
> Hi Enric,
>
> I would rather wait for the official release of PPL 0.12.1,
> just after Easter.
> Cheers,
>
>   Roberto
>
> >On Sat, Mar 31, 2012 at 8:53 AM, Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>> wrote:
> >
> >    On 03/30/12 19:02, Enric Caussa Morales wrote:
> >
> >        Good day.
> >        I am compiling PPL 0.12 on our Arch Linux port for PowerPCs.
> >        We just prepared GCC 4.7.0 and started building packages with it.
> >        However, PPL fails the checks.
> >        I have attached the log. Hope it can be of help.
> >
> >
> >    Hello Enric,
> >
> >    thanks for the report.
> >
> >
> >        Can we just omit the error, or can it be important?
> >
> >
> >    The error can be important.  We have made several corrections
> >    to PPL 0.12 and we will soon (a couple of weeks perhaps)
> >    release PPL 0.12.1.  Some of the bugs we have already fixed
> >    could explain your observation.  Can you please test the
> >    PPL 0.12.1 release snapshot available at
> >
> >    http://bugseng.com/products/__ppl/download/ftp/snapshots/ <http://bugseng.com/products/ppl/download/ftp/snapshots/>
> >
> >    ?
> >    Please report back whatever the result is.
> >    Cordially,
> >
> >        Roberto
> >
> >    --
> >    Prof. Roberto Bagnara
> >    Applied Formal Methods Laboratory
> >    Department of Mathematics, University of Parma, Italy
> >    http://www.cs.unipr.it/~__bagnara/ <http://www.cs.unipr.it/%7Ebagnara/>
> >    mailto:bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>
> >
> >
> >
> >
> >--
> >
> >--
> >Enric Caussa Morales
> ><me at enric.me <mailto:me at enric.me>>
>
>
> --
> 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

-- 
Enric Caussa Morales
<me at enric.me>