51 registerCIRCTConversionPasses();
54 registerCIRCTTransformsPasses();
57 registerLECTransformsPasses();
60 registerBMCTransformsPasses();
63 aig::registerPasses();
64 arc::registerPasses();
65 calyx::registerPasses();
66 comb::registerPasses();
68 emit::registerPasses();
70 firrtl::registerPasses();
71 fsm::registerPasses();
72 handshake::registerPasses();
74 kanagawa::registerPasses();
75 llhd::registerPasses();
76 moore::registerPasses();
77 msft::registerPasses();
79 pipeline::registerPasses();
80 rtg::registerPasses();
81 seq::registerPasses();
82 sim::registerPasses();
83 ssp::registerPasses();
85 systemc::registerPasses();
86 verif::registerPasses();