[isabelle-dev] Slow builds due to excessive heap images

Makarius makarius at sketis.net
Sat Oct 28 22:45:18 CEST 2017

On 28/10/17 22:26, Makarius wrote:
> We are presently testing Poly/ML 5.7.1 by default (see
> Isabelle/aefaaef29c58) and there are already interesting performance
> figures, e.g. see:
> http://isabelle.in.tum.de/devel/build_status
> http://isabelle.in.tum.de/devel/build_status/Linux_A
> http://isabelle.in.tum.de/devel/build_status/AFP

The daily "AFP slow" timing has arrived just now, 4h hours later than
with Poly/ML 5.6:

I still need to investigate, why some sessions require much longer now.
It might be due massive amounts of generated code.


More information about the isabelle-dev mailing list