LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
Loading...
Searching...
No Matches
LLZKValidationPasses.capi.h.inc
Go to the documentation of this file.
1
2
/* Autogenerated by mlir-tblgen; don't manually edit. */
3
4
#include "mlir-c/Pass.h"
5
6
#ifdef __cplusplus
7
extern
"C"
{
8
#endif
9
10
// Registration for the entire group
11
MLIR_CAPI_EXPORTED
void
mlirRegisterLLZKValidationPasses
(
void
);
12
13
14
/* Create LLZKValidation Pass. */
15
MLIR_CAPI_EXPORTED MlirPass
mlirCreateLLZKValidationMemberWriteValidatorPass
(
void
);
16
MLIR_CAPI_EXPORTED
void
mlirRegisterLLZKValidationMemberWriteValidatorPass
(
void
);
17
18
19
20
#ifdef __cplusplus
21
}
22
#endif
mlirRegisterLLZKValidationPasses
MLIR_CAPI_EXPORTED void mlirRegisterLLZKValidationPasses(void)
Definition
LLZKValidationPasses.capi.cpp.inc:6
mlirCreateLLZKValidationMemberWriteValidatorPass
MLIR_CAPI_EXPORTED MlirPass mlirCreateLLZKValidationMemberWriteValidatorPass(void)
Definition
LLZKValidationPasses.capi.cpp.inc:10
mlirRegisterLLZKValidationMemberWriteValidatorPass
MLIR_CAPI_EXPORTED void mlirRegisterLLZKValidationMemberWriteValidatorPass(void)
Definition
LLZKValidationPasses.capi.cpp.inc:13
build
include
llzk
Validators
LLZKValidationPasses.capi.h.inc
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.