14 #ifndef CIRCT_CONVERSION_LTLTOCORE_H
15 #define CIRCT_CONVERSION_LTLTOCORE_H
18 #include "mlir/IR/BuiltinOps.h"
19 #include "mlir/Pass/Pass.h"
20 #include "mlir/Transforms/DialectConversion.h"
24 #define GEN_PASS_DECL_LOWERLTLTOCORE
25 #include "circt/Conversion/Passes.h.inc"
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
std::unique_ptr< mlir::Pass > createLowerLTLToCorePass()