On Tue, 17 May 2011, Gerwin Klein wrote:
The AFP test is currently still running in Sydney and accumulating the
usual data.
I've copied the logs over to ~/afp/log on macbroy*
The traditional isatest data is now empty
http://isabelle.in.tum.de/devel/stats/afp.html
Right, I forgot about these.
The plan is to move the afp test back to Munich when I'm in Munich in
about two weeks. Then we should be back to the old routine.
I'd prefer to run the test on a Linux machine. Is there one available
with around 4 cores and lots of memory?
Did anything happen here?
~/afp/log seems to be unchanged since 17-May-2011.
The AFP logs help to keep an eye on performance for large applications,
i.e. to spot accidental bloat early.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
