*** 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

Reply via email to