24#include "mlir/Target/SMTLIB/ExportSMTLIB.h"
26#ifndef CIRCT_INITALLTRANSLATIONS_H
27#define CIRCT_INITALLTRANSLATIONS_H
35 static bool initOnce = []() {
40 mlir::smt::registerExportSMTLIBTranslation();
void registerExportSystemCTranslation()
void registerExportAIGERTranslation()
Register the export-aiger MLIR translation.
void registerImportAIGERTranslation()
Register the import-aiger MLIR translation.
void registerArcModelInfoTranslation()
Registers CIRCT translation from Arc to JSON model info.
void registerToCalyxTranslation()
void registerTranslations()
Register all debug information emission flavors as from-MLIR translations.
void registerFromFIRFileTranslation()
void registerToFIRFileTranslation()
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
void registerAllTranslations()