The Coq mailing list

[Jason Gross <jasongross9 AT gmail.com>]

I might be interested in such a tool to replace the regex parsing I do on lines 11, 36-39, and 51 of https://github.com/JasonGross/coq-bug-finder/blob/master/replace_imports.py. (Or at least in looking at the source code of it to make my regex more robust.)  (The purpose of this script is to take a target .v file which lives in the context of a larger development, and transform it into a functionally equivalent .v file which is stand-alone, by inlining the imports.)

-Jason 

On Monday, October 7, 2013, Hendrik Tews wrote:

coq-club AT sympa.inria.fr writes:

   If you only want to get a dependency graph of your modules, there is a
   set of patched files letting you tell coqdep to dump a .dot file on the
   coqtail repository (they may be out of sync with coq's source code
   though...): http://sourceforge.net/p/coqtail/code/HEAD/tree/depend/

For the dependency graph of the source files, I use a simple
program that parses the coqdep output and generates dot files.
Slide 22 (ie, the second last) of [1] has been generated with it
(though I added the colors by hand). If there is interest, I can
make this little tool public.

Bye,

Hendrik

[1] http://www.askra.de/slides/cut-eli-slides.pdf