search

quil-lang / quilc

The optimizing Quil compiler.
Apache License 2.0
454 stars 73 forks source link

Scaffolding for CL-QUIL/DISCRETE #816

Closed stylewarning closed 2 years ago

stylewarning commented 2 years ago

This adds implementation and test SCAFFOLDING for "discrete compilation"—compilation of Quil programs to discrete gate sets—to QUILC. This does not actually contain an implementation, except for some minor defining functions.

The implementation will come later as a collaboration with other contributors. This PR is intended to help move that along by splitting the work up a bit.

stylewarning commented 2 years ago

Might be clearer to use naming specific to that set of gates rather than the general "discrete", but only a minor point

I thought about that and I actually wanted to keep that abstracted away... Not sure if that's a good idea or not, but I'd like for the API to require the user to interrogate what that gate set is, since it may (?) change.