Matthew Amy

Re: the question of `gate` versus `def`, can't `unitary` declarations be viewed as defining a family of unitary matrices indexed by classical parameters? This makes the feature strictly more powerful...

So long as the parameters of a gate are (implicitly or explicitly) typed, I see no need for explicit syntax to "turn off" broadcasting with strategy 1. Unless there are...

Currently it can not. This is due to a limitation of the openQASM 2.0 language, which will (hopefully) be fixed in openQASM 3.0 (issue [#323](https://github.com/Qiskit/openqasm/issues/323)), where gates can only take...

@DevelopDaily Absolutely it would be nice to have this optimization (and others)! Curiously, I thought we already had something that would do this in ```staq```. I just had a look...

Feynver doesn't support internal measurements at the moment. The code to perform the verification exists, I just haven't gotten around to hooking it all up. Marking this as a feature...

@Gurleenp, can you confirm the compiler options you were using so we can narrow down where the variances are occurring? The layout and mapping algorithms in particular are sensitive to...

Thanks for the additional information! We'll take a look and see if anything beyond the algorithmic non-determinism is happening.

Thanks @jlunder! Just going through your code now. Going to prioritize getting a working example up and running and then I'll go through in more detail and make comments.