Mario Carneiro (Aug 22 2024 at 04:20): Mario Carneiro (Aug 22 2024 at 04:20):Is there anything at all available in terms of general profiling tools for isabelle? I tried perf, but I wasn't expecting much and I didn't get much, about 92% of the time is spent in ?? and the rest of it is in things like the Poly/ML GC and such.
Lukas Stevens (Aug 22 2024 at 07:31):Unfortunately, the profiling situation in Isabelle is very unsatisfactory. There is very rudimentary profiling in Isabelle/ML that gives you a list of functions where the time is spent. Those results are not very accurate, though, and often even misleading. So I recommend not spending any time on that. The only other way is to time functions the old school way.
Last updated: Dec 21 2024 at 16:20 UTC