-
Notifications
You must be signed in to change notification settings - Fork 30
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Ancillary and garbage support #635
base: main
Are you sure you want to change the base?
Ancillary and garbage support #635
Conversation
…onstants and .garbage entries in .real file
…uts to inputs via output_permutation
Codecov ReportAttention: Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## main #635 +/- ##
=======================================
+ Coverage 87.0% 87.1% +0.1%
=======================================
Files 125 125
Lines 13781 14100 +319
Branches 2164 2214 +50
=======================================
+ Hits 11996 12294 +298
- Misses 1785 1806 +21
|
… removed from output permutation if output is marked as garbage
…ior to push of new changes
Please make sure to add appropriate tests covering your changes and to resolve all clang-tidy warnings. You can see the clang-tidy warnings in the "Files Changed" tab here on GitHub or here: https://github.com/cda-tum/mqt-core/actions/runs/9686994807?pr=635#summary-26730667014 Tests should probably go into their own new file here: https://github.com/cda-tum/mqt-core/tree/main/test/unittests similar to https://github.com/cda-tum/mqt-core/blob/main/test/unittests/test_qasm3_parser.cpp |
…SWAP. Small changes due to clang-tidy checks.
…e entries. Added validation that no IO with ident equal to any variable ident is defined and no duplicate variable ident is defined.
…stringified gates created in test
…t or must be marked as garbage.
…lso be reused for processing of gate list lines
…le idents instead of numeric qubit values (the latter are used in the corresponding functionality of the qasm_parser)
… line vector during processing of gate list entries
…h possible header component. Added check that no duplicate header components were defined.
…acters for in header as well as gate definitions
Description
Adds support for ancillary as well as garbage definitions to the
.real
file parser. Additionally, the default 1-1output_permutation
is update if matching entries in the.input
definitions exist for any.output
definition (see mqt-core documentation)Fixes #88
Checklist: