Ritu Thombre

Segmentation fault and bus error when running qcec

3

### Environment information OS: MacOS MQT version: 2.6.0 Compiler: C++ ### Description I'm trying to run a circuit equivalence check for two particular circuits (Steane code). There are no mid-circuit...

Equivalence checking with a certain restriction

2

### Environment information OS: MacOS MQT version: 2.6.0 Compiler: C++ ### Description I'm trying to compile circuits with a certain restriction that measurements can only be performed using certain qubits....

Different behaviours when measuring all qubits and measuring some qubits

1

### Environment information OS: MacOS MQT version: 2.6.0 Compiler: C++ ### Description Running Steane code for bit-flip detection. When transpiled using Qiskit transpile and custom backend: 1. If all qubits...

Different behaviour with and without barriers

1

### Environment information OS: MacOS MQT version: 2.6.0 Compiler: C++ ### Description This is related to the earlier [issue 424](https://github.com/cda-tum/mqt-qcec/issues/424) I'm trying to run a circuit equivalence check for two...