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:
http://isabelle.in.tum.de/devel/build_status/AFP_slow_64bit_6_threads

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


        Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to