forked from egraphs-good/egg
-
Notifications
You must be signed in to change notification settings - Fork 1
Open
Description
We need to understand the overhead (memory and runtime) of each color. We should check how many nodes each color has, how many nodes are shared, and how much size does the colored memo take during rebuild. The last one is important to see if we want to hold a memo for a color continually.
We should also collect data on how many black IDs (size of the sets of union_map) each color has (could help with early stopping).
Metadata
Metadata
Assignees
Labels
No labels