52 registerCIRCTConversionPasses();
55 registerCIRCTTransformsPasses();
58 registerLECTransformsPasses();
61 registerBMCTransformsPasses();
64 aig::registerPasses();
65 arc::registerPasses();
66 calyx::registerPasses();
67 comb::registerPasses();
69 emit::registerPasses();
71 firrtl::registerPasses();
72 fsm::registerPasses();
73 handshake::registerPasses();
75 kanagawa::registerPasses();
76 llhd::registerPasses();
77 moore::registerPasses();
78 msft::registerPasses();
80 pipeline::registerPasses();
81 rtg::registerPasses();
82 seq::registerPasses();
83 sim::registerPasses();
84 ssp::registerPasses();
86 systemc::registerPasses();
87 verif::registerPasses();