
5 Feb
2009
5 Feb
'09
6:52 a.m.
Michael Tautschnig wrote:
I've just uploaded 0.10-2 which includes the bugfix and has regression tests properly enabled while not discarding the result. I'll see whether that works on all architectures and will let you know in case some further problem pops up.
Great, thanks!
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it