LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
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 2025 Veridise Inc.
6
// SPDX-License-Identifier: Apache-2.0
7
//
8
//===----------------------------------------------------------------------===//
9
10
#pragma once
11
12
#include "
llzk/Dialect/Felt/IR/Attrs.h
"
13
#include "
llzk/Dialect/Felt/IR/Dialect.h
"
14
#include "
llzk/Dialect/Felt/IR/Types.h
"
15
#include "
llzk/Dialect/Function/IR/OpTraits.h
"
16
17
#include <mlir/IR/PatternMatch.h>
18
#include <mlir/Interfaces/InferTypeOpInterface.h>
19
20
// Include TableGen'd declarations
21
#include "
llzk/Dialect/Felt/IR/OpInterfaces.h.inc
"
22
23
#define GET_OP_CLASSES
24
#include "
llzk/Dialect/Felt/IR/Ops.h.inc
"
Attrs.h
Dialect.h
OpInterfaces.h.inc
Ops.h.inc
Types.h
OpTraits.h
include
llzk
Dialect
Felt
IR
Ops.h
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.