coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Jason Gross <jasongross9 AT gmail.com>
- To: AUGER Cédric <sedrikov AT gmail.com>
- Cc: Sigurd Schneider <sigurd.schneider AT cs.uni-saarland.de>, coq-club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] Combining multiple coq files into one
- Date: Thu, 9 May 2013 17:32:40 -0400
I don't currently use coqdep to get the dependencies, though I might do that in the future. The problem that I'm trying to solve currently, though, is not figuring out the dependency chain (or a topological sort thereof), but inlining all of the code into a single file without running into name clashes.
-Jason
On Thu, May 9, 2013 at 3:19 PM, AUGER Cédric <sedrikov AT gmail.com> wrote:
Le Thu, 9 May 2013 14:17:41 -0400,
Jason Gross <jasongross9 AT gmail.com> a écrit :
Have you thought of using coqdep to get the dependencies? (I did not
> Hi,
> Thanks, but the intended output is a single stand-alone .v file,
> which I would then post-process. I'm looking for a programmatic way
> to inline all of the non-stdlib dependencies of a .v file, as a first
> step in automatically minifying buggy code, to create a small test
> case.
>
> -Jason
really follow this thread, so maybe someone already talked of it.)
- [Coq-Club] Combining multiple coq files into one, Jason Gross, 05/09/2013
- Re: [Coq-Club] Combining multiple coq files into one, Gabriel Scherer, 05/09/2013
- Re: [Coq-Club] Combining multiple coq files into one, Jason Gross, 05/09/2013
- <Possible follow-up(s)>
- Re: [Coq-Club] Combining multiple coq files into one, Sigurd Schneider, 05/09/2013
- Re: [Coq-Club] Combining multiple coq files into one, Jason Gross, 05/09/2013
- Re: [Coq-Club] Combining multiple coq files into one, AUGER Cédric, 05/09/2013
- Re: [Coq-Club] Combining multiple coq files into one, Jason Gross, 05/09/2013
- Re: [Coq-Club] Combining multiple coq files into one, AUGER Cédric, 05/09/2013
- Re: [Coq-Club] Combining multiple coq files into one, Jason Gross, 05/09/2013
- Re: [Coq-Club] Combining multiple coq files into one, Gabriel Scherer, 05/09/2013
Archive powered by MHonArc 2.6.18.