LLZK 0.1.0
Veridise's ZK Language IR
|
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 StructDefOp s contained within a module, where each of those analyses may need to reference the analysis results from other StructDefOp s. | |
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 | |