Open j6k4m8 opened 3 years ago
Reading through the qsim code, I think this may not yet be possible — happy to close this issue if you like. (I also wonder if there's an easy form of this that can be done by dropping "breadcrumbs" during simulation?)
We have not worked on this yet, but in principle, it should be pretty easy to do by switching out QState and doing some sort of symbolic execution. (For a suitably restricted subset of the language, e.g., arbitrary while loops cannot be compiled to finite circuits.)
Very cool — good to know! I maaaaay look into this, but I think it's probably over my head. Thank you for the info!
I have been very excited to compile my silq experiments and run on the built-in simulator. In the interest of broadening to other simulators, I wonder if there has been any work on compiling to formats such as QASM or other circuit notation formats?
I think even the ability to compile to a non-standard output format (perhaps just a list of operations) would be extremely cool.
Amazing language!!