|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Dialect/Function/IR/Ops.h"#include "llzk/Dialect/Global/IR/Ops.h"#include "llzk/Dialect/Polymorphic/IR/Ops.h"#include "llzk/Dialect/Polymorphic/IR/Types.h"#include "llzk/Dialect/Shared/OpHelpers.h"#include "llzk/Dialect/Struct/IR/Ops.h"#include "llzk/Util/SymbolHelper.h"#include "llzk/Util/SymbolTableLLZK.h"#include "llzk/Dialect/Polymorphic/IR/OpInterfaces.cpp.inc"#include "llzk/Dialect/Polymorphic/IR/Ops.cpp.inc"Go to the source code of this file.
Namespaces | |
| namespace | llzk |
| namespace | llzk::polymorphic |
Macros | |
| #define | GET_OP_CLASSES |
Functions | |
| bool | llzk::polymorphic::isInTemplate (Operation *op) |
| FailureOr< TemplateOp > | llzk::polymorphic::verifyInTemplate (Operation *op) |