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

1 Apr
2012
1 Apr
'12
5:41 p.m.
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@cs.unipr.it
4951
Age (days ago)
4951
Last active (days ago)
0 comments
1 participants
participants (1)
-
Roberto Bagnara