Skip to content

feat: LocalizeEdges pass #2237

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

Open
wants to merge 57 commits into
base: main
Choose a base branch
from
Open

feat: LocalizeEdges pass #2237

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
57 commits
Select commit Hold shift + click to select a range
c328a18
wip
doug-q Feb 6, 2025
cd2348d
add pass
doug-q Feb 6, 2025
e04390e
oops
doug-q Feb 6, 2025
903acc2
conditional
doug-q Feb 6, 2025
a87d705
remove dbg
doug-q Feb 6, 2025
11879a8
refactor
doug-q Feb 7, 2025
5f09ba9
works
doug-q Feb 7, 2025
8f0b164
wip
doug-q Feb 8, 2025
af2959a
feat: Add `Type::as_sum` and `SumType::variants`.
doug-q Feb 8, 2025
2e3e282
coverage
doug-q Feb 9, 2025
faeab31
Merge remote-tracking branch 'origin/doug/sum-utils' into doug/un-non…
doug-q Feb 9, 2025
dc95bc9
wip
doug-q Feb 9, 2025
9f619b4
wip
doug-q Feb 10, 2025
de0c513
feat: Add `HugrMutInternals::insert_ports`
doug-q Feb 9, 2025
f096dd7
fixes
doug-q Feb 10, 2025
504afe5
with_prelude
doug-q Feb 10, 2025
983c69c
Merge remote-tracking branch 'origin/doug/insert-ports' into doug/un-…
doug-q Feb 10, 2025
6cc87a4
works
doug-q Feb 10, 2025
461a5ab
wip
doug-q Feb 10, 2025
84633d9
Merge branch 'main' of gh:CQCL-DEV/hugr into doug/un-non-local
doug-q Feb 10, 2025
3a07aa3
get get_optype_mut
doug-q Feb 10, 2025
9d251df
fix merge
doug-q Feb 10, 2025
9a8a5e2
tweak
doug-q Feb 10, 2025
dd4caa0
fmt
doug-q Feb 10, 2025
6dabc6b
with_prelude
doug-q Feb 10, 2025
322facf
wip
doug-q Feb 12, 2025
558b5d5
Merge branch 'main' of gh:CQCL-DEV/hugr into doug/un-non-local
doug-q May 19, 2025
040f5db
comments, reorder analysis before transform, add tests of vec_insert
acl-cqc May 19, 2025
bd68a4b
simplify nonlocal_edges: inports can have at most one connected outport
acl-cqc May 19, 2025
ad1714c
Remove NeedsSourcesMapIter/impl IntoIterator for &BBNeedsSourcesMap
acl-cqc May 19, 2025
f94c6ad
BBNeedsSourcesMap: work harder in insert(), remove finish
acl-cqc May 19, 2025
6ea566d
New alg, (re/ab)using ControlWorkItem, but need ParentSourceMap
acl-cqc May 19, 2025
bcadbca
TEMP change ControlWorkItem::go to take impl Into<Option<ParentSource…
acl-cqc May 19, 2025
2b72070
Use new code; some fixes; still need to update BB sum_rows
acl-cqc May 19, 2025
c1b07b8
Remove ParentSourceMap, WorkItem (undoing the TEMP)
acl-cqc May 19, 2025
1518d4e
Add Types into ControlWorkItem
acl-cqc May 19, 2025
e019f04
Update DFB inputs and sum_rows - tests now passing
acl-cqc May 19, 2025
a41ae95
Add just_types helper
acl-cqc May 19, 2025
68f3020
Renaming, add struct + impl ComposablePass
acl-cqc May 20, 2025
4cc2948
Undo move
acl-cqc May 20, 2025
c4000e8
separate errors, deprecate NonLocalEdgesError
acl-cqc May 20, 2025
8608a5f
Convert ControlWorkItem into a simple function
acl-cqc May 20, 2025
aee31a1
Use optype_mut
acl-cqc May 20, 2025
90e1029
Move BBNeedsSourcesMap(Builder) into submodule non_local/localize.rs
acl-cqc May 20, 2025
6e27b62
Remove WorkItem.target as redundant (node is also key in map, port un…
acl-cqc May 20, 2025
fa10f7b
Inline build_needs_sources_map, BBNeedsSourcesMapBuilder
acl-cqc May 20, 2025
78ad38c
Tidy debug-asserts, don't use delegate
acl-cqc May 20, 2025
4681351
Don't import delegate
acl-cqc May 20, 2025
ac7a234
LocalizeEdgesError doesn't actually need any variants, hmmm
acl-cqc May 20, 2025
e9c0f08
comments
acl-cqc May 20, 2025
b069c1e
Rewrite assertion to make clippy happy
acl-cqc May 20, 2025
2e4e85c
CFG test includes internal (dom) edge; extend debug assertion w/ gran…
acl-cqc May 20, 2025
59f1c89
Tidy checks
acl-cqc May 20, 2025
e2f11d4
Rename BBNeedsSourceMap to ExtraSourceReqs, a few comments
acl-cqc May 21, 2025
ceaa552
Remove unnecessary filter; HashMap -> Vec so no dedup
acl-cqc May 23, 2025
aa2daf8
Docs
acl-cqc May 23, 2025
b4417f3
Improve ExtraSourceReqs::get
acl-cqc May 23, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading