Vadim Zaliva (Nov 24 2022 at 22:55): 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: Jun 04 2023 at 22:30 UTC