Douglas Wilson

Add syntax for global variables

4

I would like to write a guppy program such as: ``` @guppy.global(float) rot = 1.0 @guppy main() -> float: return rot ``` which compiles to a hugr containing a global...

We are using typetag in our application to allow users to extend our system with their own types. Deseralisation of a `typetag`ed trait can fail for two reasons: * The...

The pytket tests in `tests/integration/test_py.py` fail because tket2 has started to annotate the circuits it returns with the correct extensions. We get port mismatch errors, because we always set extensions...

I would like to be able to list the functions defined in a `GuppyModule`

Create example program: QEC + decoder

1

featuring array usage

Guppy should guarantee that compiling the same program twice produces exactly the same Hugr. This can potentially go wrong if time-of-build or other timestamps are included by guppy in the...

Prototype a "lazify-measurement" hugr->hugr pass

5

The h-series runtime wants to be lazy in using the results of measurements, to facilitate runtime pipelining. I suggest we can achieve this with the following: * create a `lazy`...