LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
File List
Here is a list of all files with brief descriptions:
[detail level 1234567]
 
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
 
ConstraintDependencyGraph.cpp
 
ConstraintDependencyGraphPass.cpp		This file implements the -llzk-print-constraint-dependency-graphs pass
 
DenseAnalysis.cpp
 
Field.cpp
 
IntervalAnalysis.cpp
 
IntervalAnalysisPass.cpp		This file implements the -llzk-print-interval-analysis pass
 
Intervals.cpp
 
SourceRef.cpp
 
SourceRefLattice.cpp
 
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
 
LLZKInlineStructsPass.cpp		This file implements the -llzk-inline-structs pass
 
LLZKInliningExtensions.cpp
 
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
 
Debug.cpp
 
DynamicAPIntHelper.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