[isabelle-dev] NEWS: session profiling

Makarius makarius at sketis.net
Fri Oct 21 17:39:19 CEST 2016

*** System ***

* System option "profiling" specifies the mode for global ML profiling
in "isabelle build". Possible values are "time", "allocations".

This refers to Isabelle/b00508facb4f and 3d5e7719e878, which provides an
updated "isabelle profiling_report" tool (that is not in the NEWS,
because it is in the Admin area only).

This low-level profiling occasionally helps to figure out low-level
performance holes, e.g. see c4d16f35c6e7. (I was not looking for that
explicitly, but found it in the routine measurements for ongoing Poly/ML


More information about the isabelle-dev mailing list