From 8489a20a8a3fcc86eccb093526633dec2a3c4945 Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Thu, 19 Sep 2019 17:02:13 +0200 Subject: [PATCH] [Override Std] License headers --- headers/header_spec.txt | 12 ++++++++++++ src/plugins/override_std/OverrideStd.mli | 21 +++++++++++++++++++++ 2 files changed, 33 insertions(+) diff --git a/headers/header_spec.txt b/headers/header_spec.txt index 5167c3bb180..97af91e7b7c 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -930,6 +930,18 @@ src/plugins/occurrence/options.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/occurrence/register.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/occurrence/register_gui.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/occurrence/register_gui.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/override_std/basic_blocks.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/override_std/basic_blocks.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/override_std/configure.ac: CEA_LGPL_OR_PROPRIETARY +src/plugins/override_std/Makefile.in: CEA_LGPL_OR_PROPRIETARY +src/plugins/override_std/memcpy.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/override_std/memcpy.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/override_std/options.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/override_std/options.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/override_std/OverrideStd.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/override_std/register.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/override_std/transform.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/override_std/transform.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/pdg/Pdg.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/pdg/annot.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/pdg/annot.mli: CEA_LGPL_OR_PROPRIETARY diff --git a/src/plugins/override_std/OverrideStd.mli b/src/plugins/override_std/OverrideStd.mli index e69de29bb2d..fa8f3783c35 100644 --- a/src/plugins/override_std/OverrideStd.mli +++ b/src/plugins/override_std/OverrideStd.mli @@ -0,0 +1,21 @@ +(**************************************************************************) +(* *) +(* This file is part of Frama-C. *) +(* *) +(* Copyright (C) 2007-2019 *) +(* CEA (Commissariat à l'énergie atomique et aux énergies *) +(* alternatives) *) +(* *) +(* you can redistribute it and/or modify it under the terms of the GNU *) +(* Lesser General Public License as published by the Free Software *) +(* Foundation, version 2.1. *) +(* *) +(* It is distributed in the hope that it will be useful, *) +(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) +(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) +(* GNU Lesser General Public License for more details. *) +(* *) +(* See the GNU Lesser General Public License version 2.1 *) +(* for more details (enclosed in the file licenses/LGPLv2.1). *) +(* *) +(**************************************************************************) -- GitLab