|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Dialect/Verif/IR/Dialect.h"#include "llzk/Dialect/LLZK/IR/Versioning.h"#include "llzk/Dialect/Verif/IR/Ops.h"#include <mlir/Dialect/SCF/IR/SCF.h>#include <mlir/IR/DialectImplementation.h>#include <mlir/IR/DialectRegistry.h>#include <mlir/IR/MLIRContext.h>#include <mlir/Support/LLVM.h>#include <mlir/Support/TypeID.h>#include <llvm/ADT/SmallVector.h>#include <llvm/ADT/SmallVectorExtras.h>#include <llvm/ADT/TypeSwitch.h>#include "llzk/Dialect/Verif/IR/Dialect.cpp.inc"#include "llzk/Dialect/Verif/IR/Ops.cpp.inc"Go to the source code of this file.
Macros | |
| #define | GET_OP_LIST |
| #define GET_OP_LIST |