Stream: Dune devs & users

Topic: profiling extracted code (action+instrumentation)

view this post on Zulip Vadim Zaliva (Nov 24 2022 at 22:55):

I am trying to profile OCaml code extracted from Coq and hitting this dune limitation I filed an issue which may take some time to resolve. Meanwhile, I am looking for a workaround to profile code now.

Last updated: May 25 2024 at 19:02 UTC