mqt-qcec

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

MIT License

Downloads
17.7K
Stars
86

Bot releases are visible (Hide)

mqt-qcec - MQT QCEC 2.6.0 Release Latest Release

Published by github-actions[bot] 6 months ago

πŸ‘€ What Changed

Quite a big release for QCEC. Highlights include:

πŸš€ Features and Enhancements

  • ✨ Adopt uv in CI @burgholzer (#384)
  • ✨ Stripping DDs of their identity @burgholzer (#377)
  • ✨ Partial equivalence checking @reb-ddm (#375)
  • 🚸 allow using raw RST cells in jupyter notebooks @burgholzer (#370)

πŸ› Bug Fixes

  • πŸ› fix ZX-checker inadvertedly terminating early @burgholzer (#382)
  • 🩹 reduce timeouts for ZX timeout tests @burgholzer (#369)

πŸ“„ Documentation

  • 🚸 allow using raw RST cells in jupyter notebooks @burgholzer (#370)
  • πŸ“πŸŽ¨ better dark mode docs @burgholzer (#368)

πŸ€– CI

  • ✨ Adopt uv in CI @burgholzer (#384)
  • ✨ add sp-repo-review to pre-commit checks @burgholzer (#371)
  • πŸ”₯ remove Cirrus CI jobs @burgholzer (#367)

🧹 Code Quality

  • ✨ add sp-repo-review to pre-commit checks @burgholzer (#371)

⬆️ Dependencies

  • ⬆️ update to pybind11>=2.12 @burgholzer (#383)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#381)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#380)
  • Bump the submodules group with 1 update @dependabot (#379)
  • ✨ Stripping DDs of their identity @burgholzer (#377)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#378)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#376)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#374)
  • Bump the submodules group with 1 update @dependabot (#373)

Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.5.0...v2.6.0

mqt-qcec - QCEC 2.5.0 Release

Published by github-actions[bot] 8 months ago

πŸ‘€ What Changed

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).

πŸš€ Features and Enhancements

  • ✨ Support for Qiskit 1.0 @burgholzer (#364)

πŸ“¦ Packaging

  • ⬆️ update scikit-build-core to 0.8.1 @burgholzer (#365)

⬆️ Dependencies

  • Bump the submodules group with 1 update @dependabot (#366)
  • ✨ Support for Qiskit 1.0 @burgholzer (#364)
  • ⬆️ update scikit-build-core to 0.8.1 @burgholzer (#365)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#363)

Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.4.5...v2.5.0

mqt-qcec - QCEC 2.4.5 Release

Published by github-actions[bot] 8 months ago

πŸ‘€ What Changed

πŸš€ Features and Enhancements

  • ⚑ Eliminate garbage reduction in alternating checker @reb-ddm (#356)
  • ✨ Better dynamic circuit support @burgholzer (#346)
  • ⬆️ ✨ Update to latest mqt-core version @burgholzer (#345)

πŸ› Bug Fixes

  • πŸ› Properly reset task managers @burgholzer (#348)
  • ✨ Better dynamic circuit support @burgholzer (#346)

🧹 Code Quality

  • 🚨 fix Qiskit 0.46.0 deprecation warnings @burgholzer (#360)
  • 🚸🚨 Eliminate reference members and improve TaskManager interface @burgholzer (#349)

⬆️ Dependencies

  • Bump the github-actions group with 1 update @dependabot (#362)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#361)
  • Bump the submodules group with 1 update @dependabot (#359)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#358)
  • ⬆️ update mqt-core @burgholzer (#357)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#354)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#353)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#351)
  • 🚸🚨 Eliminate reference members and improve TaskManager interface @burgholzer (#349)
  • ⬆️ update mqt-core @burgholzer (#350)
  • ⬆️ ✨ Update to latest mqt-core version @burgholzer (#345)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#344)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#342)
  • Bump the github-actions group with 1 update @dependabot (#341)

Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.4.4...v2.4.5

mqt-qcec - QCEC 2.4.4 Release

Published by github-actions[bot] 10 months ago

πŸ‘€ What Changed

πŸš€ Features and Enhancements

  • πŸ”₯ remove check-sdist from pre-commit @burgholzer (#332)

πŸ› Bug Fixes

  • β¬†οΈπŸ©Ή Update mqt-core with a fix for ancillary qubit handling @burgholzer (#340)

πŸ“„ Documentation

  • πŸ“ fix up docs warnings @burgholzer (#338)
  • πŸ“ added project acknowledgements @burgholzer (#330)

πŸ€– CI

  • πŸ”₯ remove check-sdist from pre-commit @burgholzer (#332)

⬆️ Dependencies

  • β¬†οΈπŸ©Ή Update mqt-core with a fix for ancillary qubit handling @burgholzer (#340)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#339)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#337)
  • Bump the submodules group with 1 update @dependabot (#336)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#335)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#333)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#331)

Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.4.3...v2.4.4

mqt-qcec - QCEC 2.4.3 Release

Published by github-actions[bot] 12 months ago

πŸ‘€ What Changed

This brings the latest features from mqt-core to QCEC. This includes

  • extended gate support for the ZX-calculus checker (now also supports two-qubit rotation gates).
  • several small tweaks in the underlying DD package
  • a large-scale refactor of the internal QuantumComputation API that increases C++ usability

πŸš€ Features and Enhancements

  • πŸ‘½ Update to latest mqt-core version @pehamTom (#322)
  • πŸ‘½ adapt to new qiskit version. @pehamTom (#327)

πŸ€– CI

  • ✨ adopt ruff formatter and update ruff config @burgholzer (#324)

πŸ“¦ Packaging

  • ⬆️ update scikit-build-core @burgholzer (#328)

🧹 Code Quality

  • 🚨 small ruff updates @burgholzer (#329)
  • ✨ adopt ruff formatter and update ruff config @burgholzer (#324)

⬆️ Dependencies

  • ⬆️ update scikit-build-core @burgholzer (#328)
  • πŸ‘½ Update to latest mqt-core version @pehamTom (#322)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#326)
  • adapt to new qiskit version. @pehamTom (#327)
  • ✨ adopt ruff formatter and update ruff config @burgholzer (#324)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#320)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#319)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#318)

Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.4.2...v2.4.3

mqt-qcec - QCEC 2.4.2 Release

Published by github-actions[bot] about 1 year ago

πŸ‘€ What Changed

Just a small bugfix release.

πŸ› Bug Fixes

  • πŸ› Fix a div-by-zero in Proportional strategy for empty circuit @burgholzer (#317)
  • πŸ› Fixes a bug in the output permutation deduction for Qiskit circuits without measurements @burgholzer (https://github.com/cda-tum/mqt-core/pull/437)

πŸ“„ Documentation

  • 🩹 πŸ“ removes the hmtl_baseurl setting from RtD config @burgholzer (#314)

⬆️ Dependencies

  • Bump the submodules group with 1 update @dependabot (#313)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#315)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#312)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#311)

Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.4.1...v2.4.2

mqt-qcec - QCEC 2.4.1 Release

Published by github-actions[bot] about 1 year ago

πŸ‘€ What Changed

πŸ› Bug Fixes

  • πŸ› Fix broken manylinux wheels @burgholzer (#310)

πŸ€– CI

  • πŸ› Fix broken manylinux wheels @burgholzer (#310)

πŸ“¦ Packaging

  • πŸ› Fix broken manylinux wheels @burgholzer (#310)

⬆️ Dependencies

  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#309)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#308)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#306)

Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.4.0...v2.4.1

mqt-qcec - QCEC 2.4.0 Release

Published by github-actions[bot] about 1 year ago

πŸ‘€ What Changed

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.

πŸš€ Features and Enhancements

  • ♻️ Refactor Packaging and CI @burgholzer (#301)

πŸ“„ Documentation

  • ♻️ Refactor Packaging and CI @burgholzer (#301)

πŸ€– CI

  • ♻️ Refactor Packaging and CI @burgholzer (#301)

πŸ“¦ Packaging

  • ♻️ Refactor Packaging and CI @burgholzer (#301)

⬆️ Dependencies

  • ♻️ Refactor Packaging and CI @burgholzer (#301)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#303)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#300)

Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.3.1...v2.4.0

mqt-qcec - QCEC 2.3.1 Release

Published by github-actions[bot] about 1 year ago

πŸ‘€ What Changed

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

mqt-qcec - QCEC 2.3.0 Release

Published by github-actions[bot] about 1 year ago

πŸ‘€ What Changed

This release brings three main updates to MQT QCEC

  • 🐍 Support for Python 3.12
  • πŸ”§ Integration of the MQT Core library as the successor of the QFR library.
  • ⚑ Some performance improvements in the underlying DD package

πŸš€ Features and Enhancements

  • Bump pypa/cibuildwheel from 2.14 to 2.15 @dependabot (#298)
  • ✨ Update MQT Core @burgholzer (#294)

πŸ› Bug Fixes

  • 🩹 patch CI failure due to unconditional Qiskit deprecation warning @burgholzer (#297)
  • 🩹 Ignore DeprecationWarning in Qiskit code @burgholzer (#289)

πŸ“„ Documentation

  • πŸ“ Prepare docs for new release @burgholzer (#299)
  • πŸ“ Switch to furo theme for documentation @burgholzer (#286)

πŸ€– CI

  • 🩹 patch CI failure due to unconditional Qiskit deprecation warning @burgholzer (#297)

πŸ“¦ Packaging

  • Bump pypa/cibuildwheel from 2.14 to 2.15 @dependabot (#298)

⬆️ Dependencies

  • Bump pypa/cibuildwheel from 2.14 to 2.15 @dependabot (#298)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#295)
  • ✨ Update MQT Core @burgholzer (#294)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#293)
  • Bump pypa/cibuildwheel from 2.13 to 2.14 @dependabot (#292)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#291)
  • 🚚 Move to MQT Core package @burgholzer (#290)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#287)
  • Bump pypa/cibuildwheel from 2.13.0 to 2.13.1 @dependabot (#285)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#281)
  • Bump pypa/cibuildwheel from 2.12.3 to 2.13.0 @dependabot (#280)
  • Bump extern/qfr from faa00f1 to cc193f1 @dependabot (#279)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#278)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#277)
  • Bump codecov/codecov-action from 3.1.3 to 3.1.4 @dependabot (#276)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#275)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#274)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#272)
  • Bump extern/qfr from 866a3c3 to faa00f1 @dependabot (#271)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#270)
  • Bump pypa/cibuildwheel from 2.12.1 to 2.12.3 @dependabot (#269)
  • Bump codecov/codecov-action from 3.1.2 to 3.1.3 @dependabot (#268)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#267)
  • Bump codecov/codecov-action from 3.1.1 to 3.1.2 @dependabot (#266)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#265)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#264)

Full Changelog: https://github.com/cda-tum/mqt-qcec/compare/v2.2.3...v2.3.0

mqt-qcec - QCEC 2.2.3 Release

Published by github-actions[bot] over 1 year ago

πŸ‘€ What Changed

πŸš€ Features and Enhancements

  • 🚸 Ensure exception propagation from threads via std::async @burgholzer (#263)
  • Bump extern/qfr from db082b6 to 866a3c3 @dependabot (#262)

πŸ€– CI

  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#259)
  • πŸ”§ Update Release Drafter Configuration @burgholzer (#258)
  • 🩹 change PyPI upload option to kebab-case @burgholzer (#256)

⬆️ Dependencies

  • Bump extern/qfr from db082b6 to 866a3c3 @dependabot (#262)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#259)
  • 🩹 change PyPI upload option to kebab-case @burgholzer (#256)
  • Bump pypa/cibuildwheel from 2.12.0 to 2.12.1 @dependabot (#257)
  • ⬆️πŸͺ Update ruff and use automatic target-version inference @burgholzer (#255)

Full Changelog: https://github.com/cda-tum/qcec/compare/v2.2.2...v2.2.3

mqt-qcec - QCEC 2.2.2 Release

Published by github-actions[bot] over 1 year ago

What Changed πŸ‘€

πŸ› Bug Fixes

  • Fix segfault in ZX-checker when idle qubits are stripped @pehamTom (#253)

πŸ“„ Documentation

  • 🎨 Small dark-mode docs improvement @burgholzer (#247)
  • πŸ“ Small Docs Update @burgholzer (#244)
  • πŸ”§ Ruff Configuration Updates @burgholzer (#243)

πŸ€– CI

  • πŸ”§ Add release drafter workflow @burgholzer (#245)
  • πŸ”§ Ruff Configuration Updates @burgholzer (#243)
  • πŸ”§ add merge_group to workflow configs @burgholzer (#242)

⬆️ Dependencies

  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#254)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#252)
  • Bump extern/qfr from 90a3445 to db082b6 @dependabot (#249)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#248)
  • ⬆️πŸͺ update pre-commit hooks @pre-commit-ci (#246)
  • πŸ”§ Ruff Configuration Updates @burgholzer (#243)

Full Changelog: https://github.com/cda-tum/qcec/compare/v2.2.1...v2.2.2

mqt-qcec - QCEC 2.2.1 Release: Bugfixes and better Logging

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.

What's Changed

Full Changelog: https://github.com/cda-tum/qcec/compare/v2.2.0...v2.2.1

mqt-qcec - QCEC 2.2.0 Release: Python and Bugfix Updates

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.

What's Changed

Full Changelog: https://github.com/cda-tum/qcec/compare/v2.1.3...v2.2.0

mqt-qcec - QCEC 2.1.3 Release: Internal Library Improvements

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.

What's Changed

Full Changelog: https://github.com/cda-tum/qcec/compare/v2.1.2...v2.1.3

mqt-qcec - QCEC 2.1.2 Release: Better Python Typing and MQT Branding

Published by burgholzer almost 2 years ago

What's Changed

Full Changelog: https://github.com/cda-tum/qcec/compare/v2.1.1...v2.1.2

mqt-qcec - QCEC 2.1.1 Release: ZX-Checker Bugfix

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

mqt-qcec - QCEC 2.1.0 Release: More Wheels, Fewer Requirements, and Python 3.11

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.

Additions

Removals

Full Changelog: https://github.com/cda-tum/qcec/compare/v2.0.0...v2.1.0

mqt-qcec - QCEC 2.1.0 Release Candidate 4

Published by burgholzer almost 2 years ago

Should be good now.

mqt-qcec - QCEC 2.1.0 Release Candidate 3

Published by burgholzer almost 2 years ago

Another try for publishing.