LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Analysis Directory Reference
Directory dependency graph for Analysis:

Files

 
AbstractLatticeValue.h
 
AnalysisPassEnums.h
 
AnalysisPasses.h
 
AnalysisPasses.td
 
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
 
DenseAnalysis.h
 This file implements (LLZK-tailored) dense data-flow analysis using the data-flow analysis framework.
 
Field.h
 
GraphUtil.h
 
IntervalAnalysis.h
 
Intervals.h
 
Matchers.h
 
SourceRef.h
 
SourceRefLattice.h
 
SymbolDefTree.h
 
SymbolUseGraph.h