[PPL-devel] PPL 1 test (linearize) failed

[Roberto Bagnara]

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