LLZK 0.1.0
Veridise's ZK Language IR
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 mlirCreateLLZKValidationFieldWriteValidatorPass (void)
 
void mlirRegisterLLZKValidationFieldWriteValidatorPass (void)
 

Function Documentation

◆ mlirCreateLLZKValidationFieldWriteValidatorPass()

MlirPass mlirCreateLLZKValidationFieldWriteValidatorPass ( void )

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

◆ mlirRegisterLLZKValidationFieldWriteValidatorPass()

void mlirRegisterLLZKValidationFieldWriteValidatorPass ( 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.