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

[Roberto Bagnara]

On 03/31/12 20:59, enricus@ wrote:
> Ciao Roberto.
> This snapshot passes all of the 10 tests beautifully. So yes, it was
> most probably fixed with your recent commits.

Hello Enric,

thank you for reporting back.

> Is it safe to build gcc with this release or better we wait until a
> release in the period of time you said?

I think it is better to wait: as I said, at most two weeks.
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