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

Given an eclass that may contain loops, extract a representative #405

Open
2 tasks
Tracked by #403
gussmith23 opened this issue Dec 9, 2023 · 0 comments
Open
2 tasks
Tracked by #403

Given an eclass that may contain loops, extract a representative #405

gussmith23 opened this issue Dec 9, 2023 · 0 comments
Labels
egglog Pertaining to lakeroad-egglog (aka Churchroad)

Comments

@gussmith23
Copy link
Owner

gussmith23 commented Dec 9, 2023 •
edited
Loading

Modules may have cycles, so we need to be able to extract cycles. This issue tracks the task of extracting any representative of the eclass containing cycles. Not going to worry about extracting the "right" representative quite yet.

See egraphs-good/egglog#315

  • Figure out how the current extraction method works
  • Try Oliver's suggestion: break cycles "by adding a name to something"
@gussmith23 gussmith23 mentioned this issue Dec 9, 2023
Open
3 tasks
@gussmith23 gussmith23 added the egglog Pertaining to lakeroad-egglog (aka Churchroad) label Dec 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
egglog Pertaining to lakeroad-egglog (aka Churchroad)
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@gussmith23