LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
LLZKValidationPasses.capi.cpp.inc File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void mlirRegisterLLZKValidationPasses (void)
MlirPass mlirCreateLLZKValidationMemberWriteValidatorPass (void)
void mlirRegisterLLZKValidationMemberWriteValidatorPass (void)

Function Documentation

◆ mlirCreateLLZKValidationMemberWriteValidatorPass()

MlirPass mlirCreateLLZKValidationMemberWriteValidatorPass ( void )

Definition at line 10 of file LLZKValidationPasses.capi.cpp.inc.

◆ mlirRegisterLLZKValidationMemberWriteValidatorPass()

void mlirRegisterLLZKValidationMemberWriteValidatorPass ( void )

Definition at line 13 of file LLZKValidationPasses.capi.cpp.inc.

◆ mlirRegisterLLZKValidationPasses()

void mlirRegisterLLZKValidationPasses ( void )

Definition at line 6 of file LLZKValidationPasses.capi.cpp.inc.