Coder Social home page Coder Social logo

pu2wof / qat Goto Github PK

View Code? Open in Web Editor NEW

This project forked from qir-alliance/qat

1.0 0.0 0.0 19.09 MB

QIR compiler tools and optimization passes for targeting QIR to different hardware backends

Home Page: https://qir-alliance.github.io/qat/

License: MIT License

C++ 63.06% Python 4.06% Makefile 1.53% CMake 1.72% LLVM 18.61% Dockerfile 0.32% Starlark 2.85% Q# 7.86%

qat's Introduction

QIR Adaptor Tool

Linux CI Mac CI Documentation

License Release

Contributors Pulls QAT

Table of Contents

Purpose and terminology

The purpose of the tool contained in this repository is to provide means to manipulate the intermediate representation (IR) of quantum programs. We refer to these IRs as quantum IRs (QIRs). The main tool provided here is QIR adaptor tool (QAT) which allows one to transform one QIR to another QIR that fulfils certain requirements.

When we refer to a QIR in any of the documentation related to this tool, we do so irrespective of whether we represent the QIR though human readable text, the more storage-efficient bit-code format or in-memory representation. We note that all of these representations are semantically identical and for that reason, QAT is designed to work with all of them.

Building

For full instructions on dependencies and how to build, follow these instructions. In summary, the executable is built using baslisk:

bazelisk run //qir/qat:qat --config generic_clang --config release

and the Ubuntu based Doker image can be built:

bazelisk run //qir/qat:qat-image --config generic_clang --config release  --platforms=@//:linux-x86

This command will cross compile the qat executable for linux-x86 and add it to a docker image named bazel/qir/qat:qat-image.

Getting started

Once the project is built (see next sections), you can transform a QIR according to a profile as follows:

./qir/qat/Apps/qat --apply --profile base -S path/to/example.ll

Likewise, you can validate that a QIR follows a specification by running (Note, not implemented yet):

./qir/qat/Apps/qat --validate --profile base -S path/to/example.ll

Documentation

You can access the documentation here.

Feedback

If you have feedback about the content in this repository, please let us know by filing a new issue!

Contributing

There are many ways in which you can contribute to QAT, whether by contributing a feature or by engaging in discussions; we value contributions in all shapes and sizes! We refer to this document for guidelines and ideas for how you can get involved.

Contributing a pull request to this repo requires to agree to a Contributor License Agreement (CLA) declaring that you have the right to, and actually do, grant us the rights to use your contribution. We are still working on setting up a suitable CLA-bot to automate this process. A CLA-bot will automatically determine whether you need to provide a CLA and decorate the PR appropriately. Once it is set up, simply follow the instructions provided by the bot. You will only need to do this once.

Code of Conduct

This project has adopted the community covenant Code of Conduct. Please contact [email protected] for Code of Conduct issues or inquires.

qat's People

Contributors

troelsfr avatar swernli avatar bettinaheim avatar cesarzc avatar dependabot[bot] avatar

Stargazers

HLedgerBot avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.