LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
Loading...
Searching...
No Matches
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
- d -
DEBUG_TYPE :
ConstraintDependencyGraph.cpp
,
IntervalAnalysisPass.cpp
,
LightweightSignalEquivalenceAnalysis.cpp
,
MemberOverwriteAnalysis.cpp
,
SourceRefLattice.cpp
,
ArrayToScalarPass.cpp
,
PodToScalarPass.cpp
,
EmptyTemplateRemovalPass.cpp
,
FlatteningPass.cpp
,
SharedImpl.cpp
,
SharedImpl.h
,
TypeVarInferencePass.cpp
,
WildcardArraySpecializationPass.cpp
,
InlineStructsPass.cpp
,
LLZKComputeConstrainToProductPass.cpp
,
LLZKEnforceNoOverwritePass.cpp
,
LLZKInlineFreeFunctionsPass.cpp
,
LLZKPolyLoweringPass.cpp
,
LLZKRedundantOperationEliminationPass.cpp
,
LLZKRedundantReadAndWriteEliminationPass.cpp
,
LLZKUnusedDeclarationEliminationPass.cpp
,
LLZKWhileToForPass.cpp
,
SymbolHelper.cpp
,
SymbolLookup.cpp
,
TypeHelper.cpp
,
AbstractLatticeValue.h
DECLARE_OP_BUILDER_CREATE_FN :
Builder.h
DECLARE_SUFFIX_OP_BUILDER_CREATE_FN :
Builder.h
DEFAULT_ELTS :
Support.h
DEFINE_C_API_STRUCT :
Builder.h
definition :
LICENSE.txt
DialectName :
CommonCAPIGen.h
,
CommonCAPIGen.cpp
display :
LICENSE.txt
distribute :
LICENSE.txt
documentation :
LICENSE.txt
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.