header comments

Co-authored-by: Bea Healy <[email protected]>
Co-authored-by: Martin Erhart <[email protected]>
Co-authored-by: Mike Urbach <[email protected]>
Co-authored-by: Will Dietz <[email protected]>
Co-authored-by: fzi-hielscher <[email protected]>
Co-authored-by: Fehr Mathieu <[email protected]>
Co-authored-by: Clo91eaf <[email protected]>

Author: 8 people

mlir/include/mlir-c/Target/ExportSMTLIB.h

@@ -1,7 +1,12 @@
-//===- MLIR-c/ExportSMTLIB.h - C API for emitting SMTLIB ---------*- C -*-===//
+//===- mlir-c/Target/ExportSMTLIB.h - C API for emitting SMTLIB ---*- C -*-===//
 //
-// This header declares the C interface for emitting SMTLIB from a MLIR MLIR
-// module.
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+//
+// This header declares the C interface for emitting SMTLIB from an MLIR module.
 //
 //===----------------------------------------------------------------------===//
 

mlir/lib/CAPI/Dialect/SMT.cpp

@@ -8,8 +8,9 @@
 
 #include "mlir-c/Dialect/SMT.h"
 #include "mlir/CAPI/Registration.h"
+#include "mlir/Dialect/SMT/IR/SMTAttributes.h"
 #include "mlir/Dialect/SMT/IR/SMTDialect.h"
-#include "mlir/Dialect/SMT/IR/SMTOps.h"
+#include "mlir/Dialect/SMT/IR/SMTTypes.h"
 
 using namespace mlir;
 using namespace smt;

mlir/lib/CAPI/Target/ExportSMTLIB.cpp

@@ -1,6 +1,13 @@
 //===- ExportSMTLIB.cpp - C Interface to ExportSMTLIB ---------------------===//
 //
-//  Implements a C Interface for export SMTLIB.
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM
+// Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+//
+// Implements a C Interface for export SMTLIB.
 //
 //===----------------------------------------------------------------------===//
 

mlir/test/CAPI/smt.c

@@ -1,12 +1,11 @@
-
-/*===- smtlib.c - Simple test of SMTLIB C API -----------------------------===*\
-|*                                                                            *|
-|* Part of the LLVM Project, under the Apache License v2.0 with LLVM          *|
-|* Exceptions.                                                                *|
-|* See https://llvm.org/LICENSE.txt for license information.                  *|
-|* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception                    *|
-|*                                                                            *|
-\*===----------------------------------------------------------------------===*/
+//===- smt.c - Test of SMT APIs -------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM
+// Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
 
 /* RUN: mlir-capi-smt-test 2>&1 | FileCheck %s
  */