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

Bug fix: Include intermediates from receives in machine parts #2546

Merged
merged 2 commits into from
Mar 14, 2025

Conversation

georgwiese
Copy link
Collaborator

@georgwiese georgwiese commented Mar 13, 2025

Extracted from #2541

Fixes a bug that the machine parts doesn't include the intermediate definitions that only appear in one of the receives. An example of this is the Arith large machine, which has intermediates like x1c in their list of arguments, but doesn't refer to the in any constraint.

@georgwiese georgwiese marked this pull request as ready for review March 13, 2025 19:29
@georgwiese georgwiese force-pushed the include-intermediates branch from 23ad159 to f50e99d Compare March 13, 2025 19:38
@chriseth chriseth enabled auto-merge March 13, 2025 22:07
@georgwiese georgwiese requested a review from chriseth March 13, 2025 22:47
@chriseth chriseth added this pull request to the merge queue Mar 13, 2025
Merged via the queue into main with commit b435098 Mar 14, 2025
16 checks passed
@chriseth chriseth deleted the include-intermediates branch March 14, 2025 00:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants