
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