The procedure was not properly taking into account non-IBM gateset, i.e., 2-q gates may not be CNOT.

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

The tracking map for phase-poly optimization loop was placed at a wrong scope hence was not cleared appropriately.

Add some verbose logging to assist debugging in the future.

Also, add a unit test case for the reported case.

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

This is the optimization routine #4 in https://arxiv.org/pdf/1710.07345.pdf



Basically, it's a 3-step process:

- Identify the subcircuit (only contains X, CNOT, or Rz gates)
(this includes circuit pruning)

- Find the boolean polynomials for each Rz gate.

- Merge those Rz gates that have the same boolean polynomial.

Also, added unit tests to check the execution.

Fixed IRToGraph visitor to handle Identity gate and to output error if it encounters an unknown gate. This prevents it from silently ignoring those unknown gates (could create mismatches between graph and circuit views)

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Adding IRTransformation to contributable services from python, adding example wrapping qiskit cx-cancellation

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

Updates to IRTransformation for placement and optimization, cleaned up python binding infrastructure

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>