[isabelle-dev] Performance charts for AFP
makarius at sketis.net
Mon Oct 23 22:18:00 CEST 2017
The Isabelle build status website now includes AFP:
The charts should become a bit more stable when more data points have
There is a bit more data available than shown here: notably timing for
individual theories. At some point that might help to rearrange session
parents vs. session imports to reduce overall build times systematically.
A more ambitious version of "isabelle build" could even connect to the
database server on the spot, and rearrange its scheduling based on
timing from old versions (or new versions already built elsewhere).
More information about the isabelle-dev