Skip to content

Releases: munich-quantum-toolkit/debugger

MQT Debugger 1.2.0 Release

15 Oct 16:57
Immutable release. Only release title and notes can be modified.
c656bf0

Choose a tag to compare

👀 What Changed

🚀 Features and Enhancements

📄 Documentation

🤖 CI

⬆️ Dependencies

93 changes
Read more

MQT Debugger 1.1.0 Release

06 May 10:34

Choose a tag to compare

This new release adds assertion compilation features and updates the underlying MQT Core dependency to its newest version.

The assertion compilation features allow OpenQASM programs with assertions to be executed on real quantum computers. For more information, please view the documentation on "Runtime Verification".

🚨 Breaking Changes

The C++ implementation now defines namespaces for the MQT Debugger names. To refer to them from outside, please use the namespace mqt::debugger

👀 What Changed

  • 🏗️ Update repository and project setup @DRovara (#52)
  • ✨ Add assertion compilation features @DRovara (#49)
  • 📝 Update mqt-core links in docs/cmake to new organisation @DRovara (#46)

📄 Documentation

⬆️ Dependencies

  • ⬆️ Update munich-quantum-toolkit/core @github-actions[bot] (#47)
  • chore(deps): bump actions/attest-build-provenance from 2.2.3 to 2.3.0 in the github-actions group across 1 directory @dependabot[bot] (#51)
  • chore(deps): bump actions/attest-build-provenance from 2.1.0 to 2.2.3 in the github-actions group across 1 directory @dependabot[bot] (#48)
  • ⬆️ Update cda-tum/mqt-core @github-actions[bot] (#43)
  • chore(deps): bump the github-actions group across 1 directory with 2 updates @dependabot[bot] (#41)

Full Changelog: v1.0.1...v1.0.2

MQT Debugger 1.0.1 Release

11 Dec 13:53

Choose a tag to compare

Updated version with working ReadTheDocs

Full Changelog: v1.0.0...v1.0.1

v1.0.0

10 Dec 13:02
f2e4677

Choose a tag to compare

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