Repository navigation

Refactoring ZX implementation - #114

Merged

ChenZhao44 merged 132 commits into

masterfrom

chen/refactor-zx

Dec 18, 2025

Merged

Refactoring ZX implementation#114
ChenZhao44 merged 132 commits into
masterfrom
chen/refactor-zx

Commits on Oct 23, 2025
- comments for refactoring
  ChenZhao44
  committed
  f8ad27d
- group tests
  ChenZhao44
  committed
  a6b9387
- phase interface
  ChenZhao44
  committed
  6e27dbd
- restrict phase type
  ChenZhao44
  committed
  1579ad7
- fix test for restricted phase type
  ChenZhao44
  committed
  7248c54
- update phase interface
  ChenZhao44
  committed
  4429506
- restrict abstract type
  ChenZhao44
  committed
  f286d93
- fix test
  ChenZhao44
  committed
  079e409
- clifford check
  ChenZhao44
  committed
  4f7a216
- phase interface
  ChenZhao44
  committed
  58a10d1
- complete test
  ChenZhao44
  committed
  c947362
- reorganize rules
  ChenZhao44
  committed
  ff46d4b
- rename fusion
  ChenZhao44
  committed
  52d9b17
- rename rules
  ChenZhao44
  committed
  1b2c1f4
- decouple layout for ZXGraph
  ChenZhao44
  committed
  61fddf1
- rename rule
  ChenZhao44
  committed
  399bd75
- decouple inputs and outputs
  ChenZhao44
  committed
  ad1bc27
- move inputs outputs
  ChenZhao44
  committed
  8258e2f
- rm layouts from ZXGraph
  ChenZhao44
  committed
  787bafa
- fix add edge
  ChenZhao44
  committed
  85cffe0
Commits on Oct 24, 2025
- fusion rule for ZXGraph
  ChenZhao44
  committed
  714a35f
- polish test
  ChenZhao44
  committed
  e2a3ae5
- fix test
  ChenZhao44
  committed
  cb3b033
- H-box to edge
  ChenZhao44
  committed
  5fed218
- rename
  ChenZhao44
  committed
  11abcaa
- test HBoxRule
  ChenZhao44
  committed
  3b5862d
- fix upto rules.jl
  ChenZhao44
  committed
  31c187c
- fix upto zx_graph
  ChenZhao44
  committed
  f089e45
- import Chain
  ChenZhao44
  committed
  ccc7906
- fix circuit simplification
  ChenZhao44
  committed
  30d1c67
- fix circuit extraction
  ChenZhao44
  committed
  6ae8f7d
- move some interface to ZXCircuit
  ChenZhao44
  committed
  6d51900
- identity removal for ZXCircuit
  ChenZhao44
  committed
  97bd534
- fix equality test
  ChenZhao44
  committed
  4f9ba46
- polish rule id rm
  ChenZhao44
  committed
  a96c5b3
- fix p3 rule
  ChenZhao44
  committed
  d904bb7
- pivot 2 for ZXCircuit
  ChenZhao44
  committed
  082bd91
- ZXCircuit for pivot gadget
  ChenZhao44
  committed
  c5fd1ea
- fix pivot on the boundary
  ChenZhao44
  committed
  6cc6816
- rename vars
  ChenZhao44
  committed
  699b289
- fix pivot on the boundary
  ChenZhao44
  committed
  0cbe89e
- fix tests
  ChenZhao44
  committed
  46b2c05
- rm printing
  ChenZhao44
  committed
  4f8c2e1
- fix pivot 2 phase id check
  ChenZhao44
  committed
  c6c972e
- zxgraph test
  ChenZhao44
  committed
  952bb5e
- rm comments
  ChenZhao44
  committed
  4a87549
Commits on Oct 25, 2025
- two-level abstract type
  ChenZhao44
  committed
  97197d6
Commits on Oct 26, 2025
- ZXCircuit <-> ZXDiagram
  ChenZhao44
  committed
  1ed050a
- fix test
  ChenZhao44
  committed
  4d0bdc6
- deprecating ZXDiagram
  ChenZhao44
  committed
  0897043
- polish interface
  ChenZhao44
  committed
  c8e4a58
- fix ZW test
  ChenZhao44
  committed
  17ddf51
- reorganize ZX module
  ChenZhao44
  committed
  09964a7
- rm Interfaces
  ChenZhao44
  committed
  1850975
- use conventional Julia interface
  ChenZhao44
  committed
  f22ba94
- interface docstrings
  ChenZhao44
  committed
  1ead3b8
- polish docstrings
  ChenZhao44
  committed
  8a99695
Commits on Oct 27, 2025
- migrate to ZXCircuit
  ChenZhao44
  committed
  da99f02
- composition for ZXCircuit
  ChenZhao44
  committed
  182c8a7
- add DocStringExtensions
  ChenZhao44
  committed
  7c0b3fe
- fix push gate
  ChenZhao44
  committed
  5b0d5fa
- to html plot
  ChenZhao44
  committed
  d476126
- fix circuit implementation
  ChenZhao44
  committed
  ff773d8
- fix plot interface
  ChenZhao44
  committed
  0c5e930
- reorganize import
  ChenZhao44
  committed
  eaf9fef
