CIRCT
20.0.0git
|
Go to the source code of this file.
Namespaces | |
circt | |
The InstanceGraph op interface, see InstanceGraphInterface.td for more details. | |
Macros | |
#define | GEN_PASS_DECL_CONVERTCOMBTOSMT |
Functions | |
void | circt::populateCombToSMTConversionPatterns (TypeConverter &converter, RewritePatternSet &patterns) |
Get the HW to SMT conversion patterns. More... | |
#define GEN_PASS_DECL_CONVERTCOMBTOSMT |
Definition at line 21 of file CombToSMT.h.