Skip to content

Commit

Permalink
make license header shorter
Browse files Browse the repository at this point in the history
  • Loading branch information
@Laplace-Demon
Laplace-Demon committed Jul 24, 2024
1 parent bf935b1 commit fe75b18
Show file tree
Hide file tree
Showing 2 changed files with 14 additions and 38 deletions.
26 changes: 7 additions & 19 deletions src/libc/include/eacsl.h
View file
Original file line number Diff line number Diff line change
@@ -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_
Expand Down
26 changes: 7 additions & 19 deletions src/libc/src/eacsl.c
View file
Original file line number Diff line number Diff line change
@@ -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 <eacsl.h>
#include <stddef.h>
Expand Down

0 comments on commit fe75b18

Please sign in to comment.