CIRCT 20.0.0git
Loading...
Searching...
No Matches
Verif.h
Go to the documentation of this file.
1//===- Verif.h - C interface for the Verif dialect ----------------*- 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_C_DIALECT_VERIF_H
10#define CIRCT_C_DIALECT_VERIF_H
11
12#include "mlir-c/IR.h"
13
14#ifdef __cplusplus
15extern "C" {
16#endif
17
19
20#ifdef __cplusplus
21}
22#endif
23
24#endif // CIRCT_C_DIALECT_VERIF_H
MLIR_DECLARE_CAPI_DIALECT_REGISTRATION(Verif, verif)
Definition verif.py:1