tket2
tket2 copied to clipboard
CQCL
Version 2 of the TKET quantum compiler
## 🤖 New release * `tket2`: 0.1.0-alpha.1 Changelog --- This PR was generated with [release-plz](https://github.com/MarcoIeni/release-plz/).
:robot: I have created a release *beep* *boop* --- ## 0.1.0 (2024-05-24) ### ⚠ BREAKING CHANGES * This is a breaking change to the compiled rewriter serialisation format. ### Features...
`test_depth_hyp` runs depth optimisation on a set of circuits, with a 30ms deadline. The test may take longer in some cases, which causes CI to fail. See https://github.com/CQCL/tket2/actions/runs/9189665381/job/25272188461 We could...
Move the bindings to a `tket2._tket2` submodule and re-define all structures from python, backed by their binded counterparts. See [Quantomatic/quizx](https://github.com/Quantomatic/quizx/tree/master/pybindings) for an example. This gives us more flexibility on the...
As mentioned in https://github.com/CQCL-DEV/tket2/pull/100#discussion_r1331693153_ , - Most uses of `Units` only care about the `CircuitUnit` - We have some add-hoc maps that add the `Wire`s using the corresponding `CircuitLabeller`. We...
In tket1, float variables are expressed through symbolics. In tket2, we'd interpret these as inputs to the computation, so ideally we would convert between symbolic abstract trees and tket2 native...
Add non-borrowing alternative to `Command` that pre-computes the data instead of keeping a reference to the circuit. This would be useful for simplifying #74 .
Loading a new ECC from `nam_6_3.rwr` takes a couple seconds. Is there any way to speed up this? The answer may very well be _no_, since that compiled rewriter contains...
We might be able to use `op: & impl DataflowOpTrait` in this in the tket1 serialization function (`impl TryFrom for JsonOp`). _Originally posted by @ss2165 in https://github.com/CQCL/tket2/pull/247#discussion_r1398988364_