Skip to content

QCEC 2.2.1 Release: Bugfixes and better Logging

Choose a tag to compare

@burgholzer burgholzer released this 08 Feb 21:26
· 919 commits to main since this release
335bcee

This small release improves/fixes the internal equivalence checking flow logic for inferring a final result from the results of all individual checkers (fixes #240).
It also features more useful logging messages in some corner cases and issues a warning if the compilation flow verification scheme is used, but the circuits under consideration contain no measurements.

What's Changed

Full Changelog: v2.2.0...v2.2.1