Michael Soegtrop (Mar 31 2021 at 18:12): Michael Soegtrop (Mar 31 2021 at 18:12):When I compile Coq with dune, there is a convenient file "dune_db" which I can source in ocamldebug. Is there something similar when Coq is installed via opam? It does install bytecode coqtop, so it would make sense ...
I am sometimes using ocamldebug to inspect slow processing, e.g. with cbv or Qed.
Michael Soegtrop (Mar 31 2021 at 18:14):Please ignore - I found it (it is in the sources in dev). I thought it was a generated file.
Last updated: Apr 19 2024 at 18:01 UTC