CIRCT  19.0.0git
Namespaces | Macros
PassDetails.h File Reference
#include "circt/Dialect/HW/HWOps.h"
#include "mlir/Pass/Pass.h"
#include "circt/Dialect/HW/"
Include dependency graph for PassDetails.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


 This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.



Macro Definition Documentation



Definition at line 25 of file PassDetails.h.