feat(tket2-hseries)!: insert RuntimeBarrier across qubits in a Barrier

Cargo.toml

@@ -31,10 +31,10 @@ missing_docs = "warn"
 [patch.crates-io]
 
 # Uncomment to use unreleased versions of hugr
-# hugr = { git = "https://github.com/CQCL/hugr", rev = "167c687" }
-# hugr-core = { git = "https://github.com/CQCL/hugr", rev = "167c687" }
-# hugr-passes = { git = "https://github.com/CQCL/hugr", rev = "4e6b6d8" }
-# hugr-cli = { git = "https://github.com/CQCL/hugr", rev = "4e6b6d8" }
+hugr = { git = "https://github.com/CQCL/hugr", rev = "63c317b" }
+hugr-core = { git = "https://github.com/CQCL/hugr", rev = "63c317b" }
+hugr-passes = { git = "https://github.com/CQCL/hugr", rev = "63c317b" }
+hugr-cli = { git = "https://github.com/CQCL/hugr", rev = "63c317b" }
 # portgraph = { git = "https://github.com/CQCL/portgraph", rev = "68b96ac737e0c285d8c543b2d74a7aa80a18202c" }
 
 [workspace.dependencies]

tket2-exts/pyproject.toml

@@ -26,7 +26,7 @@ classifiers = [
     "Topic :: Scientific/Engineering",
 ]
 
-dependencies = ['hugr ~= 0.11.1']
+dependencies = ['hugr ~= 0.11.5']
 
 [project.urls]
 homepage = "https://github.com/CQCL/tket2/tree/main/tket2-exts"
@@ -35,3 +35,6 @@ repository = "https://github.com/CQCL/tket2/tree/main/tket2-exts"
 [build-system]
 requires = ["hatchling"]
 build-backend = "hatchling.build"
+
+[tool.uv.sources]
+hugr = { git = "https://github.com/cqcl/hugr.git", subdirectory = "hugr-py", rev = "719723b" }

tket2-exts/src/tket2_exts/data/tket2/bool.json

@@ -1,7 +1,6 @@
 {
   "version": "0.1.0",
   "name": "tket2.bool",
-  "runtime_reqs": [],
   "types": {
     "bool": {
       "extension": "tket2.bool",
@@ -14,7 +13,6 @@
       }
     }
   },
-  "values": {},
   "operations": {
     "and": {
       "extension": "tket2.bool",
@@ -47,8 +45,7 @@
               "args": [],
               "bound": "C"
             }
-          ],
-          "runtime_reqs": []
+          ]
         }
       },
       "binary": false
@@ -75,8 +72,7 @@
               "s": "Unit",
               "size": 2
             }
-          ],
-          "runtime_reqs": []
+          ]
         }
       },
       "binary": false
@@ -112,8 +108,7 @@
               "args": [],
               "bound": "C"
             }
-          ],
-          "runtime_reqs": []
+          ]
         }
       },
       "binary": false
@@ -142,8 +137,7 @@
               "args": [],
               "bound": "C"
             }
-          ],
-          "runtime_reqs": []
+          ]
         }
       },
       "binary": false
@@ -179,8 +173,7 @@
               "args": [],
               "bound": "C"
             }
-          ],
-          "runtime_reqs": []
+          ]
         }
       },
       "binary": false
@@ -207,8 +200,7 @@
               "args": [],
               "bound": "C"
             }
-          ],
-          "runtime_reqs": []
+          ]
         }
       },
       "binary": false
@@ -244,8 +236,7 @@
               "args": [],
               "bound": "C"
             }
-          ],
-          "runtime_reqs": []
+          ]
         }
       },
       "binary": false

tket2-exts/src/tket2_exts/data/tket2/debug.json

@@ -1,9 +1,7 @@
 {
   "version": "0.1.0",
   "name": "tket2.debug",
-  "runtime_reqs": [],
   "types": {},
-  "values": {},
   "operations": {
     "StateResult": {
       "extension": "tket2.debug",
@@ -67,8 +65,7 @@
               ],
               "bound": "A"
             }
-          ],
-          "runtime_reqs": []
+          ]
         }
       },
       "binary": false