|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Classes | |
| class | ConstraintFlatteningPassBase |
| class | EmptyTemplateRemovalPassBase |
| class | FlatteningPassBase |
| class | TemplateMonomorphizationPassBase |
| class | TypeVarInferencePassBase |
| class | WildcardArraySpecializationPassBase |
Functions | |
| std::unique_ptr<::mlir::Pass > | createConstraintFlatteningPass () |
| std::unique_ptr<::mlir::Pass > | createEmptyTemplateRemovalPass () |
| std::unique_ptr<::mlir::Pass > | createFlatteningPass () |
| std::unique_ptr<::mlir::Pass > | createFlatteningPass (FlatteningPassOptions options) |
| std::unique_ptr<::mlir::Pass > | createTemplateMonomorphizationPass () |
| std::unique_ptr<::mlir::Pass > | createTemplateMonomorphizationPass (TemplateMonomorphizationPassOptions options) |
| std::unique_ptr<::mlir::Pass > | createTypeVarInferencePass () |
| std::unique_ptr<::mlir::Pass > | createWildcardArraySpecializationPass () |
| std::unique_ptr<::mlir::Pass > | createWildcardArraySpecializationPass (WildcardArraySpecializationPassOptions options) |
| std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createConstraintFlatteningPass | ( | ) |
Definition at line 90 of file ConstraintFlatteningPass.cpp.
| std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createEmptyTemplateRemovalPass | ( | ) |
Definition at line 177 of file EmptyTemplateRemovalPass.cpp.
| std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createFlatteningPass | ( | ) |
Definition at line 295 of file FlatteningPass.cpp.
| std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createFlatteningPass | ( | FlatteningPassOptions | options | ) |
Definition at line 299 of file FlatteningPass.cpp.
| std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createTemplateMonomorphizationPass | ( | ) |
Definition at line 402 of file TemplateMonomorphization.cpp.
| std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createTemplateMonomorphizationPass | ( | TemplateMonomorphizationPassOptions | options | ) |
Definition at line 406 of file TemplateMonomorphization.cpp.
| std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createTypeVarInferencePass | ( | ) |
Definition at line 497 of file TypeVarInferencePass.cpp.
| std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createWildcardArraySpecializationPass | ( | ) |
Definition at line 596 of file WildcardArraySpecializationPass.cpp.
| std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createWildcardArraySpecializationPass | ( | WildcardArraySpecializationPassOptions | options | ) |
Definition at line 600 of file WildcardArraySpecializationPass.cpp.