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

Extension inference for control flow graphs #497

Closed
croyzor opened this issue Sep 6, 2023 · 0 comments · Fixed by #529
Closed

Extension inference for control flow graphs #497

croyzor opened this issue Sep 6, 2023 · 0 comments · Fixed by #529
Assignees
@croyzor

Comments

@croyzor
Copy link
Contributor

croyzor commented Sep 6, 2023

Blocks #473
@croyzor croyzor self-assigned this Sep 6, 2023
This was referenced Sep 12, 2023
Closed
Merged
@croyzor croyzor linked a pull request Sep 12, 2023 that will close this issue
feat: Extension inference for CFGs #529
Merged
This was referenced Sep 22, 2023
Closed
Merged
github-merge-queue bot pushed a commit that referenced this issue Sep 22, 2023
@croyzor
tests: Update inference test to not use DFG builder (#550)
bf6ffee 
Nowadays, DFGBuilder creates parent and child I/O nodes all with open
extensions. Since this development, this test has been too strict since,
in the absence of any other constraints, it can resolve all extension
sets on the graph to `{A}`. Improvements to inference in the near future
to address #497 will cause it to fail
github-merge-queue bot pushed a commit that referenced this issue Oct 3, 2023
@croyzor
feat: Extension inference for CFGs (#529)
44a64b6 
Based off of #527. Add constraints for control flow graphs and their
basic blocks, and a test of a CFG which adds resources in its basic
blocks.
Resolves #497
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@croyzor croyzor

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat: Extension inference for CFGs CQCL/hugr
1 participant
@croyzor