文件名称：coq-dpdgraph:在COQ对象之间建立依赖关系图
文件大小：74KB
文件格式：ZIP
更新时间：2024-05-24 19:42:55
Coq
coq-dpdgraph 在Coq对象之间建立依赖关系图，其中Coq是著名的形式证明管理系统（请参阅 ）。 Travis CI在主分支上的状态： 里面有什么？ 首先，它是一个小型工具（一个Coq插件），用于提取Coq对象之间的依赖关系，并生成包含此信息的文件（建议使用后缀.dpd）。 这个想法是，然后可以开发其他小的工具来处理.dpd文件。 目前，有： dpd2dot读取这些.dpd文件并使用.dot格式（参见 ）生成图形文件，从而可以查看它们。 dpdusage ：查找未使用的定义。 希望以后可以使用其他工具做更多的事情。 随时贡献！ 如何获得 你可以： 可以从GitHub克隆它： : 或从opam-coq归档文件（存储库“已发布”）中获取名为coq-dpdgraph的opam软件包。 或获取 汇编 要求 最新版本与Coq 8.11一起运行 已通过使用opam安装的
【文件预览】：
coq-dpdgraph-coq-master
----.travis.yml(916B)
----dpd_parse.mly(2KB)
----dpd2dot.ml(3KB)
----Make(78B)
----tests()
--------graph2.dpd.oracle(3KB)
--------Polymorph.v(206B)
--------missing_node.err.oracle(92B)
--------attributes.err.dpd(703B)
--------graph2.dpdusage.oracle(63B)
--------Morph.v(705B)
--------file_not_found.err.oracle(97B)
--------Morph.cmd(180B)
--------PrimitiveProjections.dot.oracle(2KB)
--------lexing.err.oracle(91B)
--------lexing.err.dpd(47B)
--------PrimitiveProjections2.dot.oracle(743B)
--------Test.v(48KB)
--------Morph_rw.dot.oracle(8KB)
--------Test.cmd(157B)
--------unterminated_comment.err.oracle(118B)
--------Polymorph.dot.oracle(478B)
--------PrimitiveProjections2.dpd.oracle(260B)
--------double_node.err.dpd(58B)
--------graph.without.dot.oracle(22KB)
--------graph.dot.oracle(38KB)
--------Polymorph.cmd(126B)
--------parsing.err.oracle(86B)
--------Polymorph.dpd.oracle(190B)
--------missing_node.err.dpd(46B)
--------unterminated_comment.err.dpd(49B)
--------parsing.err.dpd(50B)
--------search.oracle(317B)
--------Morph.dot.oracle(2KB)
--------PrimitiveProjections.cmd(253B)
--------Morph_rw.dpd.oracle(4KB)
--------graph.dpd.oracle(34KB)
--------Morph.dpd.oracle(2KB)
--------attributes.err.oracle(91B)
--------search.cmd(97B)
--------graph2.dot.oracle(4KB)
--------PrimitiveProjections.dpd.oracle(665B)
--------PrimitiveProjections.v(498B)
--------double_node.err.oracle(159B)
----TODO(1014B)
----LICENSE(26KB)
----dpd_dot.ml(7KB)
----CHANGES.md(2KB)
----Makefile.in(8KB)
----dpd_compute.ml(6KB)
----dpd_lex.mll(3KB)
----searchdepend.mlg(3KB)
----.gitignore(358B)
----dpdusage.ml(3KB)
----dpdgraph.v(30B)
----README.md(8KB)
----coqdoc.css(2KB)
----dpdgraph.mllib(25B)
----style.css(34B)
----configure.ac(6KB)
----graphdepend.mlg(9KB)