> Also the detailed parallel runtime parameters that are emitted every > 0.5s during a session running: number of active threads, pending futures > etc.
How can I extract this information from within Isabelle/Scala? How would this information be presented? >> - What about sessions that grow in size over time? > > That is indeed important, although we have just ignored it historically. Right. But how would we take it into account? What registers as a spike in build time for a session could either be a performance regression in Isabelle or growing material. Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev