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

[WIP] interpreter (pdl): rewrites with multiple inserted operations #3862

Draft
wants to merge 4 commits into
base: sasha/eqsat/init
Choose a base branch
from

Conversation

jumerckx
Copy link
Collaborator

@jumerckx jumerckx commented Feb 6, 2025

ref: #3569
Not yet in a mergeable state but I got a test case working.

@jumerckx jumerckx added the interpreter xDSL Interpreter label Feb 6, 2025
@jumerckx jumerckx self-assigned this Feb 6, 2025
@compor
Copy link
Collaborator

compor commented Feb 7, 2025

good stuff @jumerckx I'll just rename it to WIP and you can undo that when this graduates from being a draft :)

@compor compor changed the title interpreter (pdl): rewrites with multiple inserted operations [WIP] interpreter (pdl): rewrites with multiple inserted operations Feb 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
interpreter xDSL Interpreter
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants