Luca Mondada comments

Results 39 comments of


                                            Luca Mondada

Python bridge revision

I agree that `.copy()` is a very useful shorthand. It also feels the "most natural" to me. Perhaps unfortunately, the "most pythonic" would be to support the use of the...

[docs] Add C++ docs for get_state(), sample() and observe()

I have read the Contributor License Agreement and I hereby accept the Terms.

[docs] Add C++ docs for get_state(), sample() and observe()

Hi @schweitzpgi and @bmhowe23 ! Thanks for your reviews. All CI checks are currently passing, so I won't be touching this PR anymore. Feel free to have a look whenever...

docs: Differentiate between HUGR wires and pytket _resources_ in docs

👍 an alternative could be to follow hugr's `CircuitUnit` naming. A resource would be a "linear circuit unit". I think I like "resource" though

Allow non-convex SiblingSubgraph

I have started work on this on branch `lm/nonconvex-sibsub`

Build failure for gh-release crates.io dependency

Hey both, Unfortunately I don't think I am of much help either. @lixitrixi if you are distributing pre-compiled binaries and want z3 statically linked in, you might be better off...

BorrowSquash pass to reorder and remove redundant borrows on borrow_arrays

I agree this looks much simpler! > Just record the new return node in borrowed. Where exactly do you record this? Is that the `Option` that you mention within a...

feat: Add badgerv2_unstable feature, RewriteSpace and CommitFactory

After trying out a lot of approaches, I've chosen to pull the `z3` compiled libraries from the z3 GitHub release (rather than asking the user to install it system-wide, or...

Add metadata specification document with current and planned keys

https://github.com/CQCL/hugr/pull/2448 added `core.title` to preserve private functions names when exporting. @zrho can you add it to the list above?