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

Files

 AbstractLatticeValue.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
 
 ConstrainRef.h
 
 ConstrainRefLattice.h
 
 ConstraintDependencyGraph.h
 
 DenseAnalysis.h
 This file implements (LLZK-tailored) dense data-flow analysis using the data-flow analysis framework.
 
 IntervalAnalysis.h