CIRCT
19.0.0git
include
circt
Dialect
Verif
VerifDialect.h
Go to the documentation of this file.
1
//===- VerifDialect.h - Verif dialect definition ----------------*- C++ -*-===//
2
//
3
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4
// See https://llvm.org/LICENSE.txt for license information.
5
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
//
7
//===----------------------------------------------------------------------===//
8
9
#ifndef CIRCT_DIALECT_VERIF_VERIFDIALECT_H
10
#define CIRCT_DIALECT_VERIF_VERIFDIALECT_H
11
12
#include "
circt/Support/LLVM.h
"
13
#include "mlir/IR/BuiltinOps.h"
14
#include "mlir/IR/Dialect.h"
15
16
#include "circt/Dialect/Verif/VerifDialect.h.inc"
17
18
#endif
// CIRCT_DIALECT_VERIF_VERIFDIALECT_H
LLVM.h
Generated on Thu May 16 2024 00:06:29 for CIRCT by
1.9.1