Alec Edgington

Results 72 issues of Alec Edgington

Improve type checking for sympy types

See https://github.com/CQCL/tket/pull/281 where we had to introduce some "type: ignore" comments following the update to sympy 1.10 which has itself improved its type checking.

Add more user options to `Backend.get_compiled_circuit`

Users need an easy way to achieve more fine-grained control over the "default" backend compilation pass. For example, the placement timeout, and any other compiler options, should be configurable through...

Expose `OptimisePauliGadgets` as a compiler pass in pytket and check if `DefaultRegisterPredicate` is really necessary

Add `OpType::CnY` and `OpType::CnZ`

Show which qubits are created and discarded in `Circuit.__repr__()`

Enhance `CliffordSimp` to handle CX inversions

`CliffordSimp` fails to simplify the circuit `Circuit(2).H(0).H(1).CX(0,1).H(0).H(1)` (equivalent to `Circuit(2).CX(1,0)`). We should enhance the pass so that it spots this kind of pattern.

Coverage report shows (some) executed template code as unexecuted

For example, see the coverage report for the constructor of a `UnitID` in `UnitID.hpp`.

bug

Add `DecomposeSwapsToCXs` or `KAKDecomposition` to post-routing optimizations in default passes.

(Depending on the optimization level.) See the discussion on #25 .

Add access to opgroups from pytket

It has been requested that we add the following two methods to `Circuit`: - `opgroups()`, returning a set of `str` (all named opgroups); - `ops_in_group(opgroup: str)`, returning a set of...

Improve bubble test coverage

1 comment

https://cqcl.github.io/tket/bubble/test-coverage/index.html A reasonable target would be 90% line and branch coverage. We are nearly there on lines (85%) but have a long way to go on branches (50%).