- add todo
  ChenZhao44
  committed
  46bfd81
- add edge check
  ChenZhao44
  committed
  f7d6b23
- add edge checks
  ChenZhao44
  committed
  f2bd59a
- edge check for :pab
  ChenZhao44
  committed
  d8044d3
- edge check for p2
  ChenZhao44
  committed
  13fd270
- edge check for p3
  ChenZhao44
  committed
  5b0bf9c
- edge check for id and pivot gadget
  ChenZhao44
  committed
  5de340c
- fix id
  ChenZhao44
  committed
  b4ec5e4
- fix typing
  ChenZhao44
  committed
  f7139cf
- add todo
  ChenZhao44
  committed
  1eddaa8
- rm comments
  ChenZhao44
  committed
  b33835f
- tests for ir
  ChenZhao44
  committed
  a6fb68f
- rm proposal
  ChenZhao44
  committed
  fdc8c4e
Commits on Oct 28, 2025
- modularize tests
  ChenZhao44
  committed
  1060d77
- fix imports
  ChenZhao44
  committed
  8cf3e2a
Commits on Oct 29, 2025
- fix test
  ChenZhao44
  committed
  89a67b2
- test layout
  ChenZhao44
  committed
  4eb1ab8
- refactor interface
  ChenZhao44
  committed
  1ab808e
- fix import
  ChenZhao44
  committed
  07637a3
- polish interface docstring
  ChenZhao44
  committed
  92b6de5
- tests for abstract ZX circuit
  ChenZhao44
  committed
  0824904
- move conversion
  ChenZhao44
  committed
  6564b7a
- rename
  ChenZhao44
  committed
  d2e673a
- rename files
  ChenZhao44
  committed
  756bfbf
- move files
  ChenZhao44
  committed
  5cfa8d0
- move files
  ChenZhao44
  committed
  5c07740
- ZXGraph tests
  ChenZhao44
  committed
  d44cfd0
- add assertions
  ChenZhao44
  committed
  8a5f93e
- test parallel edge and self-loop handling
  ChenZhao44
  committed
  e0bb340
- add assertion
  ChenZhao44
  committed
  9b99d2b
- rename files
  ChenZhao44
  committed
  5742869
- polish tests
  ChenZhao44
  committed
  8e269dd
- decompose rule tests
  ChenZhao44
  committed
  3a60883
- decompose files
  ChenZhao44
  committed
  73112c0
- add place holders
  ChenZhao44
  committed
  eceeb0d
- eincode for ZX
  ChenZhao44
  committed
  13dd333
- fix to_eincode
  ChenZhao44
  committed
  1af381a
- rm useless tests
  ChenZhao44
  committed
  abfdae4
Commits on Oct 30, 2025
- add nin nout into interface
  ChenZhao44
  committed
  ce433b1
- add matrix check test
  ChenZhao44
  committed
  93bfb8e
- rename
  ChenZhao44
  committed
  a6380e8
- rename
  ChenZhao44
  committed
  0d78009
- fix tests
  ChenZhao44
  committed
  95fdd14
- rm redundant tests
  ChenZhao44
  committed
  d344838
- fix tests
  ChenZhao44
  committed
  69c40d3
- test printing
  ChenZhao44
  committed
  46afd0e
- weak deps
  ChenZhao44
  committed
  219ce96
- check if tracking phase
  ChenZhao44
  committed
  8d23c9a
- add TODO
  ChenZhao44
  committed
  e539cee
- refactor simplification
  ChenZhao44
  committed
  45f97b4
- update docs
  ChenZhao44
  committed
  47d4889
- fix tests
  ChenZhao44
  committed
  5943979
Commits on Oct 31, 2025
- fix IdentityRemoval
  ChenZhao44
  committed
  0ddac76
- update interface
  ChenZhao44
  committed
  1c90337
- export new interface
  ChenZhao44
  committed
  096f064
- fix import warning
  ChenZhao44
  committed
  219dbbc
- fix including ordering
  ChenZhao44
  committed
  8c4df85
- using base_zx_graph
  ChenZhao44
  committed
  1e64a3b
- update interfaces
  ChenZhao44
  committed
  3c67f62
- delegate to underlying graph
  ChenZhao44
  committed
  ed728ce
- update add_edge!
  ChenZhao44
  committed
  20cf8bf
- add_spider! with specified edge type connections
  ChenZhao44
  committed
  e1d9beb
- adapt new add_spider! interface
  ChenZhao44
  committed
  fd2026b
Commits on Nov 3, 2025
- ZToXRule
  ChenZhao44
  committed
  a1f66e0
- add layout kwargs
  ChenZhao44
  committed
  70fbc66
- use API
  ChenZhao44
  committed
  ccbb5c4
Commits on Nov 5, 2025
- fix scalar
  ChenZhao44
  committed
  dcc0ed2

Commits

Commits on Oct 23, 2025

Commits on Oct 24, 2025

Commits on Oct 25, 2025

Commits on Oct 26, 2025

Commits on Oct 27, 2025

Commits on Oct 28, 2025

Commits on Oct 29, 2025

Commits on Oct 30, 2025

Commits on Oct 31, 2025

Commits on Nov 3, 2025

Commits on Nov 5, 2025