LLZK
0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
LLZKValidationPasses.capi.cpp.inc
Go to the documentation of this file.
1
/* Autogenerated by mlir-tblgen; don't manually edit. */
2
//===----------------------------------------------------------------------===//
3
// LLZKValidation Group Registration
4
//===----------------------------------------------------------------------===//
5
6
void
mlirRegisterLLZKValidationPasses
(
void
) {
7
registerLLZKValidationPasses();
8
}
9
10
MlirPass
mlirCreateLLZKValidationMemberWriteValidatorPass
(
void
) {
11
return
wrap(
llzk::createMemberWriteValidatorPass
().release());
12
}
13
void
mlirRegisterLLZKValidationMemberWriteValidatorPass
(
void
) {
14
registerMemberWriteValidatorPass();
15
}
16
mlirRegisterLLZKValidationMemberWriteValidatorPass
void mlirRegisterLLZKValidationMemberWriteValidatorPass(void)
Definition
LLZKValidationPasses.capi.cpp.inc:13
mlirCreateLLZKValidationMemberWriteValidatorPass
MlirPass mlirCreateLLZKValidationMemberWriteValidatorPass(void)
Definition
LLZKValidationPasses.capi.cpp.inc:10
mlirRegisterLLZKValidationPasses
void mlirRegisterLLZKValidationPasses(void)
Definition
LLZKValidationPasses.capi.cpp.inc:6
llzk::createMemberWriteValidatorPass
std::unique_ptr< mlir::Pass > createMemberWriteValidatorPass()
Definition
LLZKValidationPasses.cpp:83
build
include
llzk
Validators
LLZKValidationPasses.capi.cpp.inc
Generated by
1.14.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.