Re: [isabelle-dev] Isabelle build status with timing information

On 10/05/17 13:07, Lawrence Paulson wrote: > Thanks for those graphs, which are really interesting. Note in > particular the sharp drops in elapsed time or heap for Analysis, > Probability, Algebra and several others. What gets the credit for this? This is indeed the canonical question. In a

Re: [isabelle-dev] Isabelle build status with timing information

Thanks for those graphs, which are really interesting. Note in particular the sharp drops in elapsed time or heap for Analysis, Probability, Algebra and several others. What gets the credit for this? Larry > On 10 May 2017, at 10:55, Makarius wrote: > > After a delay of

[isabelle-dev] Isabelle build status with timing information

After a delay of some weeks (actually several months since October 2016) there is now an updated version of the classic Isabelle build status with timing information, see http://isabelle.in.tum.de/devel/build_status and its source