23#include "mlir/Target/SMTLIB/ExportSMTLIB.h"
25#ifndef CIRCT_INITALLTRANSLATIONS_H
26#define CIRCT_INITALLTRANSLATIONS_H
34 static bool initOnce = []() {
39 mlir::smt::registerExportSMTLIBTranslation();
void registerExportSystemCTranslation()
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()