MQT QCEC - A tool for Quantum Circuit Equivalence Checking
MIT License
Bot releases are visible (Hide)
Quite a big release for QCEC. Highlights include:
uv
as a package manager in CIpybind11>=2.12
uv
in CI @burgholzer (#384)uv
in CI @burgholzer (#384)sp-repo-review
to pre-commit checks @burgholzer (#371)sp-repo-review
to pre-commit checks @burgholzer (#371)pybind11>=2.12
@burgholzer (#383)Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.5.0...v2.6.0
Published by github-actions[bot] 8 months ago
This release marks mqt-qcec's support for Qiskit 1.0 and additionally contains some feature extension to the ZX-based equivalence checker (such as extended gate support).
Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.4.5...v2.5.0
Published by github-actions[bot] 8 months ago
mqt-core
version @burgholzer (#345)TaskManager
interface @burgholzer (#349)TaskManager
interface @burgholzer (#349)mqt-core
@burgholzer (#350)mqt-core
version @burgholzer (#345)Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.4.4...v2.4.5
Published by github-actions[bot] 10 months ago
Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.4.3...v2.4.4
Published by github-actions[bot] 12 months ago
This brings the latest features from mqt-core to QCEC. This includes
QuantumComputation
API that increases C++ usabilitymqt-core
version @pehamTom (#322)scikit-build-core
@burgholzer (#328)scikit-build-core
@burgholzer (#328)mqt-core
version @pehamTom (#322)Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.4.2...v2.4.3
Published by github-actions[bot] about 1 year ago
Just a small bugfix release.
Proportional
strategy for empty circuit @burgholzer (#317)hmtl_baseurl
setting from RtD config @burgholzer (#314)Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.4.1...v2.4.2
Published by github-actions[bot] about 1 year ago
manylinux
wheels @burgholzer (#310)manylinux
wheels @burgholzer (#310)manylinux
wheels @burgholzer (#310)Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.4.0...v2.4.1
Published by github-actions[bot] about 1 year ago
This release switches the project from setuptools
to the modern scikit-build-core
. This brings a way better development experience with faster editable rebuilds, no more setup.py
and MANIFEST.in
files, and more. See #301 for some more details.
It also switches the CI to the reusable workflows introduced in MQT Core, which is (more-and-more) truly becoming the backbone of the MQT. Build caching is now enabled for all CI workflows, change detection only runs those flows that are required for the given changes, PyPI publishing uses trusted publishing now, and many more. Also see #301 for more details.
Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.3.1...v2.4.0
Published by github-actions[bot] about 1 year ago
This small bugfix release fixes the Cirrus CI PyPI token that was missing due to the move from qcec
to mqt-qcec
.
Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.3.0...v2.3.1
Published by github-actions[bot] about 1 year ago
This release brings three main updates to MQT QCEC
furo
theme for documentation @burgholzer (#286)faa00f1
to cc193f1
@dependabot (#279)866a3c3
to faa00f1
@dependabot (#271)Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.2.3...v2.3.0
Published by github-actions[bot] over 1 year ago
std::async
@burgholzer (#263)db082b6
to 866a3c3
@dependabot (#262)db082b6
to 866a3c3
@dependabot (#262)target-version
inference @burgholzer (#255)Full Changelog: https://github.com/cda-tum/qcec/compare/v2.2.2...v2.2.3
Published by github-actions[bot] over 1 year ago
merge_group
to workflow configs @burgholzer (#242)90a3445
to db082b6
@dependabot (#249)Full Changelog: https://github.com/cda-tum/qcec/compare/v2.2.1...v2.2.2
Published by burgholzer over 1 year ago
This small release improves/fixes the internal equivalence checking flow logic for inferring a final result from the results of all individual checkers (fixes #240).
It also features more useful logging messages in some corner cases and issues a warning if the compilation flow verification scheme is used, but the circuits under consideration contain no measurements.
Full Changelog: https://github.com/cda-tum/qcec/compare/v2.2.0...v2.2.1
Published by burgholzer over 1 year ago
This release drops support for Python 3.7 (in accordance with its deprecation in Qiskit).
Furthermore, it contains some internal usability updates and resolves a couple of outstanding issues.
EquivalenceCheckingManager
by @burgholzer in https://github.com/cda-tum/qcec/pull/233
Full Changelog: https://github.com/cda-tum/qcec/compare/v2.1.3...v2.2.0
Published by burgholzer almost 2 years ago
This release brings some quality of life improvements to the internals of the QCEC library.
First of all, it updates the core/intermediate-representation library (QFR) to its latest version, which is now much more independent from the underlying DD package thanks to cda-tum/qfr#244. The core library itself has seen quite some internal updates and code quality fixes.
Secondly, this PR adds better templating to the DD-related functions that allows for better IDE/autocompletion support.
Last but not least, it updates the CMake structure of the project based on cda-tum/dd_package/pull/125 as well as cda-tum/qfr/pull/246 to include more warnings, a simpler structure, unified compilation options and much more.
Full Changelog: https://github.com/cda-tum/qcec/compare/v2.1.2...v2.1.3
Published by burgholzer almost 2 years ago
Full Changelog: https://github.com/cda-tum/qcec/compare/v2.1.1...v2.1.2
Published by burgholzer almost 2 years ago
This tiny release fixes a bug in the ZX-checker that led to false positives (fix by @pehamTom in https://github.com/cda-tum/qcec/pull/201).
Full Changelog: https://github.com/cda-tum/qcec/compare/v2.1.0...v2.1.1
Published by burgholzer almost 2 years ago
This release brings lots of CI/CD improvements to QCEC. Most importantly, with this release QCEC offers binary wheels for all platforms that Qiskit offers them. Furthermore, it drops the superfluous retworkx
requirement from QCEC.
s390x
and ppc64le
wheels by @burgholzer in https://github.com/cda-tum/qcec/pull/198
musllinux
wheels are no longer available as of this release since Qiskit does not provide them as wellFull Changelog: https://github.com/cda-tum/qcec/compare/v2.0.0...v2.1.0
Published by burgholzer almost 2 years ago
Should be good now.
Published by burgholzer almost 2 years ago
Another try for publishing.