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

Files

 
AbstractLatticeValue.h
 
AnalysisPassEnums.h
 
AnalysisPasses.h
 
AnalysisPasses.td
 
AnalysisUtil.h
 
AnalysisWrappers.h
 Convenience classes for a frequent pattern of dataflow analysis used in LLZK, where an analysis is run across all StructDefOps contained within a module, where each of those analyses may need to reference the analysis results from other StructDefOps.
 
CallGraph.h
 
CallGraphAnalyses.h
 
ConstraintDependencyGraph.h
 
GraphUtil.h
 
IntervalAnalysis.h
 
Intervals.h
 
LightweightSignalEquivalenceAnalysis.h
 
Matchers.h
 
MemberOverwriteAnalysis.h
 
SourceRef.h
 
SourceRefLattice.h
 
SparseAnalysis.h
 This file implements sparse data-flow analysis using the data-flow analysis framework.
 
SymbolDefTree.h
 
SymbolUseGraph.h