[isabelle-dev] Poly/ML 5.7
makarius at sketis.net
Mon May 15 14:33:38 CEST 2017
On 15/05/17 12:14, Makarius wrote:
> Some results can be seen here:
> The test hardware is similar or actually the same as "Linux A", but this
> needs to be investigated further. It is also important to compare
> timings for the *same* Isabelle versions, but the Poly_ML_5.7_Linux task
> is still busy digging into older history.
I have now changed that here:
date: Mon May 15 14:27:14 2017 +0200
history parameters like "Linux A", for more comparable results;
Maybe I also manage to get ml_statistics into the charts soon. Then we
can look at heap, task, thread details etc.
More information about the isabelle-dev