Up
–
Package index
»
voqc
» CHANGES
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)
0.1 (2021-03-30)
voqc
CHANGES
README
Library
voqc
Voqc
Sources
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.