Confusion with SX and SQRT_X gate when converting QASM file to QHAL
Converting a QASM file with SX gates gives the wrong QHAL Opcode.
In qhal, Opcode.SX: Sx, is a consecutive S and X gate. This is used instead of the Opcode.SQRT_X when converting from QASM SX gates.
The easiest solution would be to change the conversion to SQRT_X but the definition of SX in QHAL is different from the usual understanding of sx - which I would almost always assume to be a SQRT_X gate.