Skip to content

refactor: compile Hugr using abstract graph datatype #97

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

Merged
acl-cqc merged 44 commits into from
Jan 12, 2026
Merged

refactor: compile Hugr using abstract graph datatype #97

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
44 commits
Select commit Hold shift + click to select a range
e3e8260
Hugr: move parent pointer outside of node
acl-cqc Dec 16, 2025
8b26471
Make abstract datatype for Hugr
acl-cqc Dec 16, 2025
990e261
WIP inline the one -!, abandon FreshMonad
acl-cqc Dec 16, 2025
214333b
Fix Hugr on NodeId, move Namespace inside -> freshNodeWithParent
acl-cqc Dec 16, 2025
33a498c
WIP inline withIO
acl-cqc Dec 17, 2025
99a7416
refactor: lift compileNode up to top level
acl-cqc Dec 17, 2025
5ec4c67
Revert "refactor: lift compileNode up to top level"
acl-cqc Dec 17, 2025
b9be70d
Separate out compilation of Source - fails 3 tests
acl-cqc Dec 17, 2025
4f3d1ff
Fix Eval not respecting liftedOutPorts -> just 1 fail
acl-cqc Dec 17, 2025
5e4ee49
And splices should use getOutPort too
acl-cqc Dec 17, 2025
af49caf
xfail remaining failure in closures.brat
acl-cqc Dec 17, 2025
8b74892
fixup! Separate out
acl-cqc Dec 17, 2025
1e9e1f2
refactor out compileInEdges
acl-cqc Dec 17, 2025
33eb452
refactor in_edges to top-level
acl-cqc Dec 17, 2025
d42778d
Separate out compilation of Target
acl-cqc Dec 17, 2025
57c2df7
refactor: compileKernBox takes src+tgt (Name, Name)
acl-cqc Dec 17, 2025
41b913f
Rename: freshNodeWithParent -> freshNode
acl-cqc Dec 17, 2025
df8b4dd
makeCS takes Hugr
acl-cqc Dec 18, 2025
1cfebd1
compileBox takes Container = 3*NodeId, uses setOp; {freshNode,new}WithIO
acl-cqc Dec 18, 2025
57f2110
HugrGraph: separate out root
acl-cqc Dec 18, 2025
a791530
HugrGraph: add io_children (written not read)
acl-cqc Dec 18, 2025
e6cecd7
WIP use io_children to sort Hugr. Fails on Conditionals - cases in wr…
acl-cqc Dec 18, 2025
af23d7e
hack setFirstChildren to get Cases in order inside Conditional
acl-cqc Dec 18, 2025
5d0d815
Drop unused instance Ord, and index inside OpCase
acl-cqc Dec 18, 2025
d7ae859
Hugr->HugrGraph
acl-cqc Dec 19, 2025
c2cee45
Remove HugrGraph.freshNodeWithIO
acl-cqc Dec 19, 2025
cf5f705
Move Container from HugrGraph to Compile/Hugr
acl-cqc Dec 19, 2025
c50cbb7
new returns just HugrGraph, expose root accessor
acl-cqc Dec 19, 2025
3f3c06d
io_children->first_children stores any number
acl-cqc Dec 19, 2025
365dddc
ake HugrGraph ops in State HugrGraph, Compile use onHugr
acl-cqc Dec 20, 2025
cb31461
HugrGraph.hs: do not re-export PortId
acl-cqc Dec 22, 2025
b88878a
reduce imports from Naming
acl-cqc Dec 22, 2025
446d978
Move renameAndSort inside serialize
acl-cqc Dec 22, 2025
cac91fe
Honour first_children of root
acl-cqc Dec 22, 2025
4b25c84
refactor previous
acl-cqc Dec 22, 2025
5416be8
Review comment: M.alter in addToMap
acl-cqc Jan 10, 2026
36ae9d1
Review comment: check only single in-edges
acl-cqc Jan 10, 2026
a4523af
Review comments: state->modify, parent->defNode, foldl'
acl-cqc Jan 10, 2026
f691012
comments
acl-cqc Jan 10, 2026
d2e5473
WIP HugrGraph.hs separate Namespace
acl-cqc Jan 10, 2026
10e3abd
Move Namespace out of HugrGraph into Compile monad
acl-cqc Jan 10, 2026
673d664
Parametrize HugrGraph by nodeid for methods that don't use Namespace
acl-cqc Jan 10, 2026
1e34f29
hide HG.edgeList
acl-cqc Jan 10, 2026
00b4b16
comment issue 101
acl-cqc Jan 12, 2026
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