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

transformations: (eqsat) change eqsat matching API to provide a sequence of matching contexts instead of a single one to rewrite #3609

Open
superlopuh opened this issue Dec 9, 2024 · 0 comments
Open

transformations: (eqsat) change eqsat matching API to provide a sequence of matching contexts instead of a single one to rewrite #3609

superlopuh opened this issue Dec 9, 2024 · 0 comments
Assignees
@cowardsa
Labels
transformations Changes or adds a transformatio

Comments

@superlopuh
Copy link
Member

No description provided.

@superlopuh superlopuh added the transformations Changes or adds a transformatio label Dec 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@cowardsa cowardsa

Labels
transformations Changes or adds a transformatio
Projects
Equality Saturation Dialect
Status: No status
Milestone
No milestone
Development

No branches or pull requests
2 participants
@superlopuh @cowardsa