Yishuai Li (Jun 18 2020 at 18:59): Yishuai Li (Jun 18 2020 at 18:59):In Eclipse I can press Ctrl+Shift+O to organize the imported Java packages automatically. Is it worth having a similar feature for Coq developers?
Yishuai Li (Jun 18 2020 at 19:01):Motivation: Less import dependency allows more parallelism in compilation.
Karl Palmskog (Jun 18 2020 at 19:02):I think Jason's scripts already do dependency minimization? https://github.com/JasonGross/coq-tools
Karl Palmskog (Jun 18 2020 at 19:19):a more efficient way to optimize the file-level dep graph is probably by using coq-dpdgraph: https://github.com/karmaki/coq-dpdgraph
Last updated: Apr 20 2024 at 14:01 UTC