|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk-c/Support.h"#include <mlir-c/IR.h>#include <mlir-c/Support.h>#include "llzk/Dialect/Include/IR/Ops.capi.h.inc"#include "llzk/Dialect/Include/Transforms/InlineIncludesPass.capi.h.inc"Go to the source code of this file.
Functions | |
| MLIR_DECLARE_CAPI_DIALECT_REGISTRATION (Include, llzk__include) | |
| Get reference to the LLZK include dialect. | |
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Include, IncludeOp, InferredContext, MlirStringRef name, MlirStringRef path) | |
| Builds an IncludeOp pointing to another MLIR file. | |
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD | ( | Include | , |
| IncludeOp | , | ||
| InferredContext | , | ||
| MlirStringRef | name, | ||
| MlirStringRef | path ) |
Builds an IncludeOp pointing to another MLIR file.
| MLIR_DECLARE_CAPI_DIALECT_REGISTRATION | ( | Include | , |
| llzk__include | ) |
Get reference to the LLZK include dialect.