Remove dead code - Githubissues

egraphs-good / egglog

egraphs + datalog!

https://egraphs-good.github.io/egglog/

MIT License

458 stars 54 forks source link

Closed yihozhang closed 1 month ago

yihozhang commented 1 month ago

This PR

removes the following options: proofs_enabled, terms_enabled, match_limit, and node_limit, since they are currently dead code and does nothing.
removes the make_defaults in the run_actions function since it is always set to true.

Closes #318