[isabelle-dev] AFP statistics

[Makarius]

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