v1.0.0

MQT Debugger 1.0.0 Release

This is the initial release of the MQT Debugger. It allows developers to interactively debug OpenQASM 2.0 code and supports different types of assertions that can be added to quantum programs and checked during simulated execution.
This repository also provides a DAP Server that can be used to integrate the debugging capabilities into IDEs such as Visual Studio Code or CLion.

For failing assertions, possible error locations are automatically inferred as proposed in [1].
Additionally, assertions provided by the developer can be refined automatically based on the strategies proposed in [2].

[1] D. Rovara, L. Burgholzer, and R. Wille "A Framework for Debugging Quantum Programs", arXiv, 2024
[2] D. Rovara, L. Burgholzer, and R. Wille "Automatically Refining Assertions for Efficient Debugging of Quantum Programs", arXiv, 2024

What's Changed

• Implement a DAP Server and python bindings by @DRovara in #1
• Add CI/CD Pipeline and Tests by @DRovara in #2
• chore(deps): bump cda-tum/mqt-workflows from 1.1.5 to 1.2.1 in the github-actions group by @dependabot in #4
• fix: 🐛 Fix bug that prevents breakpoints to be hit inside custom gate definition by @DRovara in #7
• fix 🐛 Fix bug on "gate" in gate names by @DRovara in #8
• Improve codecov results by @DRovara in #9
• ⬆️ Update cda-tum/mqt-core by @github-actions in #13
• chore(deps): bump actions/attest-build-provenance from 1.4.0 to 1.4.1 in the github-actions group across 1 directory by @dependabot in #14
• fix: 🐛 Fix the Substate Vector Problem by @DRovara in #16
• chore(deps): bump actions/attest-build-provenance from 1.4.1 to 1.4.2 in the github-actions group by @dependabot in #15
• ⬆️ Update cda-tum/mqt-core by @github-actions in #17
• test: ✅ Add and update tests to increase coverage by @DRovara in #18
• ✨ Upgrade Diagnosis Capabilities by @DRovara in #20
• ✨ Support Register Arguments in Assertions by @DRovara in #21
• 📝 Add Documentation by @DRovara in #24
• chore(deps): bump the github-actions group across 1 directory with 2 updates by @dependabot in #22
• chore(deps): bump cda-tum/mqt-workflows from 1.4.0 to 1.4.4 in the github-actions group by @dependabot in #25
• ⬆️ Update cda-tum/mqt-core by @github-actions in #27
• chore(deps): bump cda-tum/mqt-workflows from 1.4.4 to 1.4.5 in the github-actions group by @dependabot in #28
• chore(deps): bump cda-tum/mqt-workflows from 1.4.5 to 1.4.6 in the github-actions group by @dependabot in #30
• chore(deps): bump the github-actions group across 1 directory with 2 updates by @dependabot in #34
• ✨ Add Assertion Refinement tools to MQT Debugger by @DRovara in #35
• chore(deps): bump the github-actions group across 1 directory with 2 updates by @dependabot in #38

Full Changelog: https://github.com/cda-tum/mqt-debugger/commits/v1.0.0