|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Namespaces | |
| namespace | llzk |
| namespace | llzk::boolean |
Macros | |
| #define | GEN_PASS_DECL |
| #define | GEN_PASS_REGISTRATION |
| #define | GEN_PASS_DECL_LOWERBOOLQUANTIFIERSPASS |
Functions | |
| std::unique_ptr<::mlir::Pass > | llzk::boolean::createLowerBoolQuantifiersPass () |
| void | llzk::boolean::registerLowerBoolQuantifiersPass () |
| void | llzk::boolean::registerLowerBoolQuantifiersPassPass () |
| void | llzk::boolean::registerTransformationPasses () |
| #define GEN_PASS_DECL |
Definition at line 16 of file TransformationPasses.h.
| #define GEN_PASS_DECL_LOWERBOOLQUANTIFIERSPASS |
Definition at line 6 of file TransformationPasses.h.
| #define GEN_PASS_REGISTRATION |
Definition at line 17 of file TransformationPasses.h.