Skip to content
Snippets Groups Projects
Commit 20ec4bb7 authored by François Bobot's avatar François Bobot
Browse files

Add new files to header spec and update them

parent 48bbdd69
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/at_with_lscope.ml
+ 2
− 2
View file @ 20ec4bb7
(**************************************************************************) (**************************************************************************)
(* *) (* *)
(* This file is part of Frama-C. *) (* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *) (* *)
(* Copyright (C) 2007-2018 *) (* Copyright (C) 2012-2018 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
src/plugins/e-acsl/at_with_lscope.mli
+ 2
− 2
View file @ 20ec4bb7
(**************************************************************************) (**************************************************************************)
(* *) (* *)
(* This file is part of Frama-C. *) (* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *) (* *)
(* Copyright (C) 2007-2018 *) (* Copyright (C) 2012-2018 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
src/plugins/e-acsl/headers/header_spec.txt
+ 6
− 0
View file @ 20ec4bb7
...@@ -3,6 +3,8 @@ INSTALL: .ignore ...@@ -3,6 +3,8 @@ INSTALL: .ignore
Makefile.in: CEA_LGPL_OR_PROPRIETARY.E_ACSL Makefile.in: CEA_LGPL_OR_PROPRIETARY.E_ACSL
README: .ignore README: .ignore
VERSION: .ignore VERSION: .ignore
at_with_lscope.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
at_with_lscope.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
builtins.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL builtins.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
builtins.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL builtins.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
configure.ac: CEA_LGPL_OR_PROPRIETARY.E_ACSL configure.ac: CEA_LGPL_OR_PROPRIETARY.E_ACSL
...@@ -39,12 +41,16 @@ local_config.ml: .ignore ...@@ -39,12 +41,16 @@ local_config.ml: .ignore
local_config.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL local_config.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
loops.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL loops.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
loops.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL loops.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
lscope.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
lscope.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
main.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL main.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
man/e-acsl-gcc.sh.1: CEA_LGPL_OR_PROPRIETARY.E_ACSL man/e-acsl-gcc.sh.1: CEA_LGPL_OR_PROPRIETARY.E_ACSL
misc.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL misc.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
misc.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL misc.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
mmodel_analysis.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL mmodel_analysis.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
mmodel_analysis.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL mmodel_analysis.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
mmodel_translate.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
mmodel_translate.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
options.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL options.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
options.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL options.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
prepare_ast.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL prepare_ast.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
......
src/plugins/e-acsl/lscope.ml
+ 2
− 2
View file @ 20ec4bb7
(**************************************************************************) (**************************************************************************)
(* *) (* *)
(* This file is part of Frama-C. *) (* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *) (* *)
(* Copyright (C) 2007-2018 *) (* Copyright (C) 2012-2018 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
src/plugins/e-acsl/lscope.mli
+ 2
− 2
View file @ 20ec4bb7
(**************************************************************************) (**************************************************************************)
(* *) (* *)
(* This file is part of Frama-C. *) (* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *) (* *)
(* Copyright (C) 2007-2018 *) (* Copyright (C) 2012-2018 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
src/plugins/e-acsl/mmodel_translate.ml
+ 2
− 2
View file @ 20ec4bb7
(**************************************************************************) (**************************************************************************)
(* *) (* *)
(* This file is part of Frama-C. *) (* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *) (* *)
(* Copyright (C) 2007-2018 *) (* Copyright (C) 2012-2018 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
src/plugins/e-acsl/mmodel_translate.mli
+ 2
− 2
View file @ 20ec4bb7
(**************************************************************************) (**************************************************************************)
(* *) (* *)
(* This file is part of Frama-C. *) (* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *) (* *)
(* Copyright (C) 2007-2018 *) (* Copyright (C) 2012-2018 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment