Stream: Miscellaneous

Topic: Remove dead code

view this post on Zulip Vincent Semeria (Jul 12 2021 at 08:13):

Hello, is there a command in Coq that takes a list of .v files and tells which theorems are never called ? It would be helpful to find dead code and remove it. Dead code often creeps in when we simplify or redo proofs.

view this post on Zulip Bas Spitters (Jul 12 2021 at 09:45):

Have a look at @Jason Gross coq tools

view this post on Zulip Yannick Forster (Jul 12 2021 at 11:03):

dpdusage of thecoq-dpdgraph tool should do exactly what you want:

Last updated: Mar 03 2024 at 15:01 UTC