Thanks to visit codestin.com
Credit goes to github.com

Skip to content

[RTG] Add bag union operation #7917

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
Merged
merged 1 commit into from
Dec 9, 2024
Merged

[RTG] Add bag union operation #7917

merged 1 commit into from
Dec 9, 2024
+47 −3

Conversation

@maerhart
Copy link
Member

No description provided.

@maerhart maerhart added the RTG Involving the `rtg` dialect label Nov 28, 2024
fabianschuiki
fabianschuiki approved these changes Dec 4, 2024
View reviewed changes
Copy link
Contributor

@fabianschuiki fabianschuiki left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! I think that spurious CI failure in HWToBTOR has been fixed on main. Might just work if you kick the run off again.

@maerhart maerhart force-pushed the maerhart-rtg-set-union branch 2 times, most recently from d4c18d8 to f61ea9d Compare December 6, 2024 15:32
@maerhart maerhart force-pushed the maerhart-rtg-bag-union branch from 5f0b08a to a31c078 Compare December 6, 2024 15:39
@maerhart maerhart changed the base branch from maerhart-rtg-set-union to maerhart-rtg-elaboration-pass December 6, 2024 15:40
@maerhart maerhart changed the base branch from maerhart-rtg-elaboration-pass to maerhart-rtg-bags-elaboration December 6, 2024 15:40
@maerhart maerhart force-pushed the maerhart-rtg-bag-union branch from a31c078 to 511b931 Compare December 6, 2024 15:43
@maerhart maerhart force-pushed the maerhart-rtg-bags-elaboration branch from b5de177 to 3c6eda7 Compare December 9, 2024 12:59
Base automatically changed from maerhart-rtg-bags-elaboration to main December 9, 2024 13:47
@maerhart maerhart force-pushed the maerhart-rtg-bag-union branch from 511b931 to 22ae247 Compare December 9, 2024 14:01
@maerhart maerhart force-pushed the maerhart-rtg-bag-union branch from 22ae247 to 2264382 Compare December 9, 2024 14:15
@maerhart maerhart merged commit daf1bda into main Dec 9, 2024
4 checks passed
@maerhart maerhart deleted the maerhart-rtg-bag-union branch December 9, 2024 14:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@fabianschuiki fabianschuiki fabianschuiki approved these changes

@youngar youngar Awaiting requested review from youngar

@darthscsi darthscsi Awaiting requested review from darthscsi

Assignees

No one assigned

Labels

RTG Involving the `rtg` dialect

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@maerhart @fabianschuiki