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