Skip to content

Release v1.7.0: Bugfixes and Modernization

Choose a tag to compare

View all tags
@burgholzer burgholzer released this 27 Apr 21:23
· 1573 commits to main since this release
v1.7.0
f557687
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

This release fixes several bugs:

  • Circuits containing measurements and barriers could not be mapped due to the non-unitary nature of these gates
  • A bug in the heuristic mapper prevented it from correctly tracking the number of additional gates
  • Circuits containing only single-qubit gates could not be mapped by the exact mapper
  • Execution was not properly halted whenever the exact mapper did not return a valid result (timeout or unsat)
  • The search space limitation feature had a serious bug that prevented it from creating proper SAT instances in some cases
  • If the exact mapper found a solution that requires no overhead, it still tried out every possible combination of possible subsets.
  • sx and sxdg gates in .qasm files were not natively supported

In addition, this release modernizes the build and deployment configurations to be up-to-date with our other projects:

  • the README is updated with the new TUM information
  • the license is updated
  • z3 has been updated to version 3.8.16
  • versioning is now handled with setuptools-scm
  • ninja is now used per default for building the python package

What Else Has Changed

Full Changelog: v1.6.0...v1.7.0

Contributors

dependabot
Assets 2
Loading