#include "circt/Dialect/HW/HWOps.h"
#include "circt/Dialect/MSFT/MSFTOps.h"
#include "mlir/Pass/Pass.h"
#include "mlir/Pass/PassRegistry.h"
#include "circt/Dialect/MSFT/MSFTPasses.h.inc"
Go to the source code of this file.
|
| mlir |
|
| circt |
| This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.
|
|
| circt::msft |
|
◆ GEN_PASS_REGISTRATION
#define GEN_PASS_REGISTRATION |
Generate the code for registering passes.
Definition at line 50 of file MSFTPasses.h.