Here is a list of all file members with links to the files they belong to:

A

B

C

D

E

F

G

H

I

K

L

M

N

O

P

R

S

T

U

V

W

- m -

• made : LICENSE.txt
• main() : llzk-lsp-server.cpp, llzk-opt.cpp, llzk-smt-check.cpp, llzk-tblgen.cpp, llzk-translate.cpp, llzk-witgen.cpp
• mapCapiTypeToBasicCppType() : CommonCAPIGen.cpp, CommonCAPIGen.h
• mapCppTypeToCapiType() : CommonCAPIGen.cpp, CommonCAPIGen.h
• marks : LICENSE.txt
• matchesMLIRClass() : CommonCAPIGen.cpp, CommonCAPIGen.h
• means() : LICENSE.txt
• medium : LICENSE.txt
• MERCHANTABILITY : LICENSE.txt
• MLIR_DECLARE_CAPI_DIALECT_REGISTRATION() : Array.h, Bool.h, Cast.h, Constrain.h, Felt.h, Function.h, Global.h, Include.h, LLZK.h, POD.h, Poly.h, RAM.h, String.h, Struct.h, Verif.h
• mlirCreateLLZKArrayTransformationArrayToScalarPass() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirCreateLLZKBoolTransformationLowerBoolQuantifiersPass() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirCreateLLZKIncludeTransformationInlineIncludesPass() : InlineIncludesPass.capi.cpp.inc, InlineIncludesPass.capi.h.inc
• mlirCreateLLZKPodTransformationPodToScalarPass() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirCreateLLZKPolymorphicTransformationEmptyTemplateRemovalPass() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirCreateLLZKPolymorphicTransformationFlatteningPass() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirCreateLLZKPolymorphicTransformationTypeVarInferencePass() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirCreateLLZKPolymorphicTransformationWildcardArraySpecializationPass() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirCreateLLZKStructTransformationInlineStructsPass() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirCreateLLZKTransformationComputeConstrainToProductPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirCreateLLZKTransformationEnforceNoMemberOverwritePass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirCreateLLZKTransformationFuseProductControlFlowPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirCreateLLZKTransformationInlineFreeFunctionsPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirCreateLLZKTransformationPolyLoweringPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirCreateLLZKTransformationRedundantOperationEliminationPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirCreateLLZKTransformationRedundantReadAndWriteEliminationPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirCreateLLZKTransformationRemoveUnusedDiscardableAllocationsPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirCreateLLZKTransformationUnusedDeclarationEliminationPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirCreateLLZKTransformationWhileToForPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirCreateLLZKValidationMemberWriteValidatorPass() : LLZKValidationPasses.capi.cpp.inc, LLZKValidationPasses.capi.h.inc
• MlirNotifyBlockInserted : Builder.h
• MlirNotifyOperationInserted : Builder.h
• mlirOpBuilderClearInsertionPoint() : Builder.cpp, Builder.h
• mlirOpBuilderCreate() : Builder.cpp
• mlirOpBuilderCreateWithListener() : Builder.cpp
• mlirOpBuilderDestroy() : Builder.cpp, Builder.h
• mlirOpBuilderGetContext() : Builder.cpp, Builder.h
• mlirOpBuilderGetInsertionBlock() : Builder.cpp, Builder.h
• mlirOpBuilderGetInsertionPoint() : Builder.cpp, Builder.h
• mlirOpBuilderInsert() : Builder.cpp, Builder.h
• MlirOpBuilderInsertPoint : Builder.h
• mlirOpBuilderListenerCreate() : Builder.cpp, Builder.h
• mlirOpBuilderListenerDestroy() : Builder.cpp, Builder.h
• mlirOpBuilderRestoreInsertionPoint() : Builder.cpp, Builder.h
• mlirOpBuilderSaveInsertionPoint() : Builder.cpp, Builder.h
• mlirOpBuilderSetInsertionPoint() : Builder.cpp, Builder.h
• mlirOpBuilderSetInsertionPointAfter() : Builder.cpp, Builder.h
• mlirOpBuilderSetInsertionPointAfterValue() : Builder.cpp, Builder.h
• mlirOpBuilderSetInsertionPointToEnd() : Builder.cpp, Builder.h
• mlirOpBuilderSetInsertionPointToStart() : Builder.cpp, Builder.h
• mlirOperationReplaceUsesOfWith() : Support.cpp, Support.h
• mlirOperationWalkReverse() : Support.cpp, Support.h
• mlirRegisterLLZKArrayTransformationArrayToScalarPass() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirRegisterLLZKArrayTransformationPasses() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirRegisterLLZKBoolTransformationLowerBoolQuantifiersPass() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirRegisterLLZKBoolTransformationPasses() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirRegisterLLZKIncludeTransformationInlineIncludesPass() : InlineIncludesPass.capi.cpp.inc, InlineIncludesPass.capi.h.inc
• mlirRegisterLLZKIncludeTransformationPasses() : InlineIncludesPass.capi.cpp.inc, InlineIncludesPass.capi.h.inc
• mlirRegisterLLZKPodTransformationPasses() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirRegisterLLZKPodTransformationPodToScalarPass() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirRegisterLLZKPolymorphicTransformationEmptyTemplateRemovalPass() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirRegisterLLZKPolymorphicTransformationFlatteningPass() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirRegisterLLZKPolymorphicTransformationPasses() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirRegisterLLZKPolymorphicTransformationTypeVarInferencePass() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirRegisterLLZKPolymorphicTransformationWildcardArraySpecializationPass() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirRegisterLLZKStructTransformationInlineStructsPass() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirRegisterLLZKStructTransformationPasses() : TransformationPasses.capi.cpp.inc, TransformationPasses.capi.h.inc
• mlirRegisterLLZKTransformationComputeConstrainToProductPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirRegisterLLZKTransformationEnforceNoMemberOverwritePass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirRegisterLLZKTransformationFuseProductControlFlowPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirRegisterLLZKTransformationInlineFreeFunctionsPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirRegisterLLZKTransformationPasses() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirRegisterLLZKTransformationPolyLoweringPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirRegisterLLZKTransformationRedundantOperationEliminationPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirRegisterLLZKTransformationRedundantReadAndWriteEliminationPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirRegisterLLZKTransformationRemoveUnusedDiscardableAllocationsPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirRegisterLLZKTransformationUnusedDeclarationEliminationPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirRegisterLLZKTransformationWhileToForPass() : LLZKTransformationPasses.capi.cpp.inc, LLZKTransformationPasses.capi.h.inc
• mlirRegisterLLZKValidationMemberWriteValidatorPass() : LLZKValidationPasses.capi.cpp.inc, LLZKValidationPasses.capi.h.inc
• mlirRegisterLLZKValidationPasses() : LLZKValidationPasses.capi.cpp.inc, LLZKValidationPasses.capi.h.inc
• mlirTranslateModuleToPCL() : PCL.cpp
• MlirValueRange : Support.h
• modifications : LICENSE.txt