The Isabelle build status website now includes AFP:
http://isabelle.in.tum.de/devel/build_status/AFP
http://isabelle.in.tum.de/devel/build_status/AFP_slow_64bit_6_threads
The charts should become a bit more stable when more data points have
accumulated.
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).
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
