feat(badgerv2): Add RewriteStateSpace

Author: lmondada

Cargo.lock

@@ -37,20 +37,20 @@ large_enum_variant = "allow"
 [patch.crates-io]
 
 # Uncomment to use unreleased versions of hugr
-hugr = { git = "https://github.com/CQCL/hugr", rev = "225814a" }
-hugr-core = { git = "https://github.com/CQCL/hugr", rev = "225814a" }
-hugr-passes = { git = "https://github.com/CQCL/hugr", rev = "225814a" }
-hugr-cli = { git = "https://github.com/CQCL/hugr", rev = "225814a" }
+hugr = { git = "https://github.com/CQCL/hugr", rev = "19745e1b" }
+hugr-core = { git = "https://github.com/CQCL/hugr", rev = "19745e1b" }
+hugr-passes = { git = "https://github.com/CQCL/hugr", rev = "19745e1b" }
+hugr-cli = { git = "https://github.com/CQCL/hugr", rev = "19745e1b" }
 # portgraph = { git = "https://github.com/CQCL/portgraph", rev = "68b96ac737e0c285d8c543b2d74a7aa80a18202c" }
 [workspace.dependencies]
 
 # Make sure to run `just recompile-eccs` if the hugr serialisation format changes.
 # hugr = "0.20.1"
 # hugr-core = "0.20.1"
 # hugr-cli = "0.20.1"
-hugr = { git = "https://github.com/CQCL/hugr", rev = "225814a" }
-hugr-core = { git = "https://github.com/CQCL/hugr", rev = "225814a" }
-hugr-cli = { git = "https://github.com/CQCL/hugr", rev = "225814a" }
+hugr = { git = "https://github.com/CQCL/hugr", rev = "19745e1b" }
+hugr-core = { git = "https://github.com/CQCL/hugr", rev = "19745e1b" }
+hugr-cli = { git = "https://github.com/CQCL/hugr", rev = "19745e1b" }
 portgraph = "0.14.1"
 pyo3 = ">= 0.23.4, < 0.26"
 itertools = "0.14.0"