LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
Loading...
Searching...
No Matches
Dialect.td
Go to the documentation of this file.
1
//===-- Dialect.td -----------------------------------------*- tablegen -*-===//
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
#ifndef LLZK_ARRAY_DIALECT
11
#define LLZK_ARRAY_DIALECT
12
13
include "mlir/IR/DialectBase.td"
14
15
def ArrayDialect : Dialect {
16
let name = "array";
17
let summary = "LLZK array operations.";
18
19
let cppNamespace = "::llzk::array";
20
21
let useDefaultTypePrinterParser = true;
22
}
23
24
#endif // LLZK_ARRAY_DIALECT
include
llzk
Dialect
Array
IR
Dialect.td
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.