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.

Sign up for GitHub

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

Jump to bottom

Hash consing #614

Open
YingboMa opened this issue Jun 12, 2024 · 1 comment
Open

Hash consing #614

YingboMa opened this issue Jun 12, 2024 · 1 comment
Assignees
@bowenszhu

Comments

@YingboMa
Copy link
Member

We can add a global thread-safe dictionary to de-duplicate terms in memory. This will guarantee the memory cost is the same as an efficient DAG representation while preserving the tree data structure.
@0x0f0f0f
Copy link
Member

It's basically an e-graph and we can already use Metatheory.jl for that.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@bowenszhu bowenszhu

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@0x0f0f0f @YingboMa @bowenszhu