Skip to content

Releases: inQWIRE/SQIR

v1.1.0

03 Aug 22:59
@khieta khieta
v1.1.0
9187825
Compare
Choose a tag to compare
v1.1.0 Latest
Latest

Minor updates to get proofs working with the 1.1.0 release of QuantumLib.

Assets 2
Loading

v1.0.0

08 Jul 13:58
@khieta khieta
v1.0.0
2643589
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
v1.0.0

The first official release of the SQIR/VOQC projects. All code has been tested with Coq versions 8.12-8.15 and the repository includes no Admitted lemmas. This version of the code matches what is described in Kesha’s dissertation.

Assets 2
Loading