|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Dialect/Function/IR/Ops.h"#include "llzk/Dialect/Struct/IR/Ops.h"#include <mlir/IR/Builders.h>#include <mlir/IR/MLIRContext.h>#include <memory>#include <unordered_map>Go to the source code of this file.
Classes | |
| class | llzk::BaseBuilder |
| class | llzk::ModuleLikeBuilder< Derived > |
| class | llzk::TemplateBuilder |
| Builds out a LLZK-compliant template and provides utilities for populating that template. More... | |
| class | llzk::ModuleBuilder |
| Builds out a LLZK-compliant module and provides utilities for populating that module. More... | |
Namespaces | |
| namespace | llzk |
Functions | |
| mlir::Location | llzk::getUnknownLoc (mlir::MLIRContext *context) |
| mlir::OwningOpRef< mlir::ModuleOp > | llzk::createLLZKModule (mlir::MLIRContext *context, mlir::Location loc) |
| mlir::OwningOpRef< mlir::ModuleOp > | llzk::createLLZKModule (mlir::MLIRContext *context) |
| void | llzk::addLangAttrForLLZKDialect (mlir::ModuleOp mod) |