LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Ops.h
Go to the documentation of this file.
1//===-- Ops.h ---------------------------------------------------*- C++ -*-===//
2//
3// Part of the LLZK Project, under the Apache License v2.0.
4// See LICENSE.txt for license information.
5// Copyright 2026 Project LLZK
6// SPDX-License-Identifier: Apache-2.0
7//
8//===----------------------------------------------------------------------===//
9
10#pragma once
11
12#include "llzk/Dialect/Function/IR/Ops.h"
13#include "llzk/Dialect/Polymorphic/IR/Ops.h"
14#include "llzk/Dialect/Shared/OpHelpers.h"
15#include "llzk/Dialect/Verif/IR/Dialect.h"
16#include "llzk/Util/TypeHelper.h"
17
18#include <mlir/Interfaces/CallInterfaces.h>
19#include <mlir/Interfaces/ControlFlowInterfaces.h>
20#include <mlir/Interfaces/FunctionInterfaces.h>
21#include <mlir/Interfaces/InferTypeOpInterface.h>
22
23// Include TableGen'd declarations
24#include "llzk/Dialect/Verif/IR/OpInterfaces.h.inc"
25
26// Include TableGen'd declarations
27#define GET_OP_CLASSES
28#include "llzk/Dialect/Verif/IR/Ops.h.inc"