cda-tum / mqt-qcec

MQT QCEC - A tool for Quantum Circuit Equivalence Checking
https://mqt.readthedocs.io/projects/qcec
MIT License
90 stars 21 forks source link

✨ Switch to `mqt-core` Python package #432

Open burgholzer opened 2 months ago

burgholzer commented 2 months ago

Description

This is an alternative to #355 and hopefully marks the final try of directly incorporating the mqt-core Python package. See #355 and #352 for some history on this topic.

Checklist:

codecov[bot] commented 2 months ago

Codecov Report

Attention: Patch coverage is 95.50562% with 4 lines in your changes missing coverage. Please review.

Project coverage is 95.3%. Comparing base (5ba703b) to head (e22ad39).

Files with missing lines Patch % Lines
src/mqt/qcec/__init__.py 88.8% 2 Missing :warning:
src/mqt/qcec/parameterized.py 96.8% 2 Missing :warning:
Additional details and impacted files [![Impacted file tree graph](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/432/graphs/tree.svg?width=650&height=150&src=pr&token=eKL7Ya7iep&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum)](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/432?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) ```diff @@ Coverage Diff @@ ## main #432 +/- ## ======================================= - Coverage 95.4% 95.3% -0.1% ======================================= Files 40 40 Lines 1834 1844 +10 Branches 223 223 ======================================= + Hits 1751 1759 +8 - Misses 83 85 +2 ``` | [Flag](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/432/flags?src=pr&el=flags&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | Coverage Δ | | |---|---|---| | [cpp](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/432/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | `95.9% <ø> (ø)` | | | [python](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/432/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | `93.4% <95.5%> (-0.4%)` | :arrow_down: | | [Files with missing lines](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/432?dropdown=coverage&src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | Coverage Δ | | |---|---|---| | [src/mqt/qcec/verify.py](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/432?src=pr&el=tree&filepath=src%2Fmqt%2Fqcec%2Fverify.py&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum#diff-c3JjL21xdC9xY2VjL3ZlcmlmeS5weQ==) | `100.0% <100.0%> (ø)` | | | [src/mqt/qcec/verify\_compilation\_flow.py](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/432?src=pr&el=tree&filepath=src%2Fmqt%2Fqcec%2Fverify_compilation_flow.py&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum#diff-c3JjL21xdC9xY2VjL3ZlcmlmeV9jb21waWxhdGlvbl9mbG93LnB5) | `100.0% <ø> (ø)` | | | [src/mqt/qcec/\_\_init\_\_.py](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/432?src=pr&el=tree&filepath=src%2Fmqt%2Fqcec%2F__init__.py&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum#diff-c3JjL21xdC9xY2VjL19faW5pdF9fLnB5) | `91.3% <88.8%> (-8.7%)` | :arrow_down: | | [src/mqt/qcec/parameterized.py](https://app.codecov.io/gh/cda-tum/mqt-qcec/pull/432?src=pr&el=tree&filepath=src%2Fmqt%2Fqcec%2Fparameterized.py&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum#diff-c3JjL21xdC9xY2VjL3BhcmFtZXRlcml6ZWQucHk=) | `94.5% <96.8%> (-0.4%)` | :arrow_down: |