Luca Mondada

BorrowSquash pass to reorder and remove redundant borrows on borrow_arrays

7

Here's an overview of a Hugr->Hugr transform *before* we encode subcircuits for pytket: 1. Read-only analysis pass to find the borrow interval (i.e. pair up borrows with returns) - see...

PersistentHugr implements a persistent data type, but cloning a PersistentHugr isn't as cheap as might be expected from typical data types (the size of the data cloned is proportional to...

The [docs](https://github.com/CQCL/tket2/blob/1d86e9b977aa6d1f9aa53e62c986142a13a146a3/tket-py/src/circuit/tk2circuit.rs#L71) state ```rust /// Initialize a `Tk2Circuit` from a `pytket.Circuit` or `guppy.Hugr`. /// /// Converts the input circuit to a `Hugr` if required via its serialisation /// interface. ```...

feat: Add badgerv2_unstable feature, RewriteSpace and CommitFactory

2

This requires https://github.com/CQCL/hugr/pull/2349 and https://github.com/CQCL/hugr/pull/2402 to be merged in, as well as a breaking hugr release before it can be merged.

I cannot find a way to access the `Hugr` object underlying a `Tk2Circuit` in `tket-py`. Should I add that or is there a reason not to? There might a subtlety...

I notice we have a pyo3 `TketOp` and a Python-defined `TketOp`. This causes some confusion in [e.g. this example notebook](https://github.com/CQCL/tket2/blob/lm/pyinterface/tket-py/examples/3-Custom-Match-Replace.ipynb). I understand that pure Python types can be more ergonomic...

The pytest `test_simple_badger_pass_no_opt` in `tket2-py/test/test_pass.py` is currently failing (afaik on linux only) with a panic in `portmatching`: ``` thread '' panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/portmatching-0.3.1/src/predicate.rs:90:48: called `Option::unwrap()` on a `None` value ```