Skip to content
Snippets Groups Projects
Commit b4481b2a authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[wp] update headers

parent e30f8679
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 13 additions and 13 deletions
src/plugins/wp/Generator.mli
+ 1
− 1
View file @ b4481b2a
...@@ -18,7 +18,7 @@ ...@@ -18,7 +18,7 @@
(* See the GNU Lesser General Public License version 2.1 *) (* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *) (* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *) (* *)
(*****************************************t*********************************) (**************************************************************************)
(* -------------------------------------------------------------------------- *) (* -------------------------------------------------------------------------- *)
(* --- WP Computer (main entry points) --- *) (* --- WP Computer (main entry points) --- *)
......
src/plugins/wp/cfgAnnot.ml
+ 1
− 1
View file @ b4481b2a
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of WP plug-in of Frama-C. *) (* This file is part of WP plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2007-2020 *) (* Copyright (C) 2007-2021 *)
(* CEA (Commissariat a l'energie atomique et aux energies *) (* CEA (Commissariat a l'energie atomique et aux energies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
src/plugins/wp/cfgAnnot.mli
+ 1
− 1
View file @ b4481b2a
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of WP plug-in of Frama-C. *) (* This file is part of WP plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2007-2020 *) (* Copyright (C) 2007-2021 *)
(* CEA (Commissariat a l'energie atomique et aux energies *) (* CEA (Commissariat a l'energie atomique et aux energies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
src/plugins/wp/cfgCalculus.ml
+ 1
− 1
View file @ b4481b2a
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of WP plug-in of Frama-C. *) (* This file is part of WP plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2007-2020 *) (* Copyright (C) 2007-2021 *)
(* CEA (Commissariat a l'energie atomique et aux energies *) (* CEA (Commissariat a l'energie atomique et aux energies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
src/plugins/wp/cfgCalculus.mli
+ 1
− 1
View file @ b4481b2a
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of WP plug-in of Frama-C. *) (* This file is part of WP plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2007-2020 *) (* Copyright (C) 2007-2021 *)
(* CEA (Commissariat a l'energie atomique et aux energies *) (* CEA (Commissariat a l'energie atomique et aux energies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
src/plugins/wp/cfgGenerator.ml
+ 1
− 1
View file @ b4481b2a
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of WP plug-in of Frama-C. *) (* This file is part of WP plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2007-2020 *) (* Copyright (C) 2007-2021 *)
(* CEA (Commissariat a l'energie atomique et aux energies *) (* CEA (Commissariat a l'energie atomique et aux energies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
src/plugins/wp/cfgGenerator.mli
+ 1
− 1
View file @ b4481b2a
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of WP plug-in of Frama-C. *) (* This file is part of WP plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2007-2020 *) (* Copyright (C) 2007-2021 *)
(* CEA (Commissariat a l'energie atomique et aux energies *) (* CEA (Commissariat a l'energie atomique et aux energies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
src/plugins/wp/cfgInfos.ml
+ 1
− 1
View file @ b4481b2a
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of WP plug-in of Frama-C. *) (* This file is part of WP plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2007-2020 *) (* Copyright (C) 2007-2021 *)
(* CEA (Commissariat a l'energie atomique et aux energies *) (* CEA (Commissariat a l'energie atomique et aux energies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
src/plugins/wp/cfgInfos.mli
+ 1
− 1
View file @ b4481b2a
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of WP plug-in of Frama-C. *) (* This file is part of WP plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2007-2020 *) (* Copyright (C) 2007-2021 *)
(* CEA (Commissariat a l'energie atomique et aux energies *) (* CEA (Commissariat a l'energie atomique et aux energies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
src/plugins/wp/cfgInit.ml
+ 1
− 1
View file @ b4481b2a
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of WP plug-in of Frama-C. *) (* This file is part of WP plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2007-2020 *) (* Copyright (C) 2007-2021 *)
(* CEA (Commissariat a l'energie atomique et aux energies *) (* CEA (Commissariat a l'energie atomique et aux energies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
src/plugins/wp/cfgInit.mli
+ 1
− 1
View file @ b4481b2a
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of WP plug-in of Frama-C. *) (* This file is part of WP plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2007-2020 *) (* Copyright (C) 2007-2021 *)
(* CEA (Commissariat a l'energie atomique et aux energies *) (* CEA (Commissariat a l'energie atomique et aux energies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
src/plugins/wp/wpGenerator.ml
+ 1
− 1
View file @ b4481b2a
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of WP plug-in of Frama-C. *) (* This file is part of WP plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2007-2020 *) (* Copyright (C) 2007-2021 *)
(* CEA (Commissariat a l'energie atomique et aux energies *) (* CEA (Commissariat a l'energie atomique et aux energies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
src/plugins/wp/wpGenerator.mli
+ 1
− 1
View file @ b4481b2a
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of WP plug-in of Frama-C. *) (* This file is part of WP plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2007-2020 *) (* Copyright (C) 2007-2021 *)
(* CEA (Commissariat a l'energie atomique et aux energies *) (* CEA (Commissariat a l'energie atomique et aux energies *)
(* 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