|
LLZK 0.1.0
Veridise's ZK Language IR
|
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 | |