package voqc

You can search for identifiers within the package.

in-package search v0.2.0

A verified optimizer for quantum circuits (VOQC)

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (4)

Authors

K

Kesha Hietala

Maintainers

K

kesha@cs.umd.edu

Sources

sha256=775c805a06491ba3f46d3d752902acaffdf0d505d842874d68bed87df45c079c

sha512=01949ab400300b638d6a09969f922824336c2428cd0979c6cc786b027d806ef580486effe2179caa02e19a96c4e363626568c9f246b835183df420f0b53a2480

doc/CHANGES.html

0.2.1 (2021-06-21)

Updated to the most recent version of SQIR & extracted using Coq v8.13.2.
The only change in SQIR that impacts the behavior of mlvoqc is that Optimize1qGates now merges as many gates as possible instead of just two at a time.

0.2.0 (2021-04-07)

Various updates to documentation and scripts.
Switched to using dune-release for publishing.

0.1 (2021-03-30)

Initial release.

On This Page

0.2.0 (2021-04-07)
0.1 (2021-03-30)