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

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

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

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

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

Added QASM3 adder example

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

The code to detect the type is correct in detecting Memref type or not but the below code **always** does a LoadOp.

In the case of non-memref type current value, it's causing seg-fault in LLVM internal code....

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

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

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

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

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

While having an LLVM build with assert on, fixing those asserts:

- extraneous eraseOp

- unused variable which is actually an error (cannot get Int/Float bit width of a memref type)

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

On Summit, looks like the Clang-CSP was not able to link properly at the final linking phase. So just having an option to use the system compiler if needed.

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

Paramaterized gate definition segfault fixed

* Added explanatory comments
* Pushed f64 to the top of the for loop body

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

fixes #220

Using SCF ForOp to compute the integer power

The reason is that CFG block-based implementation is not compatible when this is nested inside a loop construct.
e.g., YieldOp at the end needs to be aware of which block is the exit one.

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

Prototype implementation of execution validation using mirror circuit

I copied this Cmake boilerplate snippet but forgot to delete it.

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

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

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

As the first prototype, I only expose a single flag to enable validation if NISQ kernel execution.

If enabled, kernel execution (NISQ) will be accompanied by Pauli-randomized mirror circuits to determine if the backend can produce the expected readout.

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

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

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

support all gate types and add a deuteron ansatz check

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

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

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

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

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

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

Fix eigen indexing and add missing u3 inverse

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

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

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

- helper to compute the pseudo inverse and tracking the net-pauli as the pauli gate commuting through

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