Alec Edgington

Add user callback to `vf2_subgraph_mono` to potentially stop search before each check.

3

Also update documentation and add tests. See the discussion on #271 . Remarks: * I used a simple function pointer for the type rather than a templated "callable" so as...

Circuits containing division operations are supported in QASM (but not QIR) submissions

2

Under limited circumstances they are supported in QASM submissions, so this is a feature discrepancy.

QIR submissions with more than N shots never return results (or error)

3

For the circuit below, it looks like N=3632; I don't know if the limit depends on the circuit. ```python from pytket.circuit import Circuit from pytket.extensions.quantinuum import QuantinuumBackend, QuantinuumAPI, Language from...

Enhancement: support multi-valued WASM functions

2

This is due to a limitation in pytket-qir, which raises an error: ``` ValueError: wasm function which return more than one value are not supported yet ```

This comes directly from the device information returned over the API, but the numbers are hard-coded to 0.1. ```python from pytket.extensions.quantinuum import QuantinuumBackend devices = QuantinuumBackend.available_devices() for device in devices:...

Don't remove unused qubits in default compilation pass

3

This causes sometimes-surprising differences with other backends. To get around the problem of QASM insisting on contiguous zero-indexed registers, can we omit this step and relabel the qubits including the...