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 https://github.com/ocaml/dune/issues/6568 I filed an issue which may take some time to resolve. Meanwhile, I am looking for a workaround to profile code now.


Last updated: Mar 28 2024 at 16:02 UTC