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

[RTG] Add InstructionOpInterface #7979

Merged
merged 1 commit into from
Jan 16, 2025
Merged

Conversation

maerhart
Copy link
Member

No description provided.

@maerhart maerhart added the RTG Involving the `rtg` dialect label Dec 12, 2024
@maerhart maerhart force-pushed the maerhart-rtg-instruction-interface branch from 95f4033 to ded1276 Compare January 7, 2025 14:09
@maerhart maerhart merged commit f52477c into main Jan 16, 2025
4 checks passed
@maerhart maerhart deleted the maerhart-rtg-instruction-interface branch January 16, 2025 19:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
RTG Involving the `rtg` dialect
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants