[isabelle-dev] Poly/ML 5.7

Makarius 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:
> http://isabelle.in.tum.de/devel/build_status/Poly_ML_5.7_Linux/index.html
> http://isabelle.in.tum.de/devel/build_status/Poly_ML_5.7_Linux_2_threads/index.html
> 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:

changeset:   65840:8d7b2ac9a245
tag:         tip
user:        wenzelm
date:        Mon May 15 14:27:14 2017 +0200
files:       src/Pure/Admin/isabelle_cronjob.scala
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 mailing list