[isabelle-dev] Isabelle takes more time to be built on testboard

Johannes Hölzl hoelzl at in.tum.de
Mon May 13 16:54:06 CEST 2013


Hi,

My changes Ondřej mentions are between
  Old: http://isabelle.in.tum.de/repos/isabelle/rev/7957d26c3334
and
  New: http://isabelle.in.tum.de/repos/isabelle/rev/f415febf4234

Where I were mostly moving stuff around in HOL. This should be only visible
in Complex_Main and not in Main. But the HOL-Proof and especially the
ZF images also take more time. 

 - Johannes


Am Montag, den 13.05.2013, 15:01 +0200 schrieb Ondřej Kunčar:
> Hi!
> Recently I noticed that it takes considerably more time to build 
> Isabelle (makeall) on testboard than it used to take before. I did a 
> small inspection and something must have happened between 25.3.2013 and 
> 26.3.2013 because this build from 25.3. took 27 minutes
> https://isabelle.in.tum.de/testboard/Isabelle/report/91ed3c78c39c44a8a0f1c3e241973bb7
> and this build from 26.3.2008 took 42 minutes.
> https://isabelle.in.tum.de/testboard/Isabelle/report/da1a4b7e64ee47fc9ce315741bb78ecc
> 
> I talked to Johannes and this slowdown doesn't seem to be related to his 
> changes from 26.3.
> One can also see here that almost all sessions started to take more time 
> to be built around that time:
> http://isabelle.in.tum.de/devel/stats/at-poly.html
> 
> Any ideas?
> 
> Ondrej
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev






More information about the isabelle-dev mailing list