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
