coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] dependency graph (again)

From: coq-club AT sympa.inria.fr
To: Leonardo Rodriguez <leonardomatiasrodriguez AT gmail.com>
Cc: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] dependency graph (again)
Date: Wed, 02 Oct 2013 15:19:21 +0100

Hi Leonardo,

Anne Pacalet has a tool that lets you explore dependencies between Coq
objects. You can find it here: http://anne.pacalet.fr/Notes/dev/

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/

Cheers,

On 23/09/13 19:42, Leonardo Rodriguez wrote:

Hi Coq Club,

Has there been any progress regarding the question on the following link?

https://sympa.inria.fr/sympa/arc/coq-club/2009-02/msg00121.html

Thank you.

Re: [Coq-Club] dependency graph (again), coq-club, 10/02/2013
- Re: [Coq-Club] dependency graph (again), Hendrik Tews, 10/07/2013
  - Re: [Coq-Club] dependency graph (again), Jason Gross, 10/10/2013
    - Re: [Coq-Club] dependency graph (again), Kristopher Micinski, 10/10/2013
      - [Coq-Club] coqgraph - visualize file dependencies for Coq projects [was: dependency graph (again)], Hendrik Tews, 10/11/2013