|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#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. | |
| MLIR_CAPI_EXPORTED MlirOperation | llzkInclude_IncludeOpCreateInferredContext (MlirLocation loc, MlirStringRef name, MlirStringRef path) |
| Creates an IncludeOp pointing to another MLIR file. | |
| MLIR_CAPI_EXPORTED MlirOperation llzkInclude_IncludeOpCreateInferredContext | ( | MlirLocation | loc, |
| MlirStringRef | name, | ||
| MlirStringRef | path ) |
Creates an IncludeOp pointing to another MLIR file.
Definition at line 33 of file Include.cpp.
| MLIR_DECLARE_CAPI_DIALECT_REGISTRATION | ( | Include | , |
| llzk__include | ) |
Get reference to the LLZK include dialect.