From fe75b1879986b1daebdebeec02799709decd0ed9 Mon Sep 17 00:00:00 2001 From: Zhicheng HUI Date: Wed, 24 Jul 2024 13:19:11 +0200 Subject: [PATCH] make license header shorter --- src/libc/include/eacsl.h | 26 +++++++------------------- src/libc/src/eacsl.c | 26 +++++++------------------- 2 files changed, 14 insertions(+), 38 deletions(-) diff --git a/src/libc/include/eacsl.h b/src/libc/include/eacsl.h index d51ecde73..776d27ee0 100644 --- a/src/libc/include/eacsl.h +++ b/src/libc/include/eacsl.h @@ -1,22 +1,10 @@ -/******************************************************************************/ -/* */ -/* SPDX-License-Identifier: LGPL-2.1-or-later */ -/* */ -/* Copyright (C) 2012-2024 */ -/* CEA (Commissariat à l'énergie atomique et aux énergies */ -/* alternatives) */ -/* */ -/* This file is originally from the Frama-C's E-ACSL plug-in available */ -/* at https://git.frama-c.com/pub/frama-c/-/tree/master/src/plugins/e-acsl */ -/* */ -/* */ -/* SPDX-License-Identifier: AGPL-3.0-or-later */ -/* */ -/* Copyright © 2021-2024 OCamlPro */ -/* */ -/* Modified by the Owi programmers */ -/* */ -/******************************************************************************/ +// SPDX-License-Identifier: LGPL-2.1-or-later +// Copyright (C) 2012-2024 CEA (Commissariat à l'énergie atomique et aux énergies alternatives +// This file is originally from the Frama-C's E-ACSL plug-in available at https://git.frama-c.com/pub/frama-c/-/tree/master/src/plugins/e-acsl + +// SPDX-License-Identifier: AGPL-3.0-or-later +// Copyright © 2021-2024 OCamlPro +// Modified by the Owi programmers #ifndef _EACSL_H_ #define _EACSL_H_ diff --git a/src/libc/src/eacsl.c b/src/libc/src/eacsl.c index 23137ad2f..ca64a29ce 100644 --- a/src/libc/src/eacsl.c +++ b/src/libc/src/eacsl.c @@ -1,22 +1,10 @@ -/******************************************************************************/ -/* */ -/* SPDX-License-Identifier: LGPL-2.1-or-later */ -/* */ -/* Copyright (C) 2012-2024 */ -/* CEA (Commissariat à l'énergie atomique et aux énergies */ -/* alternatives) */ -/* */ -/* This file is originally from the Frama-C's E-ACSL plug-in available */ -/* at https://git.frama-c.com/pub/frama-c/-/tree/master/src/plugins/e-acsl */ -/* */ -/* */ -/* SPDX-License-Identifier: AGPL-3.0-or-later */ -/* */ -/* Copyright © 2021-2024 OCamlPro */ -/* */ -/* Modified by the Owi programmers */ -/* */ -/******************************************************************************/ +// SPDX-License-Identifier: LGPL-2.1-or-later +// Copyright (C) 2012-2024 CEA (Commissariat à l'énergie atomique et aux énergies alternatives +// This file is originally from the Frama-C's E-ACSL plug-in available at https://git.frama-c.com/pub/frama-c/-/tree/master/src/plugins/e-acsl + +// SPDX-License-Identifier: AGPL-3.0-or-later +// Copyright © 2021-2024 OCamlPro +// Modified by the Owi programmers #include #include