LLZK 3.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 provides LLZK's sparse forward data-flow analysis compatibility layer.
 
SymbolDefTree.h
 
SymbolUseGraph.h