LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Transforms Directory Reference
Directory dependency graph for Transforms:

Files

 
ConstraintBindings.h
 
ConstraintDiagnostics.h
 
ConstraintFlatteningPass.cpp
 
ConstraintScalarFacts.h
 
ConstraintStorage.h
 
DiscoveryStorage.h
 
EmptyTemplateRemovalPass.cpp
 This file implements the -llzk-drop-empty-templates pass.
 
FlatteningPass.cpp
 This file implements the -llzk-flatten pass.
 
ScalarEvaluation.h
 
SharedImpl.cpp
 
SharedImpl.h
 Common private implementation for poly dialect passes.
 
StructSpecializationDiscovery.cpp
 
StructSpecializationDiscovery.h
 
TemplateInstantiation.cpp
 Private parameter substitution helpers shared by polymorphic transformations.
 
TemplateInstantiation.h
 Private parameter substitution helpers shared by polymorphic transformations.
 
TemplateMonomorphization.cpp
 
TransformationPassEnums.cpp
 
TypeVarInferencePass.cpp
 This file implements the -llzk-infer-tvar pass.
 
WildcardArraySpecializationPass.cpp
 This file implements the -llzk-specialize-wildcard-arrays pass.