qir-alliance / qir-spec

QIR specification defining how to represent quantum programs within the LLVM IR
Other
68 stars 19 forks source link

Specification of a Base Profile (replacing Profile A in the spec) #7

Open bettinaheim opened 2 years ago

bettinaheim commented 2 years ago

A profile of a specification is a subset of the specification that defines a coherent set of functionalities and capabilities that might be offered by a system. Defining profiles allows a specification to be forward-looking and expansive without requiring implementations to support the full specification. Profiles also provide a roadmap for implementors by specifying stages they can progress through that will be useful to consumers of the specification.

We are currently working on a complete and comprehensive specification that defines the minimal requirements to support defining and executing quantum programs. This specification will replace what is drafted as Profile A in the current specification (v0.1).

For more information about the goals, requirements, expected outcomes, as well as what is in an out of scope for this work, please take a look at the workstream definition. For more information about workstreams and how to get involved, we refer to the QIR Alliance org page. Please also share input or ask questions around defining a Base Profile in the form of comments on this issue.

bettinaheim commented 2 years ago

This work is now officially in progress and the working group has started the discussion. I created a draft PR with an early outline for the purpose of discussion here: https://github.com/qir-alliance/qir-spec/pull/12. Please comment and discuss. We will update the document as the work progresses based on the working group discussions and comments on the draft PR.

LaurentAjdnik commented 2 years ago

I created a draft PR with an early outline for the purpose of discussion here: #7.

I think you meant #12 instead (#7 being the current issue).