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: https://github.com/Karmaki/coq-dpdgraph


Last updated: Aug 19 2022 at 19:03 UTC