-
Huber, Joseph authored
Summary: This patch adds support for an IR verification pass to determine if two IR modules are functionally equivalent. This initial implementation adds a plugin implementing this interface using the qcec project https://github.com/iic-jku/qcec. This is enabled with the CMake option ENABLE_QCEC and requires an install of qcec project along with https://github.com/nlohmann/json . There are two options to point to the root of these installations. So, a full build using these will require the following cmake options `cmake ../ -DXACC_ENABLE_QCEC -DQCEC_INSTALL_ROOT=./ -DJSON_INSTALL_ROOT=./` Signed-off-by: Joseph Huber <jhuber6@vols.utk.edu>
f5bd40db