Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Optimize internal operations in E-Graphs #7

Closed
0x0f0f0f opened this issue Jan 29, 2021 · 0 comments
Closed

Optimize internal operations in E-Graphs #7

0x0f0f0f opened this issue Jan 29, 2021 · 0 comments
Labels
enhancement New feature or request

Comments

@0x0f0f0f
Copy link
Member

0x0f0f0f commented Jan 29, 2021

The EGraph type and operations extensively use dictionaries. Consider performance tips from the Julia manual:
https://docs.julialang.org/en/v1/manual/performance-tips/

From https://dl.acm.org/doi/pdf/10.1145/3434304 :
"egg sorts e-nodes within each e-class ot enable binary search and also maintains a cache mapping function symbols to e-classes that contain e-nodes with that function symbol"

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant