- Generated by
1.13.2
|
LLZK 0.1.0
Veridise's ZK Language IR
|
| ▼ build | |
| ▼ include | |
| ► llzk | |
| ▼ doc | |
| doxygen | |
| ▼ include | |
| ▼ llzk | |
| ► Analysis | |
| ► CAPI | |
| ► Dialect | |
| ► Pass | |
| ► Transforms | |
| ► Util | |
| ► Validators | |
| ▼ llzk-c | |
| ► Dialect | |
| Builder.h | |
| Constants.h | |
| InitDialects.h | |
| Support.h | |
| Transforms.h | |
| Typing.h | |
| Validators.h | |
| ▼ lib | |
| ▼ Analysis | |
| AnalysisPassEnums.cpp | |
| CallGraph.cpp | |
| CallGraphAnalyses.cpp | |
| CallGraphPasses.cpp | This file implements the -llzk-print-call-graph and -llzk-print-call-graph-sccs passes |
| ConstrainRef.cpp | |
| ConstrainRefLattice.cpp | |
| ConstraintDependencyGraph.cpp | |
| ConstraintDependencyGraphPass.cpp | This file implements the -llzk-print-constraint-dependency-graphs pass |
| DenseAnalysis.cpp | |
| IntervalAnalysis.cpp | |
| IntervalAnalysisPass.cpp | This file implements the -llzk-print-interval-analysis pass |
| SymbolDefTree.cpp | |
| SymbolDefTreePass.cpp | This file implements the -llzk-print-symbol-def-tree pass |
| SymbolUseGraph.cpp | |
| SymbolUseGraphPass.cpp | This file implements the -llzk-print-symbol-use-graph pass |
| ▼ Bindings | |
| ► Python | |
| ▼ CAPI | |
| ► Dialect | |
| Builder.cpp | |
| Constants.cpp | |
| InitDialects.cpp | |
| Transforms.cpp | |
| Typing.cpp | |
| Validators.cpp | |
| ▼ Dialect | |
| ► Array | |
| ► Bool | |
| ► Cast | |
| ► Constrain | |
| ► Felt | |
| ► Function | |
| ► Global | |
| ► Include | |
| ► LLZK | |
| ► Polymorphic | |
| ► Shared | |
| ► String | |
| ► Struct | |
| ► Undef | |
| InitDialects.cpp | |
| ▼ Transforms | |
| LLZKLoweringUtils.cpp | |
| LLZKPolyLoweringPass.cpp | This file implements the -llzk-poly-lowering pass |
| LLZKR1CSLoweringPass.cpp | This file implements the -llzk-r1cs-lowering pass |
| LLZKRedundantOperationEliminationPass.cpp | This file implements the -llzk-duplicate-op-elim pass |
| LLZKRedundantReadAndWriteEliminationPass.cpp | This file implements the -llzk-duplicate-read-write-elim pass |
| LLZKUnusedDeclarationEliminationPass.cpp | This file implements the -llzk-unused-declaration-elim pass |
| TransformationPassPipelines.cpp | This file implements logic for registering the -llzk-remove-unnecessary-ops and -llzk-remove-unnecessary-ops-and-defs pipelines |
| ▼ Util | |
| AffineHelper.cpp | |
| APIntHelper.cpp | |
| Debug.cpp | |
| SymbolHelper.cpp | This file contains the implementations for symbol helper functions |
| SymbolLookup.cpp | This file contains the implementations for symbol lookup helper functions |
| SymbolTableLLZK.cpp | This is a selection of code from mlir/lib/IR/SymbolTable.cpp to support a modified version of walkSymbolRefs() so the "symbol use" functions will also consider symbols used within the operand and result types of Ops |
| TypeHelper.cpp | |
| ▼ Validators | |
| LLZKValidationPasses.cpp | This file contains the implementation for the -llzk-validate-field-writes pass |
| ▼ tools | |
| ▼ include | |
| ► tools | |
| ▼ llzk-lsp-server | |
| llzk-lsp-server.cpp | |
| ▼ llzk-opt | |
| llzk-opt.cpp | This file implements a version of the mlir-opt tool configured for use on LLZK files |
| ▼ r1cs-opt | |
| r1cs-opt.cpp |
1.13.2