Agustín Borgna comments

Results 53 comments of


                                            Agustín Borgna

Frozen `Command`

Once we have this we should move the `PullForward` to a more general module. https://github.com/CQCL-DEV/tket2/pull/74/files#r1332839813

Loading compiled ECCs is quite slow.

https://github.com/CQCL/hugr/pull/1387 should help with this.

load and compile guppy files from python

Loading from in-memory guppy modules is actually quite simple, as we can just `module.compile().to_json()` to get the Hugr. For loading a file, we can copy `guppy-runner`'s implementation, https://github.com/CQCL/guppy-runner/blob/e824c9186c52c995c58b9f46e6416bc8465c8d89/guppy_runner/compile/guppy_compiler.py#L62-L72 Currently the...

load and compile guppy files from python

There's some work on this in branch [`ci/guppy-hugrs`](https://github.com/CQCL/tket2/tree/feat/guppy-hugrs). Currently you can pass a `GuppyModule` directly to `Tk2Circuit::new`, but as it translates the whole module, you are left with a HUGR...

load and compile guppy files from python

This will probably be implemented by guppy instead. The first alpha release includes some conversion utilities, mostly going through serialization.

Add gates to the beginning of a circuit

Yes, we'll probably want an `add_before(cmd)`/`add_after(cmd)` as well as a `prepend`/`append`.

Translate TKET1 boxes

Blocked by https://github.com/CQCL/tket2/issues/308

`Circuit::num_gates` not consistent with TKET `n_gates`

We should define what is a gate somewhere (clearly it's not the same as an `Op`).

feat: tket2 cli

Maybe have sub-commands from the start, so we can e.g. include `tket compile`, `tket taso`, etc. ? Those have different sets of arguments, so having a `--taso` flag would be...

refactor: port HUGR codegen to use HUGR python builder

I'm planning to do this in multiple steps, starting from nodes and ports before removing the whole `hugr_builder.hugr.Hugr` class. There are some incompatibilities that we have to address: ### Node...