PCL.h

Go to the documentation of this file.

//===-- PCL.h - C API for Picus PCL Target ------------------------*- C -*-===//
//
// Part of the LLZK Project, under the Apache License v2.0.
// See LICENSE.txt for license information.
// Copyright 2026 Veridise Inc.
// SPDX-License-Identifier: Apache-2.0
//
//===----------------------------------------------------------------------===//
//
// This header declares the C interface to target Picus PCL.
//
//===----------------------------------------------------------------------===//
 
#ifndef MLIR_C_TARGET_PCL_H
#define MLIR_C_TARGET_PCL_H
 
#include "mlir-c/IR.h"
#include "mlir-c/Support.h"
 
#ifdef __cplusplus
extern "C" {
#endif

MLIR_CAPI_EXPORTED MlirLogicalResult
llzkTranslateModuleToPCL(MlirOperation module, MlirStringCallback callback, void *userData);
 
#ifdef __cplusplus
}
#endif
 
#endif // MLIR_C_TARGET_PCL_H