|
LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Dialect/POD/IR/Dialect.h"#include "llzk/Dialect/POD/IR/Types.h"#include "llzk/Dialect/Shared/OpHelpers.h"#include <mlir/IR/BuiltinAttributes.h>#include <mlir/IR/OpImplementation.h>#include <mlir/IR/Value.h>#include "llzk/Dialect/POD/IR/Ops.h.inc"Go to the source code of this file.
Namespaces | |
| namespace | llzk |
| namespace | llzk::pod |
Macros | |
| #define | GET_OP_CLASSES |
Functions | |
| mlir::ParseResult | llzk::pod::parseRecordName (mlir::AsmParser &parser, mlir::FlatSymbolRefAttr &name) |
| void | llzk::pod::printRecordName (mlir::AsmPrinter &printer, mlir::Operation *, mlir::FlatSymbolRefAttr name) |