|
LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Dialect/LLZK/IR/AttributeHelper.h"#include "llzk/Dialect/LLZK/IR/Attrs.h"#include "llzk/Dialect/LLZK/IR/Dialect.h"#include "llzk/Dialect/LLZK/IR/Ops.h"#include "llzk-c/Dialect/LLZK.h"#include <mlir/CAPI/Registration.h>Go to the source code of this file.
Functions | |
| MlirAttribute | llzkPublicAttrGet (MlirContext ctx) |
| Creates a llzk::PublicAttr. | |
| bool | llzkAttributeIsAPublicAttr (MlirAttribute attr) |
| MlirAttribute | llzkLoopBoundsAttrGet (MlirContext ctx, int64_t lower, int64_t upper, int64_t step) |
| Creates a llzk::LoopBoundsAttr. | |
| bool | llzkAttributeIsALoopBoundsAttr (MlirAttribute attr) |
| bool | llzkOperationIsANonDetOp (MlirOperation op) |
| MlirAttribute llzkLoopBoundsAttrGet | ( | MlirContext | ctx, |
| int64_t | lower, | ||
| int64_t | upper, | ||
| int64_t | step ) |