LLZK
2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Bool.cpp
Go to the documentation of this file.
1
//===-- Bool.cpp - Bool dialect C API implementation ------------*- 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
#include "
llzk-c/Dialect/Bool.h
"
11
12
#include "
llzk/CAPI/Support.h
"
13
#include "
llzk/Dialect/Bool/IR/Attrs.h
"
14
#include "
llzk/Dialect/Bool/IR/Dialect.h
"
15
#include "
llzk/Dialect/Bool/IR/Ops.h
"
16
17
#include <mlir/CAPI/Registration.h>
18
19
using namespace
llzk::boolean
;
20
21
// Include the generated CAPI
22
#include "
llzk/Dialect/Bool/IR/Enums.capi.cpp.inc
"
23
// Enums must come before Attrs and Ops
24
#include "
llzk/Dialect/Bool/IR/Attrs.capi.cpp.inc
"
25
#include "
llzk/Dialect/Bool/IR/Ops.capi.cpp.inc
"
26
27
MLIR_DEFINE_CAPI_DIALECT_REGISTRATION(Bool, llzk__boolean,
BoolDialect
)
Attrs.capi.cpp.inc
Attrs.h
Dialect.h
Ops.capi.cpp.inc
Ops.h
Bool.h
Enums.capi.cpp.inc
llzk::boolean::BoolDialect
Definition
Dialect.h.inc:13
Support.h
llzk::boolean
Definition
Ops.cpp:24
lib
CAPI
Dialect
Bool.cpp
Generated by
1.14.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.