Douglas Wilson
Douglas Wilson
> does this do the job? (it works now I believe) No it doesn't, although I accept this is a problem with my example. Perhaps It would be clearer to...
https://github.com/CQCL/hugr/pull/1123 Adds a `CustomConst` intended to be used here.
@mark-koch and I discussed this with @daniel-mills-cqc last week. I will summarise my understanding of blind computing with MBQC here, and layout how we could apply guppy to it. MBQC...
Further thoughts: I have implemented the minimum pass in the linked PR. This replaces `measure` with `lazy_measure` but instead of delaying the `read` for as long as possible, does it...
> The need for `dup` here is critical. If we didn't need to `dup` then we could take `Lazy` as `QUBIT` and `read` thereof as `measure`.... > > if (given)...
> > They are not exactly the same as `Ptr`s, they have no `write` op. > > Ah, yes, true. The writing is captured in the closure of how to...
Partially address by #1345.
I was able to replicate this at the time, but on latest versions I'm no longer able to. Will try again this morning
Can replicate with #742
I think the 125 files changed is because I merged main. Annoying.