*** 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
changes.)
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
