diff --git a/src/kernel_internals/parsing/clexer.mli b/src/kernel_internals/parsing/clexer.mli
index 01635d00e89a6fb367813f7ebbe966b0e349f82c..8927f15fdd03bff4ee896d9c62baf0cdab8c4a6e 100644
--- a/src/kernel_internals/parsing/clexer.mli
+++ b/src/kernel_internals/parsing/clexer.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(** The C Lexer. *)
diff --git a/src/kernel_internals/parsing/clexer.mll b/src/kernel_internals/parsing/clexer.mll
index 2e95e6c11daa679ce1fe023f70bd838b43cd744f..89dbe33f7d5e5467fd8fe0435d48c6b50a7c882d 100644
--- a/src/kernel_internals/parsing/clexer.mll
+++ b/src/kernel_internals/parsing/clexer.mll
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(* FrontC -- lexical analyzer
diff --git a/src/kernel_internals/parsing/cparser.mly b/src/kernel_internals/parsing/cparser.mly
index 0306a989a8023bad4043dc61bca4ea6e4584328f..a7f848039f9ec28bbbc55424809ccf607cfe8e5b 100644
--- a/src/kernel_internals/parsing/cparser.mly
+++ b/src/kernel_internals/parsing/cparser.mly
@@ -39,6 +39,7 @@
/* énergies alternatives) */
/* and INRIA (Institut National de Recherche en Informatique */
/* et Automatique). */
+/* */
/****************************************************************************/
/* 3.22.99 Hugues Cass<E9> First version.
diff --git a/src/kernel_internals/parsing/errorloc.ml b/src/kernel_internals/parsing/errorloc.ml
index 9d1e3669dce6fe5e0e3fada852afb769d27be3f0..fcc349385273ad676645cf6457d5b0956eda1e4d 100644
--- a/src/kernel_internals/parsing/errorloc.ml
+++ b/src/kernel_internals/parsing/errorloc.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(* Copied and modified from [cil/src/errormsg.ml] *)
diff --git a/src/kernel_internals/parsing/errorloc.mli b/src/kernel_internals/parsing/errorloc.mli
index a83180cd21bda8a38594036ed6a639aae1949399..79241282cce3a601fbd852435e500fcdad2fc91c 100644
--- a/src/kernel_internals/parsing/errorloc.mli
+++ b/src/kernel_internals/parsing/errorloc.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(** The module stores the current file,line, and working directory in a
diff --git a/src/kernel_internals/parsing/lexerhack.ml b/src/kernel_internals/parsing/lexerhack.ml
index 56f5480b1484982651bfadb442b9d0d50da843b4..00bd71caf968469fbe42cec501b3588f4c40fcbc 100644
--- a/src/kernel_internals/parsing/lexerhack.ml
+++ b/src/kernel_internals/parsing/lexerhack.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(* We provide here a pointer to a function. It will be set by the lexer and
diff --git a/src/kernel_internals/parsing/lexerhack.mli b/src/kernel_internals/parsing/lexerhack.mli
index 7be70da71c4d2736d7e4b9f8fbf4171ce5f2e394..d660b2f4610b66420c8d1f1f46eda32f492a4ed2 100644
--- a/src/kernel_internals/parsing/lexerhack.mli
+++ b/src/kernel_internals/parsing/lexerhack.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
val add_identifier: (string -> unit) ref
diff --git a/src/kernel_internals/typing/alpha.ml b/src/kernel_internals/typing/alpha.ml
index b4d470ca682c49a31e0f02f6a45fe08c879d9dd7..73e0f238fac115f6e099aa67039368704d021261 100644
--- a/src/kernel_internals/typing/alpha.ml
+++ b/src/kernel_internals/typing/alpha.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
module H = Hashtbl
diff --git a/src/kernel_internals/typing/alpha.mli b/src/kernel_internals/typing/alpha.mli
index 075d2f04f5ee8169510e9534c207c32e75275881..36016c46d6a213e6774f6ecb57ab7c03864519bd 100644
--- a/src/kernel_internals/typing/alpha.mli
+++ b/src/kernel_internals/typing/alpha.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(** Alpha conversion. *)
diff --git a/src/kernel_internals/typing/cabs2cil.ml b/src/kernel_internals/typing/cabs2cil.ml
index 7a2b486adf4825e16806e7bc9895bed548ce5805..4bac9159e132e1c85e3566fd91ffe02eb70ae498 100644
--- a/src/kernel_internals/typing/cabs2cil.ml
+++ b/src/kernel_internals/typing/cabs2cil.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(* Modified by TrustInSoft *)
diff --git a/src/kernel_internals/typing/cabs2cil.mli b/src/kernel_internals/typing/cabs2cil.mli
index 7ec9c583d594757dcb1bb1f7f8993c50c0163eda..9ef8d8582ff30a53b187b77556ed49bd41b037f8 100644
--- a/src/kernel_internals/typing/cabs2cil.mli
+++ b/src/kernel_internals/typing/cabs2cil.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(** Registers a new hook that will be applied each time a side-effect free
diff --git a/src/kernel_internals/typing/cfg.ml b/src/kernel_internals/typing/cfg.ml
index 7da177464c06d83a1dc793427313bd23c4946af4..25843313a2d3d068e0a35213ba544232fe618400 100644
--- a/src/kernel_internals/typing/cfg.ml
+++ b/src/kernel_internals/typing/cfg.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(* Authors: Aman Bhargava, S. P. Rahul *)
diff --git a/src/kernel_internals/typing/cfg.mli b/src/kernel_internals/typing/cfg.mli
index b040cda0b17bf99457fdfd0725c04cec53965e1e..6c9f98bda9f94b5d7b670a8c9d0e4000d646387f 100644
--- a/src/kernel_internals/typing/cfg.mli
+++ b/src/kernel_internals/typing/cfg.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(** Code to compute the control-flow graph of a function or file.
diff --git a/src/kernel_internals/typing/frontc.ml b/src/kernel_internals/typing/frontc.ml
index d48a945dbd97b587807c0f92c18198ab4e1607d9..069bb6bbbb30e571f206945a675a4d63d52b59fd 100644
--- a/src/kernel_internals/typing/frontc.ml
+++ b/src/kernel_internals/typing/frontc.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
let parse_to_cabs (path : Datatype.Filepath.t) =
diff --git a/src/kernel_internals/typing/frontc.mli b/src/kernel_internals/typing/frontc.mli
index 591aa2013dec6264a1479c00e7f362e3f088cf30..34472791f5ef01fd40f3135092763b7a92fe58e6 100644
--- a/src/kernel_internals/typing/frontc.mli
+++ b/src/kernel_internals/typing/frontc.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(** add a syntactic transformation that will be applied to all freshly parsed
diff --git a/src/kernel_internals/typing/mergecil.ml b/src/kernel_internals/typing/mergecil.ml
index cca4dd7a60ff1f685d7ba89a3f76939a0b4f7a11..61b53f17a3c1c0a7674d056dcaa7efc433e8a981 100644
--- a/src/kernel_internals/typing/mergecil.ml
+++ b/src/kernel_internals/typing/mergecil.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(* mergecil.ml *)
diff --git a/src/kernel_internals/typing/mergecil.mli b/src/kernel_internals/typing/mergecil.mli
index ccde88f5c4e1f8c6c8d9310c0ab0b057a02a9be6..4532054c22b6260b93880280c75af82b2e3f53c3 100644
--- a/src/kernel_internals/typing/mergecil.mli
+++ b/src/kernel_internals/typing/mergecil.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(*
diff --git a/src/kernel_internals/typing/oneret.ml b/src/kernel_internals/typing/oneret.ml
index 190753ee6de26af4df7fc3fd4606223db5060b05..c514e9754880be110af5a5e4faf9d1d29bad1c64 100644
--- a/src/kernel_internals/typing/oneret.ml
+++ b/src/kernel_internals/typing/oneret.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
open Cil_types
diff --git a/src/kernel_internals/typing/oneret.mli b/src/kernel_internals/typing/oneret.mli
index 845c74dc833cf1c89f6d156781cf797986311a4c..de5b46fc81d09bf8c750eb21eec11d9b21b8a5c7 100644
--- a/src/kernel_internals/typing/oneret.mli
+++ b/src/kernel_internals/typing/oneret.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(*
diff --git a/src/kernel_internals/typing/rmtmps.ml b/src/kernel_internals/typing/rmtmps.ml
index c07bfae94a550e5184603f83d025b164940c69f1..01c1b346c1d653475d7b488fdbc96ad91133bcd6 100644
--- a/src/kernel_internals/typing/rmtmps.ml
+++ b/src/kernel_internals/typing/rmtmps.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
let dkey = Kernel.dkey_rmtmps
diff --git a/src/kernel_internals/typing/rmtmps.mli b/src/kernel_internals/typing/rmtmps.mli
index 015a4f4dff344aee76e5b7996216088814ccff0e..3693448008d06a2fb1765e3deb79ac1b6e95a53e 100644
--- a/src/kernel_internals/typing/rmtmps.mli
+++ b/src/kernel_internals/typing/rmtmps.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(* rmtmps.mli *)
diff --git a/src/kernel_services/analysis/dataflows.ml b/src/kernel_services/analysis/dataflows.ml
index 8f0dde149788ded2fd0598e40ecd1c358760b657..ffd8a27cd30f1a8e8080ad5d1af27c18b5b8b4d9 100644
--- a/src/kernel_services/analysis/dataflows.ml
+++ b/src/kernel_services/analysis/dataflows.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
open Ordered_stmt
diff --git a/src/kernel_services/analysis/dataflows.mli b/src/kernel_services/analysis/dataflows.mli
index 438d16c03b7edb9bd75d39b7d9995cdb4e434c31..7012705485379be75714a54caefe096b1681845b 100644
--- a/src/kernel_services/analysis/dataflows.mli
+++ b/src/kernel_services/analysis/dataflows.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(** Implementation of data flow analyses over user-supplied domains. *)
diff --git a/src/kernel_services/ast_data/cil_types.ml b/src/kernel_services/ast_data/cil_types.ml
index 8cb7318ad076de9ae78f56378cb1b21302047795..d1e72d54804411130ebad1ba9dd186f7b1bd39e9 100644
--- a/src/kernel_services/ast_data/cil_types.ml
+++ b/src/kernel_services/ast_data/cil_types.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(** The Abstract Syntax of CIL.
diff --git a/src/kernel_services/ast_printing/cprint.ml b/src/kernel_services/ast_printing/cprint.ml
index b9de6911561698d1a951e2be6a7ae506f4002e59..726864b24c343e33238b37d8701b6025d170fc30 100644
--- a/src/kernel_services/ast_printing/cprint.ml
+++ b/src/kernel_services/ast_printing/cprint.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(* cprint -- pretty printer of C program from abstract syntax
diff --git a/src/kernel_services/ast_printing/cprint.mli b/src/kernel_services/ast_printing/cprint.mli
index 448ad7258a1bdf7ad844ecce487220b76dd30f6c..9c1c948629a450000748df3e3a664e04a1d490ee 100644
--- a/src/kernel_services/ast_printing/cprint.mli
+++ b/src/kernel_services/ast_printing/cprint.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(** Printers for the Cabs AST *)
diff --git a/src/kernel_services/ast_queries/cil.ml b/src/kernel_services/ast_queries/cil.ml
index e287cf0048d750ab14e40fc7920d047f348ebbcf..449f772b287a24db0fe5bbdb0b9b29cd0f1b0f24 100644
--- a/src/kernel_services/ast_queries/cil.ml
+++ b/src/kernel_services/ast_queries/cil.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(* Modified by TrustInSoft *)
diff --git a/src/kernel_services/ast_queries/cil.mli b/src/kernel_services/ast_queries/cil.mli
index ca938f4a42d4e4e7db53f65ac8393fe5f3facc5e..480b1edd994acde6fb4f9f53d227d3efbb09685b 100644
--- a/src/kernel_services/ast_queries/cil.mli
+++ b/src/kernel_services/ast_queries/cil.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(** CIL main API.
diff --git a/src/kernel_services/ast_queries/cil_builtins.ml b/src/kernel_services/ast_queries/cil_builtins.ml
index c80b32e7484b1a703e85d748253a8919524fe330..fe00e5c8871f02bceb86ab7fcfbdf65ca32c0526 100644
--- a/src/kernel_services/ast_queries/cil_builtins.ml
+++ b/src/kernel_services/ast_queries/cil_builtins.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
open Cil_datatype
diff --git a/src/kernel_services/ast_queries/cil_builtins.mli b/src/kernel_services/ast_queries/cil_builtins.mli
index 45b02173c47744a19146fab35cc6eff13c84dbf8..f822966b9cac1d76be714d94e9d9d29a7ac065a6 100644
--- a/src/kernel_services/ast_queries/cil_builtins.mli
+++ b/src/kernel_services/ast_queries/cil_builtins.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
open Cil_types
diff --git a/src/kernel_services/ast_queries/cil_const.ml b/src/kernel_services/ast_queries/cil_const.ml
index 74176389529633084c020817c49adeda2c550253..bd4d41d64ce8c58ccc6f9b5170858c3aee2e8f27 100644
--- a/src/kernel_services/ast_queries/cil_const.ml
+++ b/src/kernel_services/ast_queries/cil_const.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
open Cil_types
diff --git a/src/kernel_services/ast_queries/cil_const.mli b/src/kernel_services/ast_queries/cil_const.mli
index 47f7659a34e8c63dfc10af4537b4a585c0974f09..5edd0ba2b30af51dbd07a165e677c06ccdcb0745 100644
--- a/src/kernel_services/ast_queries/cil_const.mli
+++ b/src/kernel_services/ast_queries/cil_const.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(** Smart constructors for some CIL data types *)
diff --git a/src/kernel_services/parsetree/cabs.ml b/src/kernel_services/parsetree/cabs.ml
index 9b45e7218e37672f6f18c3a7cd66d5d83121122b..bf4c553242b148658dd3bcb034d44a07f75f34e2 100644
--- a/src/kernel_services/parsetree/cabs.ml
+++ b/src/kernel_services/parsetree/cabs.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(** Untyped AST.
diff --git a/src/kernel_services/parsetree/cabshelper.ml b/src/kernel_services/parsetree/cabshelper.ml
index f575cd30f7165b8f97c40fc7decb588525d9036a..e557a91dd58ac448771aea22a2932df7ea4374cc 100644
--- a/src/kernel_services/parsetree/cabshelper.ml
+++ b/src/kernel_services/parsetree/cabshelper.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
open Cabs
diff --git a/src/kernel_services/parsetree/cabshelper.mli b/src/kernel_services/parsetree/cabshelper.mli
index 5485c1b58377881bee36766299b982ba95e97065..1b1fbfc418e10678b55f071583a1ea8dab6f9fc9 100644
--- a/src/kernel_services/parsetree/cabshelper.mli
+++ b/src/kernel_services/parsetree/cabshelper.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(** Helper functions for Cabs *)
diff --git a/src/kernel_services/visitors/cabsvisit.ml b/src/kernel_services/visitors/cabsvisit.ml
index 357a69cd0979d5996008036ed5711af71f4b44da..d5a7fe9ae3d10bd455ccced764fec7f3d86270d7 100644
--- a/src/kernel_services/visitors/cabsvisit.ml
+++ b/src/kernel_services/visitors/cabsvisit.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(* cabsvisit.ml *)
diff --git a/src/kernel_services/visitors/cabsvisit.mli b/src/kernel_services/visitors/cabsvisit.mli
index 0714cf8e4fc52248aec49d9fbe1851f9871924bc..253492ab625008fa6663464042feea224652bb98 100644
--- a/src/kernel_services/visitors/cabsvisit.mli
+++ b/src/kernel_services/visitors/cabsvisit.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(* cabsvisit.mli *)
diff --git a/src/libraries/utils/cilconfig.ml b/src/libraries/utils/cilconfig.ml
index 4b479e985f7674cdaa4ac5a21df7e2a720b1c968..844ea8a1c4db9b418e05b6f3b829d7155856b3c4 100644
--- a/src/libraries/utils/cilconfig.ml
+++ b/src/libraries/utils/cilconfig.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
module H = Hashtbl
diff --git a/src/libraries/utils/cilconfig.mli b/src/libraries/utils/cilconfig.mli
index ab24929647418b9019399fd591ecd45ea1fc3be7..46e5a7b3441a87d8306c12aa26e8e5f802221181 100644
--- a/src/libraries/utils/cilconfig.mli
+++ b/src/libraries/utils/cilconfig.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
diff --git a/src/libraries/utils/escape.ml b/src/libraries/utils/escape.ml
index bed960e171cfbc914c92f7b5544201e9b835c09f..bb4b73c807181fde9be46c06aad1ecbfd3e77a4c 100644
--- a/src/libraries/utils/escape.ml
+++ b/src/libraries/utils/escape.ml
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
diff --git a/src/libraries/utils/escape.mli b/src/libraries/utils/escape.mli
index d43bb622df4afb9196de0083a664432414df1b68..49ef2c2cfb6e739a8d2df3e38edab844f71f285e 100644
--- a/src/libraries/utils/escape.mli
+++ b/src/libraries/utils/escape.mli
@@ -39,6 +39,7 @@
(* énergies alternatives) *)
(* and INRIA (Institut National de Recherche en Informatique *)
(* et Automatique). *)
+(* *)
(****************************************************************************)
(*
diff --git a/src/plugins/e-acsl/E_ACSL.ml b/src/plugins/e-acsl/E_ACSL.ml
index 33ff9ca86aff2085fb9f250b4028f9e48bee2ab7..f8fdc67b8475691bd84bd17c873dbafc2f70b4a0 100644
--- a/src/plugins/e-acsl/E_ACSL.ml
+++ b/src/plugins/e-acsl/E_ACSL.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** E-ACSL. *)
diff --git a/src/plugins/e-acsl/E_ACSL.mli b/src/plugins/e-acsl/E_ACSL.mli
index 8c82c12a07297925120d3a403d559253994f0d9a..22530abf4e31e2bc38455ab442d26d65a367d21d 100644
--- a/src/plugins/e-acsl/E_ACSL.mli
+++ b/src/plugins/e-acsl/E_ACSL.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** E-ACSL. *)
diff --git a/src/plugins/e-acsl/contrib/libdlmalloc/Makefile b/src/plugins/e-acsl/contrib/libdlmalloc/Makefile
index e97b013d7483aadfa5a3885a3673371de4438718..b62a71fb7be3d74ab947f01d116ad39141eda4b5 100644
--- a/src/plugins/e-acsl/contrib/libdlmalloc/Makefile
+++ b/src/plugins/e-acsl/contrib/libdlmalloc/Makefile
@@ -17,6 +17,7 @@
# #
# See the GNU Lesser General Public License version 2.1 #
# for more details (enclosed in the file licenses/LGPLv2.1). #
+# #
##########################################################################
EACSL_DLMALLOC_LIB = libeacsl-dlmalloc.a
diff --git a/src/plugins/e-acsl/dune b/src/plugins/e-acsl/dune
index bf40e08f3b42fc4f81f5baf653d1c943a1351c15..2a14f54f6fe256e473ef32b4beba8e7de85c4256 100644
--- a/src/plugins/e-acsl/dune
+++ b/src/plugins/e-acsl/dune
@@ -17,6 +17,7 @@
;; ;;
;; See the GNU Lesser General Public License version 2.1 ;;
;; for more details (enclosed in the file licenses/LGPLv2.1). ;;
+;; ;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; BUILD LIBDLMALLOC
diff --git a/src/plugins/e-acsl/dune-project b/src/plugins/e-acsl/dune-project
index 2412c3af493010c61b1bc6f8d4ae92bc662035a8..94c9af22061dc704633d646da460c81972c89de0 100644
--- a/src/plugins/e-acsl/dune-project
+++ b/src/plugins/e-acsl/dune-project
@@ -18,6 +18,7 @@
;; ;;
;; See the GNU Lesser General Public License version 2.1 ;;
;; for more details (enclosed in the file licenses/LGPLv2.1). ;;
+;; ;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(name frama-c-e-acsl)
diff --git a/src/plugins/e-acsl/man/dune b/src/plugins/e-acsl/man/dune
index 55ff6d1f41a4e189ed25916217327489021e3d28..f2032a3f4b6c67eab3bd22cae0c7c2e8c860c17c 100644
--- a/src/plugins/e-acsl/man/dune
+++ b/src/plugins/e-acsl/man/dune
@@ -17,6 +17,7 @@
;; ;;
;; See the GNU Lesser General Public License version 2.1 ;;
;; for more details (enclosed in the file licenses/LGPLv2.1). ;;
+;; ;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(install
diff --git a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1 b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
index 8134e9d4d13fe0b2489beb36318fd8364a63f5fe..178b88e50ebbcdc49b7a6b6e83ee085cf3054586 100644
--- a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
+++ b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
@@ -17,6 +17,7 @@
.\"
.\" See the GNU Lesser General Public License version 2.1
.\" for more details (enclosed in the file licenses/LGPLv2.1).
+.\"
.\"------------------------------------------------------------------------
.TH E-ACSL-GCC.SH 1 2016-02-02
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index aebdb3e7af2b000c552fa00d9d2eba8197383453..68880f34d5403caff56eaa5b9578ded731a0f258 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -18,6 +18,7 @@
# #
# See the GNU Lesser General Public License version 2.1 #
# for more details (enclosed in the file licenses/LGPLv2.1). #
+# #
##########################################################################
# Convenience wrapper for small runs of E-ACSL Frama-C plugin
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp
index 19d26ed1a6c9c4c70622b1cc4c1c1d28e18267d3..75680227787828389c6763e8cf2206b97ae8bae3 100644
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp
@@ -17,6 +17,7 @@
# #
# See the GNU Lesser General Public License version 2.1 #
# for more details (enclosed in the file licenses/LGPLv2.1). #
+# #
##########################################################################
# Bash completion for e-acsl-gcc.sh
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl.h b/src/plugins/e-acsl/share/e-acsl/e_acsl.h
index f42d66cf2ffc5d5c22afe4bc89f941f8d8aa0b56..b079b277f4a79275e9b1cb71058663f53e5da5b8 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c b/src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c
index e5021d0957bf7c83c07ad66c8b6971cf9f1e2c4d..527bf92f8731566be735d101352578147add3d62 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/* Get default definitions and macros e.g., PATH_MAX */
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c
index aad9fe434ce14c072232e433aa18f2e01ca9a67d..64dc07cd8d517d5c355ea6d3d83769bde27de7c0 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.h b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.h
index 01dd86b4cebd779f8520b3b8182ff3a1b23ca02b..2da8074614b82575853f019f4ac4599f9facf792 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.h
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data.h b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data.h
index 9f2266004834c8514b0202369b3e961d796e6e29..5edc65de91235cec7d6d9967de448c1bb2585271 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data.h
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.c b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.c
index 6c1511b666190b7245914f42da6031938011aa2d..d185800c9a4c4fb22d3744ad52cd4570923a7a40 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.c
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.h b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.h
index 9839c6d8c7c138989b44f3862d25a3eb6c6a8d48..be923d8b0c977b4808e6a62e40cbcc2eb8165c02 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.h
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.c b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.c
index d27601ba871b2cec7666f0297acc521836bf0fba..afc65fba6aa664a283e0127d5f5ffbcc4e5be4f6 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.c
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h
index c7052319607fe3b9d8916413ee60f887aa54443b..b42822c43550f566f0b188e5eae951d0e8b486cd 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.c b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.c
index eb77a8f1f82b3c520975dde8dee483eecce635c0..dbdb91499340e99575f4bd08064c6776eb50c59c 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.c
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#ifdef E_ACSL_TEMPORAL
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.h b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.h
index eb9f8704913284857efb00db1aabf22bc106372d..5f2dca0019ec67c5758d8e66a5b5be4741a8b69f 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.h
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal_timestamp.h b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal_timestamp.h
index 5b1c40d9fa9a7cc0f0b73edcc15924fcdbe5ee73..57188c4e5389d03d5e9cdb54e4f2aa359442f589 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal_timestamp.h
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal_timestamp.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_alias.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_alias.h
index 91abbc87f4b65b1c47aaec9c4ea4fd8a8d81aa51..1a5fa47767ad406b9a12391495e99b852ef9a3ce 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_alias.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_alias.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.c
index 5d290017d6c7fa9d5f296d2d136304854d50c2c9..460cbf8411607a49e293332740879d8c18497f9f 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#include "e_acsl_bits.h"
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.h
index ba0c7192892c1eacf76a2d5cecdd0724d2f8d754..b91c527dedfd3dac8a6875fa3f0c608ceaa46c3e 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_concurrency.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_concurrency.h
index d06986c072c3531a9ad514eb94a4a1d1e09cc0bd..d28cdf3b24069edeb58b8ebb641ac981e14f4287 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_concurrency.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_concurrency.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_config.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_config.h
index 153634468203a712fa85de0cd87174819e9f9dcd..58d1d0e75aa78fd2e8de9e350b45672e26385e72 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_config.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_config.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.c
index e2e2305bdabc3133591777daa1f7df56952331be..fe2eb4d129f697ea13614b2ad1ffd1bea20ff664 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#include <fcntl.h>
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.h
index ff95d1bbb4316cf03345df6f282df57fcb499b40..b45b8e401d32f2c9e2a7d59cb0318971d5442606 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.c
index 6b43504d6bbacb5165f0bbc8bbab2a3210901d0a..2b6d9b1e8e75dfeaad357ea5fcba30384596c4f1 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#include "e_acsl_malloc.h"
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.h
index 0207295a09610d663b9a581e58de0388162067cd..36ee84d817b405381f170b22f2fa38075a4fe048 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.c
index ffd83e5dac7bd665a71d4b2d60264af66c96f97a..c43e70533af51307717d07c4ef762d49cc73d968 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#include <limits.h>
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.h
index 67629be93cbf848f39971ef5e97db5c531eaac00..6be16c0d03878180c3c6574d385b3622c54d428f 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.c
index f895ac6e53424e3d0f198619d272a9e188868187..f3e7ae744e9ab92b306c6cbf3b3bf343e93de25e 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.h
index 4e56849d1523c3bce85f329c9bb06fdb0b1982d2..f6cdf591efbc00c4084fdf9db68295db2b1dc365 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_string.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_string.c
index 01fad25c2c490014eaa23a5884e5e6c69fedb9e3..967a8b7119313ae5f989e7ad26e7ae45305acf80 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_string.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_string.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#include "e_acsl_malloc.h"
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_string.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_string.h
index 765580e7cd69df533a2f22c46845930e45b9ea40..2f64176d07c8d1c420acbebd8bc0ff498e472137 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_string.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_string.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.c
index aab766203ab071bd5c609986eb1ba46ae1268274..1d662b4a68f4f550d34649003c244c38515deac2 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.h
index 12dd32684bee1a028ef87c337a7a24401b74ae3d..961eee807ed5d8360196b1f63d014311437e5785 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.c
index dacc26be6cb4b6d1f2f7fa36a72cce6021b233d4..143c156d8fe733c25584b1e87b79c560c0d679f9 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/* Get default definitions and macros e.g., PATH_MAX */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.h
index 6850b6bc87e3e436d1c912da68171097a3f35d24..3a6e5f605c9f6581c1c0e43b437f0633640a4784 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.c b/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.c
index 1624788d62242b0900620c86fd22055db1b8112c..94dbd3af8a0f1672df4634b93fb0b3f59e58aab4 100644
--- a/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.c
+++ b/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#ifdef E_ACSL_VALIDATE_FORMAT_STRINGS
diff --git a/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.h b/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.h
index 02c1eb16329671035dcc2fa665a24267e5e1269f..d63cf3f6c20bdf548b28488bc4b43338ffc54101 100644
--- a/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.h
+++ b/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.c b/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.c
index c502b7f8f8151f0707b9aa8cdd76e39fd4bdac51..74eb6da11a74344183400ff65974e39345646dd2 100644
--- a/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.c
+++ b/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#include "../internals/e_acsl_private_assert.h"
diff --git a/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.h b/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.h
index db4b90f1735568f495ca13a140f49e05d88e7ca2..16b97a9407e448c98af9a414e2cedd0b81af25ec 100644
--- a/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.h
+++ b/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.c b/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.c
index adb5beebea3247990aba3e16ce3d17f69097b421..6e2d0e4a0a982a2e83168aaa854657dca1e182cb 100644
--- a/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.c
+++ b/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#include <fenv.h>
diff --git a/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.h b/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.h
index 5b353dd3c204582b732fca2b93229b878f4670e0..c4583bf43e6506126c1600e676fb64d669b9fe9c 100644
--- a/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.h
+++ b/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_gmp_api.h b/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_gmp_api.h
index d21e842803f7c76b48e5e1b5c00435e5843ede3b..ccd6d8751b67e4a04482817d0bf60ea6c071f764 100644
--- a/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_gmp_api.h
+++ b/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_gmp_api.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.c b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.c
index 77eb3a9f77a16f989114ddfdd135190e10693f51..80e20bc5a3a2d9d39dd9c3e02c4d213eaf89c05f 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.h b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.h
index 163adb9f7c6cfd1d65c3bbca7a24b2796887501d..84d2a0c483a20b7b03154c4a445fef5f3abd815f 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_observation_model.c b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_observation_model.c
index 89385d5394498b615c3f796c9949ade16bc5ffff..a1e7b0c7ed0f00f4ea5836e65d65ea068006d0a7 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_observation_model.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_observation_model.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_omodel_debug.c b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_omodel_debug.c
index bee026068b0cd9438325e24d809584789802ee7f..05b299ab2e2bea62e58080667bc5bf6738e7eaa9 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_omodel_debug.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_omodel_debug.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#include "../../internals/e_acsl_private_assert.h"
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_timestamp_retrieval.c b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_timestamp_retrieval.c
index 84167a1c8788b0fa37ef40cc87055e7b0eabef89..86538ebfa9d26ff23f3427b0721022e8469c779f 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_timestamp_retrieval.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_timestamp_retrieval.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#include "../../internals/e_acsl_private_assert.h"
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.c b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.c
index e13bae1d36a189a5f858644abd394ffd0391952e..a288e527f70325646c9d218d5eb340cbd963fbb3 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#include "internals/e_acsl_heap_tracking.h"
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.h b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.h
index e30cc710442451ca43d95924f85481b7666241d7..99c12fb6b0493084ae744273550e98dba311ee88 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.c b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.c
index 376c3ab19c384d57b37c753ce373ecfa936c4a2a..b962116adb939bd2a3bbc282bb994f28dc75983e 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/************************************************************************/
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.h b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.h
index 1ef49697594fa370370c02c3f5e630fdb76ec06c..38737179123971a2fad7b12d3f57bad2b59cbff4 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.c b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.c
index 70d8de1e0946536e0e8a5d62120280a26b01c4e7..266402332d5c137861804192d6143f5c3509b191 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#include "e_acsl_heap_tracking.h"
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.h b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.h
index de2402bb286f898b0ff3315f6393c4b7c89d53df..03fe0e123d0a0d6deca04be736bc1a9b02d96550 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_omodel_debug.h b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_omodel_debug.h
index 892321163aea30f181cd13275ee5dec806acfbea..e790aae88ebcbd48b31ed20afbea35a20d0f17f9 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_omodel_debug.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_omodel_debug.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#ifndef E_ACSL_OMODEL_DEBUG_H
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.c b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.c
index 417e9ddc60f0683a78ea633211049a0ddafd4b2c..f887b0ca259320d3f752250730cd393ec4b37ec9 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.h b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.h
index 5a529f64b448e335c30cfc66f32a082cb8d88ee6..f7830b4eff69e26d4a8db28d671574e22ec99e03 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.c b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.c
index 2a8d47fdac60379c4ea1b0c5a8d13ae8b93beb67..64fb1fd55b7233dcedd017fccbc638c817527fc8 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#include <errno.h>
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.h b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.h
index f80ed42bf1d642f0433fadf65aeab0eafe568be9..434e741b326a0c996d281cdce1d6683c4d78b18a 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_timestamp_retrieval.h b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_timestamp_retrieval.h
index 39856c36c16279af91c3a2fe9035e76ab42992d6..8f6af007add202a08faa3e41ef603973776f98f2 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_timestamp_retrieval.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_timestamp_retrieval.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_observation_model.c b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_observation_model.c
index 7bb0944f858e30779d4c5cde5530c24b0ac19ac0..ebd6635e722553e2ea30ee9793a9c509a71f977d 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_observation_model.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_observation_model.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_omodel_debug.c b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_omodel_debug.c
index 37a0b4132f02b9c98596b301f5aa8ca67cc12b0a..4c63638e2ce96f999666437770526ea7aafa1089 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_omodel_debug.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_omodel_debug.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#include "../../internals/e_acsl_bits.h"
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_timestamp_retrieval.c b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_timestamp_retrieval.c
index 9e871b02ddee1a77b9909c6fd5b9f49a1e49fd6b..f52896f3b23a9a57f9b9038c0bc5d545eb59e86d 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_timestamp_retrieval.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_timestamp_retrieval.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#include "e_acsl_segment_tracking.h"
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c
index c92ba0da83c15b5ebf2d3277820235e413339cd1..107dbd0bc32b2aba71d2e45a20be078548f4665a 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#include <inttypes.h>
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.h b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.h
index b4add2bf2211a452944a9acc5a57c0a6106b1673..f8c2f8a1da7929d50e44d0097f9201a42281d1eb 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.c b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.c
index 4ffd003425a3d68a64a66ea0bed61ff3f59c2a26..b6e4b1643d6cf4c38774d87add38ce4b17e88948 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.h b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.h
index 7a8feed4aaea4a861941ae6970aabc8720945a6d..c7699522065e88b3e07d824c184635928bb98d99 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c
index c9a0cfb3c001d114980eb49adc4cd6659b66ab01..a25bbcaa889bec3b28b66bbe2e64607f7d418d79 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
#include <stddef.h>
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h
index e340b543f4d4c90c1ea48733cf4660973aa0b3fe..9e1abdec36a2ef61f93b1bc224deb14cb4d37c9f 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h
@@ -17,6 +17,7 @@
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
/**************************************************************************/
/*! ***********************************************************************
diff --git a/src/plugins/e-acsl/src/analyses/analyses.ml b/src/plugins/e-acsl/src/analyses/analyses.ml
index 94f2d17dfe4e87401f0fad0c4e0b0dede133b375..cc0bcb140549d76b23e72104ce0156830b9641cd 100644
--- a/src/plugins/e-acsl/src/analyses/analyses.ml
+++ b/src/plugins/e-acsl/src/analyses/analyses.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
let analyses_feedback msg =
diff --git a/src/plugins/e-acsl/src/analyses/analyses.mli b/src/plugins/e-acsl/src/analyses/analyses.mli
index 6b8658b6304a0e94f7c570c152c0da7a738aa288..6125f7fdd775a8e09367cad72651c7e7bb2887da 100644
--- a/src/plugins/e-acsl/src/analyses/analyses.mli
+++ b/src/plugins/e-acsl/src/analyses/analyses.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** General module for E-ACSL analyses *)
diff --git a/src/plugins/e-acsl/src/analyses/bound_variables.ml b/src/plugins/e-acsl/src/analyses/bound_variables.ml
index 134f204adc379a2b77803595b10b277b742651be..441dadd082b596b5059a305cb6267f5b8af6d54b 100644
--- a/src/plugins/e-acsl/src/analyses/bound_variables.ml
+++ b/src/plugins/e-acsl/src/analyses/bound_variables.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Module for preprocessing the quantified predicates. Predicates with
diff --git a/src/plugins/e-acsl/src/analyses/bound_variables.mli b/src/plugins/e-acsl/src/analyses/bound_variables.mli
index 8d61c7eeaee9627b96f777ec9fae9cc77f52f209..e8a99e37bc10d8ab18ff4fda7166bb61f0991226 100644
--- a/src/plugins/e-acsl/src/analyses/bound_variables.mli
+++ b/src/plugins/e-acsl/src/analyses/bound_variables.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/analyses/e_acsl_visitor.ml b/src/plugins/e-acsl/src/analyses/e_acsl_visitor.ml
index fb0426730fff79db1a5f17442396f2f32c13b8f3..8674b84187cc5d586773767364663c238334b52a 100644
--- a/src/plugins/e-acsl/src/analyses/e_acsl_visitor.ml
+++ b/src/plugins/e-acsl/src/analyses/e_acsl_visitor.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/analyses/e_acsl_visitor.mli b/src/plugins/e-acsl/src/analyses/e_acsl_visitor.mli
index 5ea8af8b0d4e0f972bc9ed8b74a1fe903cd5cdf9..9189cf59833cf9ba968d9378c7f8df84ac7f6042 100644
--- a/src/plugins/e-acsl/src/analyses/e_acsl_visitor.mli
+++ b/src/plugins/e-acsl/src/analyses/e_acsl_visitor.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/analyses/exit_points.ml b/src/plugins/e-acsl/src/analyses/exit_points.ml
index 3ea0b45ba810fce13efdbb4367fc14a0b2509921..dea92c70b09499349ab1a402343f486462584a98 100644
--- a/src/plugins/e-acsl/src/analyses/exit_points.ml
+++ b/src/plugins/e-acsl/src/analyses/exit_points.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/analyses/exit_points.mli b/src/plugins/e-acsl/src/analyses/exit_points.mli
index 1061c1027dbbaade25180f5aee4f920fdcdab73e..732e7b92e38dbe3e06c6fd8ecffae6827ef2858e 100644
--- a/src/plugins/e-acsl/src/analyses/exit_points.mli
+++ b/src/plugins/e-acsl/src/analyses/exit_points.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** E-ACSL tracks a local variable by injecting:
diff --git a/src/plugins/e-acsl/src/analyses/interval.ml b/src/plugins/e-acsl/src/analyses/interval.ml
index 5c783b65c68edc88dadf5525740ee9fe617ce342..d43be59cca8c0e62ca5c24be89b606971f2f6ba7 100644
--- a/src/plugins/e-acsl/src/analyses/interval.ml
+++ b/src/plugins/e-acsl/src/analyses/interval.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/analyses/interval.mli b/src/plugins/e-acsl/src/analyses/interval.mli
index 64aaf7efe1f62f2feef981b6d7fa52a9def24b70..1cbc74927306bbc3f4d2f6bf6a349c86285b66ff 100644
--- a/src/plugins/e-acsl/src/analyses/interval.mli
+++ b/src/plugins/e-acsl/src/analyses/interval.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Interval inference for terms.
diff --git a/src/plugins/e-acsl/src/analyses/labels.ml b/src/plugins/e-acsl/src/analyses/labels.ml
index 26284e02a9b2b23384cb14e91f59273fc882b3bc..afca5076f37a87bf7ff513a5d848aa0fb1a751b5 100644
--- a/src/plugins/e-acsl/src/analyses/labels.ml
+++ b/src/plugins/e-acsl/src/analyses/labels.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Pre-analysis for Labeled terms and predicates. *)
diff --git a/src/plugins/e-acsl/src/analyses/labels.mli b/src/plugins/e-acsl/src/analyses/labels.mli
index e34ca1b9ca898ab34233003d63175dc38bec6d3d..1c9a7951d7f6ec09658a45ceaf76108306983fc9 100644
--- a/src/plugins/e-acsl/src/analyses/labels.mli
+++ b/src/plugins/e-acsl/src/analyses/labels.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Pre-analysis for Labeled terms and predicates.
diff --git a/src/plugins/e-acsl/src/analyses/literal_strings.ml b/src/plugins/e-acsl/src/analyses/literal_strings.ml
index 9bb5945b338af4a5056a8c714a660f570cb221af..60c0c4042c561b158873f63775fc6cf9797a087b 100644
--- a/src/plugins/e-acsl/src/analyses/literal_strings.ml
+++ b/src/plugins/e-acsl/src/analyses/literal_strings.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/analyses/literal_strings.mli b/src/plugins/e-acsl/src/analyses/literal_strings.mli
index 63a861b98745186d571719838c7d4f9e87cc248c..5a83b3e7181fb58006b5ee858ef10db5401ff36d 100644
--- a/src/plugins/e-acsl/src/analyses/literal_strings.mli
+++ b/src/plugins/e-acsl/src/analyses/literal_strings.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Associate literal strings to fresh varinfo. *)
diff --git a/src/plugins/e-acsl/src/analyses/logic_normalizer.ml b/src/plugins/e-acsl/src/analyses/logic_normalizer.ml
index e5c812b7fe9e137766ab8084d3806f2dca05a06b..8e370f5f25c392be18974ee7d86a8f327a821863 100644
--- a/src/plugins/e-acsl/src/analyses/logic_normalizer.ml
+++ b/src/plugins/e-acsl/src/analyses/logic_normalizer.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/analyses/logic_normalizer.mli b/src/plugins/e-acsl/src/analyses/logic_normalizer.mli
index 3b82697abda6013f81f29aa290e63f9f4b6d312e..521d23380fd0157a17a74f28f4944309981dbf37 100644
--- a/src/plugins/e-acsl/src/analyses/logic_normalizer.mli
+++ b/src/plugins/e-acsl/src/analyses/logic_normalizer.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** This module is dedicated to some preprocessing on the predicates:
diff --git a/src/plugins/e-acsl/src/analyses/lscope.ml b/src/plugins/e-acsl/src/analyses/lscope.ml
index 3b77b35298cdccc7803e8fcdd77788947fd5d850..75ad1069a9917f7ba7a0278e0b6e3ca2525de524 100644
--- a/src/plugins/e-acsl/src/analyses/lscope.ml
+++ b/src/plugins/e-acsl/src/analyses/lscope.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/analyses/lscope.mli b/src/plugins/e-acsl/src/analyses/lscope.mli
index 986809620eda5813f39d837cf41014e269903a18..3a603d8c2fd843834b39805e0827143be873e418 100644
--- a/src/plugins/e-acsl/src/analyses/lscope.mli
+++ b/src/plugins/e-acsl/src/analyses/lscope.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Analyses_types
diff --git a/src/plugins/e-acsl/src/analyses/memory_tracking.ml b/src/plugins/e-acsl/src/analyses/memory_tracking.ml
index b5d25f7b0f0e9c56aa863dbe9cccf2a3fa741e25..c9dafda541ae474b21073ae00cb76149f677be75 100644
--- a/src/plugins/e-acsl/src/analyses/memory_tracking.ml
+++ b/src/plugins/e-acsl/src/analyses/memory_tracking.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/analyses/memory_tracking.mli b/src/plugins/e-acsl/src/analyses/memory_tracking.mli
index 7bd06d4d70314759a81c9e3f6b93cb8679356684..7506e46adf9f8c0e6e3b9fab5ce2d1e205fb7947 100644
--- a/src/plugins/e-acsl/src/analyses/memory_tracking.mli
+++ b/src/plugins/e-acsl/src/analyses/memory_tracking.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/analyses/rte.ml b/src/plugins/e-acsl/src/analyses/rte.ml
index 9cef65315abbba1ecb8b3e86d7ef06a64b7356fc..2aa4d49bcbc0122ebdcc7b8ef963a0ec7463bb2c 100644
--- a/src/plugins/e-acsl/src/analyses/rte.ml
+++ b/src/plugins/e-acsl/src/analyses/rte.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(* ************************************************************************** *)
diff --git a/src/plugins/e-acsl/src/analyses/rte.mli b/src/plugins/e-acsl/src/analyses/rte.mli
index e2083cddc3bdc442c0d6f0853a5cd18598fded78..0f307c8ef51a0717534c35630c2d6b4c955870a7 100644
--- a/src/plugins/e-acsl/src/analyses/rte.mli
+++ b/src/plugins/e-acsl/src/analyses/rte.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Accessing the RTE plug-in easily. *)
diff --git a/src/plugins/e-acsl/src/analyses/typing.ml b/src/plugins/e-acsl/src/analyses/typing.ml
index 92a04aa78e40980d79f3403d7af0ca1ebb77ddaa..99d595232584bdb5476d86f8f0787c1745aaafe4 100644
--- a/src/plugins/e-acsl/src/analyses/typing.ml
+++ b/src/plugins/e-acsl/src/analyses/typing.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/analyses/typing.mli b/src/plugins/e-acsl/src/analyses/typing.mli
index f08926096470541986009a092b85dc0fdb13b791..b0dcc3e9fde9d394a6ba29f12d7b5dc6892bdad2 100644
--- a/src/plugins/e-acsl/src/analyses/typing.mli
+++ b/src/plugins/e-acsl/src/analyses/typing.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Type system which computes the smallest C type that may contain all the
diff --git a/src/plugins/e-acsl/src/analyses/widening.ml b/src/plugins/e-acsl/src/analyses/widening.ml
index 40246542e69c0df84809f904f051167d4eb7d60b..96801eb7237b1d20475b8f83ea6d8dcb83152c88 100644
--- a/src/plugins/e-acsl/src/analyses/widening.ml
+++ b/src/plugins/e-acsl/src/analyses/widening.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/analyses/widening.mli b/src/plugins/e-acsl/src/analyses/widening.mli
index df35d6deb45b1cfa8a1380cafb05041ccd988b98..36fd4dc086864353ed6a61746e31c9fcf5f6a899 100644
--- a/src/plugins/e-acsl/src/analyses/widening.mli
+++ b/src/plugins/e-acsl/src/analyses/widening.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/assert.ml b/src/plugins/e-acsl/src/code_generator/assert.ml
index 24685560a90308f4afd6e130ba041582d3fc442a..a49425e216c0ed16091850cb5e88671c00e848a2 100644
--- a/src/plugins/e-acsl/src/code_generator/assert.ml
+++ b/src/plugins/e-acsl/src/code_generator/assert.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Module with the context to hold the data contributing to an assertion and
diff --git a/src/plugins/e-acsl/src/code_generator/assert.mli b/src/plugins/e-acsl/src/code_generator/assert.mli
index 4a2b6640692ceacc1c859c9f7e4ca2cf540846f2..fd98f26c87de07a18befe20f300f615d90e39c36 100644
--- a/src/plugins/e-acsl/src/code_generator/assert.mli
+++ b/src/plugins/e-acsl/src/code_generator/assert.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Module with the context to hold the data contributing to an assertion and
diff --git a/src/plugins/e-acsl/src/code_generator/assigns.ml b/src/plugins/e-acsl/src/code_generator/assigns.ml
index 1be381107066aa4c93149d2e72ca4bbaafac6563..f33b65bf6e1f4a50acd12245e858f5356b07c3f6 100644
--- a/src/plugins/e-acsl/src/code_generator/assigns.ml
+++ b/src/plugins/e-acsl/src/code_generator/assigns.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/assigns.mli b/src/plugins/e-acsl/src/code_generator/assigns.mli
index 35aba7352d0e00086c6a181e126c06a37fb57811..2d4d110177e340291d3b9c2b225be7f3771cba53 100644
--- a/src/plugins/e-acsl/src/code_generator/assigns.mli
+++ b/src/plugins/e-acsl/src/code_generator/assigns.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
exception NoAssigns
diff --git a/src/plugins/e-acsl/src/code_generator/contract.ml b/src/plugins/e-acsl/src/code_generator/contract.ml
index 5a5bc3ba4b45059c1e330d13e1e7d7835aa041af..e7118a6f17f93983eb90dbf84e494555d2345717 100644
--- a/src/plugins/e-acsl/src/code_generator/contract.ml
+++ b/src/plugins/e-acsl/src/code_generator/contract.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/contract.mli b/src/plugins/e-acsl/src/code_generator/contract.mli
index afc1a4899a0d4ba76010e084659b4796f2324c95..a6eb339b2705ea6897f4ba471550b597655f5d38 100644
--- a/src/plugins/e-acsl/src/code_generator/contract.mli
+++ b/src/plugins/e-acsl/src/code_generator/contract.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/contract_types.ml b/src/plugins/e-acsl/src/code_generator/contract_types.ml
index 96975ee7ea2d6c8170b407ad55ec9582eb45fb0c..f3164dd39eef4105b40cb5bf5f3f90fb05ad9f21 100644
--- a/src/plugins/e-acsl/src/code_generator/contract_types.ml
+++ b/src/plugins/e-acsl/src/code_generator/contract_types.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/env.ml b/src/plugins/e-acsl/src/code_generator/env.ml
index a375e446ed53eb027ee869a0cd338ff806982851..bd8614fe577ef9f1e3690131fb9003ba91b9e959 100644
--- a/src/plugins/e-acsl/src/code_generator/env.ml
+++ b/src/plugins/e-acsl/src/code_generator/env.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/env.mli b/src/plugins/e-acsl/src/code_generator/env.mli
index 926121b0f6f3b20e68f645281e7f63710caba72c..91d3aed298aabfff57f7403ded0cf06043a61f11 100644
--- a/src/plugins/e-acsl/src/code_generator/env.mli
+++ b/src/plugins/e-acsl/src/code_generator/env.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/global_observer.ml b/src/plugins/e-acsl/src/code_generator/global_observer.ml
index 5534f4146800bfc7d342b3f61d17b2833e85ddc7..847b8d042df95fad32a2081d06889eb6a0f7f1d7 100644
--- a/src/plugins/e-acsl/src/code_generator/global_observer.ml
+++ b/src/plugins/e-acsl/src/code_generator/global_observer.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/global_observer.mli b/src/plugins/e-acsl/src/code_generator/global_observer.mli
index 3ae26d16f1d1d0aad2a51319c14750a326fc7642..c33dbeacca23921c7e73f25c53affd479bac3563 100644
--- a/src/plugins/e-acsl/src/code_generator/global_observer.mli
+++ b/src/plugins/e-acsl/src/code_generator/global_observer.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Observation of global variables. *)
diff --git a/src/plugins/e-acsl/src/code_generator/gmp.ml b/src/plugins/e-acsl/src/code_generator/gmp.ml
index 7c3d6a99408af926c1e4ac7ca01e6db5e25db725..4e0bd136867031ba9676dbc2d12c19a8cfa30357 100644
--- a/src/plugins/e-acsl/src/code_generator/gmp.ml
+++ b/src/plugins/e-acsl/src/code_generator/gmp.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/gmp.mli b/src/plugins/e-acsl/src/code_generator/gmp.mli
index da355f9a6448414f6341b28274b0916164a46dfc..f37a85513f85e2ea33a6b971ff140ff95dc78383 100644
--- a/src/plugins/e-acsl/src/code_generator/gmp.mli
+++ b/src/plugins/e-acsl/src/code_generator/gmp.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Calls to the GMP's API. *)
diff --git a/src/plugins/e-acsl/src/code_generator/injector.ml b/src/plugins/e-acsl/src/code_generator/injector.ml
index ebfa6916e47bd7b3be2a095fa9b5879be9b72052..a1b7e0269775fb75157e7df20f7fd852eeccd453 100644
--- a/src/plugins/e-acsl/src/code_generator/injector.ml
+++ b/src/plugins/e-acsl/src/code_generator/injector.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/injector.mli b/src/plugins/e-acsl/src/code_generator/injector.mli
index a3c6d20babdb36692c4ab73ef62fb0ff83798c20..bee2c6ecd29fa7cabb20d1ec37e7a2d21bec5f69 100644
--- a/src/plugins/e-acsl/src/code_generator/injector.mli
+++ b/src/plugins/e-acsl/src/code_generator/injector.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** The E-ACSL main instrumentation step. *)
diff --git a/src/plugins/e-acsl/src/code_generator/libc.ml b/src/plugins/e-acsl/src/code_generator/libc.ml
index ba4ace743e07c5c4fe2a34f831dca8f95b81e841..9e34bde8fd6d18428c9553044deb93616368fb4a 100644
--- a/src/plugins/e-acsl/src/code_generator/libc.ml
+++ b/src/plugins/e-acsl/src/code_generator/libc.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Code generation for libc functions *)
diff --git a/src/plugins/e-acsl/src/code_generator/libc.mli b/src/plugins/e-acsl/src/code_generator/libc.mli
index fa7be849cde568aae1459501015508623694fa59..8c99f8bab92ff005bf95e767ccb38191b30f7fef 100644
--- a/src/plugins/e-acsl/src/code_generator/libc.mli
+++ b/src/plugins/e-acsl/src/code_generator/libc.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Code generation for libc functions *)
diff --git a/src/plugins/e-acsl/src/code_generator/literal_observer.ml b/src/plugins/e-acsl/src/code_generator/literal_observer.ml
index 16dd3dfcf598c3b5306b120371225bee9a292c21..37ee1d9fb9ef1be0e474dc3956c605d67973b779 100644
--- a/src/plugins/e-acsl/src/code_generator/literal_observer.ml
+++ b/src/plugins/e-acsl/src/code_generator/literal_observer.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/literal_observer.mli b/src/plugins/e-acsl/src/code_generator/literal_observer.mli
index 46cf003e820dfacb5125a1a1ec2648d18cb1a7e8..dbb9be9df4c8513234e847b85958cf012a2e92d2 100644
--- a/src/plugins/e-acsl/src/code_generator/literal_observer.mli
+++ b/src/plugins/e-acsl/src/code_generator/literal_observer.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Observation of literal strings in C expressions. *)
diff --git a/src/plugins/e-acsl/src/code_generator/logic_array.ml b/src/plugins/e-acsl/src/code_generator/logic_array.ml
index 068a850b315eaba7838b7b67cfd854b707693f55..6d9ba8fad8fecd7ef66c43b2807d63045977df59 100644
--- a/src/plugins/e-acsl/src/code_generator/logic_array.ml
+++ b/src/plugins/e-acsl/src/code_generator/logic_array.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/logic_array.mli b/src/plugins/e-acsl/src/code_generator/logic_array.mli
index bf95f50478e681ebee8e7f9564348084b161b5a5..2ca725592578d040af4864cfc1bc766f6c3aee9b 100644
--- a/src/plugins/e-acsl/src/code_generator/logic_array.mli
+++ b/src/plugins/e-acsl/src/code_generator/logic_array.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/logic_functions.ml b/src/plugins/e-acsl/src/code_generator/logic_functions.ml
index 8db12b5daad01416557beb80fe35266035be7841..421a71f5527d2043970873c6217dea212325ab9e 100644
--- a/src/plugins/e-acsl/src/code_generator/logic_functions.ml
+++ b/src/plugins/e-acsl/src/code_generator/logic_functions.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/logic_functions.mli b/src/plugins/e-acsl/src/code_generator/logic_functions.mli
index a242fd625736b13b8b34de9e05b7911ef0bcdaf8..73eef16200f95d4501b3a817f45d53f5e5ffd49b 100644
--- a/src/plugins/e-acsl/src/code_generator/logic_functions.mli
+++ b/src/plugins/e-acsl/src/code_generator/logic_functions.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/loops.ml b/src/plugins/e-acsl/src/code_generator/loops.ml
index 3a7d1e91a7219377b355cceae92eb3b2c0a7c92f..10fc89d05129a85acca95f666c4571485442c3dc 100644
--- a/src/plugins/e-acsl/src/code_generator/loops.ml
+++ b/src/plugins/e-acsl/src/code_generator/loops.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil
diff --git a/src/plugins/e-acsl/src/code_generator/loops.mli b/src/plugins/e-acsl/src/code_generator/loops.mli
index 9d0b2d778d8f57f2dc88086e7c1cdb20cb2e5d62..614eb9a2373edbc7318cebca3d46c80d15410232 100644
--- a/src/plugins/e-acsl/src/code_generator/loops.mli
+++ b/src/plugins/e-acsl/src/code_generator/loops.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Loop specific actions. *)
diff --git a/src/plugins/e-acsl/src/code_generator/memory_observer.ml b/src/plugins/e-acsl/src/code_generator/memory_observer.ml
index 2b188fb13ea29d348f0a5a01616aaff8858c82df..b911ca68f95e8ce66b350a04eb206501a866123f 100644
--- a/src/plugins/e-acsl/src/code_generator/memory_observer.ml
+++ b/src/plugins/e-acsl/src/code_generator/memory_observer.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_datatype
diff --git a/src/plugins/e-acsl/src/code_generator/memory_observer.mli b/src/plugins/e-acsl/src/code_generator/memory_observer.mli
index 92ce43ff2630493a0a01ca45d537f982d19c85f3..8153bc4f514a5cb5bd66eed10744b67d7ffa0092 100644
--- a/src/plugins/e-acsl/src/code_generator/memory_observer.mli
+++ b/src/plugins/e-acsl/src/code_generator/memory_observer.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Extend the environment with statements which allocate/deallocate memory
diff --git a/src/plugins/e-acsl/src/code_generator/memory_translate.ml b/src/plugins/e-acsl/src/code_generator/memory_translate.ml
index 28a43d32fa69ae7587694d7cd9a6aef3579685f9..84de94e2d1ed6012f3ee3a046460cf6822eda94f 100644
--- a/src/plugins/e-acsl/src/code_generator/memory_translate.ml
+++ b/src/plugins/e-acsl/src/code_generator/memory_translate.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/memory_translate.mli b/src/plugins/e-acsl/src/code_generator/memory_translate.mli
index f4cec24ff8e703167aa0178c709432e3ed0a6096..5445759ebc68914e4acc0421ee218bf2564f2de5 100644
--- a/src/plugins/e-acsl/src/code_generator/memory_translate.mli
+++ b/src/plugins/e-acsl/src/code_generator/memory_translate.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/quantif.ml b/src/plugins/e-acsl/src/code_generator/quantif.ml
index 9b7057239cd7f6a807b56fed3b05db9a2ec6415b..a851389f5485f90a3d1f8de95fe2f2bf6e6308ae 100644
--- a/src/plugins/e-acsl/src/code_generator/quantif.ml
+++ b/src/plugins/e-acsl/src/code_generator/quantif.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/quantif.mli b/src/plugins/e-acsl/src/code_generator/quantif.mli
index 99427f4527e54001b2d8757459e569a16f47489c..b0d24f004c33e08bcfc4adfb818bb10a224d8f19 100644
--- a/src/plugins/e-acsl/src/code_generator/quantif.mli
+++ b/src/plugins/e-acsl/src/code_generator/quantif.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Convert quantifiers. *)
diff --git a/src/plugins/e-acsl/src/code_generator/smart_exp.ml b/src/plugins/e-acsl/src/code_generator/smart_exp.ml
index 2a1562aa0b6ae82d92fa48422aa3505ac57618cf..dc5a6cc5fa0c30ed1c196784a570ddef3e8babf9 100644
--- a/src/plugins/e-acsl/src/code_generator/smart_exp.ml
+++ b/src/plugins/e-acsl/src/code_generator/smart_exp.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/smart_exp.mli b/src/plugins/e-acsl/src/code_generator/smart_exp.mli
index ed3f2cd1fbddf3f5500ae802821926cde3647245..7764038cba1022fa6d6a3be1a21d73e593fdd9d1 100644
--- a/src/plugins/e-acsl/src/code_generator/smart_exp.mli
+++ b/src/plugins/e-acsl/src/code_generator/smart_exp.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/smart_stmt.ml b/src/plugins/e-acsl/src/code_generator/smart_stmt.ml
index 7bc50a2282dd03f907d20d4dbd83b8eab3f38b43..ede8d77c78b85967a94378217e94b68a18c99701 100644
--- a/src/plugins/e-acsl/src/code_generator/smart_stmt.ml
+++ b/src/plugins/e-acsl/src/code_generator/smart_stmt.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/smart_stmt.mli b/src/plugins/e-acsl/src/code_generator/smart_stmt.mli
index 3ddeda1f93477595dcf5c8f22fbf346675ee4e95..f2e49c875c16b3d4c6d23669711689075726ee34 100644
--- a/src/plugins/e-acsl/src/code_generator/smart_stmt.mli
+++ b/src/plugins/e-acsl/src/code_generator/smart_stmt.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/temporal.ml b/src/plugins/e-acsl/src/code_generator/temporal.ml
index 3e4f4ecc7e581f351ef524b7b70c37c19f31bd82..621e54993c596db8d47d63eb7e4e98f6b0d39201 100644
--- a/src/plugins/e-acsl/src/code_generator/temporal.ml
+++ b/src/plugins/e-acsl/src/code_generator/temporal.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(* Detailed description of transformations implemented in this file is
diff --git a/src/plugins/e-acsl/src/code_generator/temporal.mli b/src/plugins/e-acsl/src/code_generator/temporal.mli
index 9f2a075415cf09425e460814d0502f1dd778c2d3..8958a8cab1c33436bf90c8eec659ae95918a44c5 100644
--- a/src/plugins/e-acsl/src/code_generator/temporal.mli
+++ b/src/plugins/e-acsl/src/code_generator/temporal.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Transformations to detect temporal memory errors (e.g., dereference of
diff --git a/src/plugins/e-acsl/src/code_generator/translate_annots.ml b/src/plugins/e-acsl/src/code_generator/translate_annots.ml
index e2b6b1ee3156935a9c2fd11a44d0dd7b52c10706..439c2dba354e069fc2c3b7dff100d048f7fee5c0 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_annots.ml
+++ b/src/plugins/e-acsl/src/code_generator/translate_annots.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/translate_annots.mli b/src/plugins/e-acsl/src/code_generator/translate_annots.mli
index 26dee7eb9e5bbf7f9184281c84ec1f5e096dd3a9..f115d34fc14876d335ef1739d49ef77f8a8e51d8 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_annots.mli
+++ b/src/plugins/e-acsl/src/code_generator/translate_annots.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/translate_ats.ml b/src/plugins/e-acsl/src/code_generator/translate_ats.ml
index 4cdb9e9e224e389035aa2af9600f887378cbdcf7..961e4a5bae742b512437d5817f7e5df4e368d295 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_ats.ml
+++ b/src/plugins/e-acsl/src/code_generator/translate_ats.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Generate C implementations of E-ACSL [\at()] terms and predicates. *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_ats.mli b/src/plugins/e-acsl/src/code_generator/translate_ats.mli
index 9307257a5354be3d51d113d835184e8eedbaf8f0..dffc18437ac17af2f794fe6f5fb2901512a6ca68 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_ats.mli
+++ b/src/plugins/e-acsl/src/code_generator/translate_ats.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Generate C implementations of E-ACSL [\at()] terms and predicates. *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_predicates.ml b/src/plugins/e-acsl/src/code_generator/translate_predicates.ml
index 9f9190ba290c0685c7fbe65fcd02045151466144..220e628d43df44456fae548e655c04cd243791dc 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_predicates.ml
+++ b/src/plugins/e-acsl/src/code_generator/translate_predicates.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Generate C implementations of E-ACSL predicates. *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_predicates.mli b/src/plugins/e-acsl/src/code_generator/translate_predicates.mli
index 57808e08577983540323ebd0d32e0069dd1481e4..d32971917c54c7562e7e6a6bf0095a98e4160f65 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_predicates.mli
+++ b/src/plugins/e-acsl/src/code_generator/translate_predicates.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/translate_rtes.ml b/src/plugins/e-acsl/src/code_generator/translate_rtes.ml
index d17e6dbf3a6bcd316850a550b411f062ea47599a..239e3707b4a84bdeb137da56b41b97902096c30f 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_rtes.ml
+++ b/src/plugins/e-acsl/src/code_generator/translate_rtes.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Generate and translate RTE annotations. *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_rtes.mli b/src/plugins/e-acsl/src/code_generator/translate_rtes.mli
index 300b84674885bc3f15081942cc9122b2835ae87a..06cf6fa5957488045ae59389e27d834d0c7b9c95 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_rtes.mli
+++ b/src/plugins/e-acsl/src/code_generator/translate_rtes.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/translate_terms.ml b/src/plugins/e-acsl/src/code_generator/translate_terms.ml
index d252cfced7b8886f6355422b475d513c03649377..579ccf286834d0a5c029d2bcd5edf30ef266efcb 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_terms.ml
+++ b/src/plugins/e-acsl/src/code_generator/translate_terms.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Generate C implementations of E-ACSL terms. *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_terms.mli b/src/plugins/e-acsl/src/code_generator/translate_terms.mli
index 6b5d18cd8ca681b867fc5985a1d5eb726fcd1898..309687cfdec3a82a1e88e42084e854a6bf83f3d1 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_terms.mli
+++ b/src/plugins/e-acsl/src/code_generator/translate_terms.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/translate_utils.ml b/src/plugins/e-acsl/src/code_generator/translate_utils.ml
index 2ae9246a87e832cf4fa5e6482ae81e059943e376..ee84ecdca58fbdb454c8d9864e413f1fb37aa039 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_utils.ml
+++ b/src/plugins/e-acsl/src/code_generator/translate_utils.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Utility functions for generating C implementations. *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_utils.mli b/src/plugins/e-acsl/src/code_generator/translate_utils.mli
index 44a437bc50a690864ad2a58d9c1ba4a69606df90..81190863ccd34578ad9cd66f767003b221f96bc1 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_utils.mli
+++ b/src/plugins/e-acsl/src/code_generator/translate_utils.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/code_generator/translation_error.ml b/src/plugins/e-acsl/src/code_generator/translation_error.ml
index d6084712f8f793477707626fd00b21a7f269397e..aa40e3d518351a29fb6603f02a050f9e5e413bde 100644
--- a/src/plugins/e-acsl/src/code_generator/translation_error.ml
+++ b/src/plugins/e-acsl/src/code_generator/translation_error.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
include Error.Make(struct let phase = Options.Dkey.translation end)
diff --git a/src/plugins/e-acsl/src/code_generator/translation_error.mli b/src/plugins/e-acsl/src/code_generator/translation_error.mli
index 285f73130193ddd5d289f8d91520911342e9cc83..60db3c3beefcd066a063986194d8df29c6d4641a 100644
--- a/src/plugins/e-acsl/src/code_generator/translation_error.mli
+++ b/src/plugins/e-acsl/src/code_generator/translation_error.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
include Error.S
diff --git a/src/plugins/e-acsl/src/code_generator/typed_number.ml b/src/plugins/e-acsl/src/code_generator/typed_number.ml
index ef68ea8861e025e0a641aaad71ea829786a3c5e8..ab7f78841fdb41c4f30ac5178c5c966b918a957b 100644
--- a/src/plugins/e-acsl/src/code_generator/typed_number.ml
+++ b/src/plugins/e-acsl/src/code_generator/typed_number.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Manipulate the type of numbers. *)
diff --git a/src/plugins/e-acsl/src/code_generator/typed_number.mli b/src/plugins/e-acsl/src/code_generator/typed_number.mli
index 5be164a3d7cb008288b3145f415b8add238fa3dc..6f56f8ed1621f87e8a9c461e287be048c9470115 100644
--- a/src/plugins/e-acsl/src/code_generator/typed_number.mli
+++ b/src/plugins/e-acsl/src/code_generator/typed_number.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Manipulate the type of numbers. *)
diff --git a/src/plugins/e-acsl/src/dune b/src/plugins/e-acsl/src/dune
index 50148161658d3f28b5be50fb4674806422a55273..bf7f6dde4c7d3747c049dbb156c00fcc77c1a794 100644
--- a/src/plugins/e-acsl/src/dune
+++ b/src/plugins/e-acsl/src/dune
@@ -17,6 +17,7 @@
;; ;;
;; See the GNU Lesser General Public License version 2.1 ;;
;; for more details (enclosed in the file licenses/LGPLv2.1). ;;
+;; ;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(rule
diff --git a/src/plugins/e-acsl/src/libraries/analyses_datatype.ml b/src/plugins/e-acsl/src/libraries/analyses_datatype.ml
index 364f2b5e04d6ad78920b5c8e92d3d595ebcead58..e3d1f599319d187431b2c7d54111caab3242d2b2 100644
--- a/src/plugins/e-acsl/src/libraries/analyses_datatype.ml
+++ b/src/plugins/e-acsl/src/libraries/analyses_datatype.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Datatypes for analyses types *)
diff --git a/src/plugins/e-acsl/src/libraries/analyses_datatype.mli b/src/plugins/e-acsl/src/libraries/analyses_datatype.mli
index d7ba09fdb735d081ff86a46f1d0ef3afe36ed306..444219dfc2f390c8d5bc874b373e4577df1100ec 100644
--- a/src/plugins/e-acsl/src/libraries/analyses_datatype.mli
+++ b/src/plugins/e-acsl/src/libraries/analyses_datatype.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Datatypes for analyses types *)
diff --git a/src/plugins/e-acsl/src/libraries/analyses_types.ml b/src/plugins/e-acsl/src/libraries/analyses_types.ml
index c883892db327016d93bb617704aea15d49b0f02d..7f644b2eb0bb29ba767843c7e2efdcd48f795ed6 100644
--- a/src/plugins/e-acsl/src/libraries/analyses_types.ml
+++ b/src/plugins/e-acsl/src/libraries/analyses_types.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Types used by E-ACSL analyses *)
diff --git a/src/plugins/e-acsl/src/libraries/builtins.ml b/src/plugins/e-acsl/src/libraries/builtins.ml
index 6046e7ea5ce581051b20d17bcbcebe9585ae8c39..e09d5b889a232b8c6ce6b478a7b77905f6989719 100644
--- a/src/plugins/e-acsl/src/libraries/builtins.ml
+++ b/src/plugins/e-acsl/src/libraries/builtins.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/libraries/builtins.mli b/src/plugins/e-acsl/src/libraries/builtins.mli
index 2c455a8b0930420797518ab3f32dfd58238a853c..1e1f94513503ede588c7f560584b45c1e5c86dc0 100644
--- a/src/plugins/e-acsl/src/libraries/builtins.mli
+++ b/src/plugins/e-acsl/src/libraries/builtins.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** E-ACSL built-in database. *)
diff --git a/src/plugins/e-acsl/src/libraries/error.ml b/src/plugins/e-acsl/src/libraries/error.ml
index 4805a79f4d0204e54d2d81640b7a15d9f19722f8..5cd7569f230a7abdffdba25a4517f09d83fecac7 100644
--- a/src/plugins/e-acsl/src/libraries/error.ml
+++ b/src/plugins/e-acsl/src/libraries/error.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Internal module holding the exception of [Error].
diff --git a/src/plugins/e-acsl/src/libraries/error.mli b/src/plugins/e-acsl/src/libraries/error.mli
index d27568646e995910b6aa7ec74749d44752aabe3f..6eb07dc42c8c6cd86009de8961192ee57d096486 100644
--- a/src/plugins/e-acsl/src/libraries/error.mli
+++ b/src/plugins/e-acsl/src/libraries/error.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Handling errors. *)
diff --git a/src/plugins/e-acsl/src/libraries/functions.ml b/src/plugins/e-acsl/src/libraries/functions.ml
index 3c119a46d547223a45b04c3040ecaf70cb9cd42b..2f8ee15c6fdbe9df1c890b915c41b193f7f2f342 100644
--- a/src/plugins/e-acsl/src/libraries/functions.ml
+++ b/src/plugins/e-acsl/src/libraries/functions.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/libraries/functions.mli b/src/plugins/e-acsl/src/libraries/functions.mli
index 2ceecfb83c80249426fbf79354b4f34e760c9f54..464024bc3bea68b4aa7673745f2368849b2cb44d 100644
--- a/src/plugins/e-acsl/src/libraries/functions.mli
+++ b/src/plugins/e-acsl/src/libraries/functions.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/libraries/gmp_types.ml b/src/plugins/e-acsl/src/libraries/gmp_types.ml
index 9eb6aba9bce9f26503e7c826c412c5f77127ccde..78d2dee5f0e98de16fb539625825ecf196dc5361 100644
--- a/src/plugins/e-acsl/src/libraries/gmp_types.ml
+++ b/src/plugins/e-acsl/src/libraries/gmp_types.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** GMP Values. *)
diff --git a/src/plugins/e-acsl/src/libraries/gmp_types.mli b/src/plugins/e-acsl/src/libraries/gmp_types.mli
index 50e70f37d4658625f64a681dc328d3d203b69436..73159d06de1c9161c6344c910c79ea79a140b879 100644
--- a/src/plugins/e-acsl/src/libraries/gmp_types.mli
+++ b/src/plugins/e-acsl/src/libraries/gmp_types.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** GMP Values. *)
diff --git a/src/plugins/e-acsl/src/libraries/interval_utils.ml b/src/plugins/e-acsl/src/libraries/interval_utils.ml
index 22071bef2f5cbeaeadd70c5ec8c77f84a462f0fc..41c50a29fcba787d6aceed65b64d4ee2326f5130 100644
--- a/src/plugins/e-acsl/src/libraries/interval_utils.ml
+++ b/src/plugins/e-acsl/src/libraries/interval_utils.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/libraries/interval_utils.mli b/src/plugins/e-acsl/src/libraries/interval_utils.mli
index 55af526ae7a1648f87aa84cce824c59fead2e2bc..90c57989716e4ff5a6a1f39ff5ad5e78e24937e9 100644
--- a/src/plugins/e-acsl/src/libraries/interval_utils.mli
+++ b/src/plugins/e-acsl/src/libraries/interval_utils.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(* This module serves as a library for the modules Interval and Widening, the
diff --git a/src/plugins/e-acsl/src/libraries/logic_aggr.ml b/src/plugins/e-acsl/src/libraries/logic_aggr.ml
index 696c9d6c3763d6317687c15f48164b4399890426..433a1a892de552752c4a6fe7348a396690da8293 100644
--- a/src/plugins/e-acsl/src/libraries/logic_aggr.ml
+++ b/src/plugins/e-acsl/src/libraries/logic_aggr.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
type t =
diff --git a/src/plugins/e-acsl/src/libraries/logic_aggr.mli b/src/plugins/e-acsl/src/libraries/logic_aggr.mli
index b38313c42b3402acf0c8e72d5c34652509858e50..4c01586e1eb9b0ec965d58722a2ae6600dca01cc 100644
--- a/src/plugins/e-acsl/src/libraries/logic_aggr.mli
+++ b/src/plugins/e-acsl/src/libraries/logic_aggr.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/libraries/misc.ml b/src/plugins/e-acsl/src/libraries/misc.ml
index 01ea92572744827ae017ee63999cf53d28c565f2..839b26676fdf56b33b4c4b0fd58f62755f2e762a 100644
--- a/src/plugins/e-acsl/src/libraries/misc.ml
+++ b/src/plugins/e-acsl/src/libraries/misc.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/libraries/misc.mli b/src/plugins/e-acsl/src/libraries/misc.mli
index 38fb89df7bd0d342bb0696f0362598257b38290b..16706184a7f1a478815d49234773f5ae1defedc2 100644
--- a/src/plugins/e-acsl/src/libraries/misc.mli
+++ b/src/plugins/e-acsl/src/libraries/misc.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Utilities for E-ACSL. *)
diff --git a/src/plugins/e-acsl/src/libraries/varname.ml b/src/plugins/e-acsl/src/libraries/varname.ml
index 47e43077c1745f04fde436dcbc3060eae218f632..2a311b9dd728a051875090dbba7fd783538c4ac3 100644
--- a/src/plugins/e-acsl/src/libraries/varname.ml
+++ b/src/plugins/e-acsl/src/libraries/varname.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/libraries/varname.mli b/src/plugins/e-acsl/src/libraries/varname.mli
index 244441ab4907930c4ca7ebc355bb1f40cc31febb..4905dbb88711cbba74c53b9207c7d4336f8d5be9 100644
--- a/src/plugins/e-acsl/src/libraries/varname.mli
+++ b/src/plugins/e-acsl/src/libraries/varname.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(* Variable name generator wrt a lexical scope. *)
diff --git a/src/plugins/e-acsl/src/main.ml b/src/plugins/e-acsl/src/main.ml
index f351d6174a0126fa4bae02c3c1106e13ea15a2d4..0d8043ee7fe61436c67c6a17199478a73d6cca81 100644
--- a/src/plugins/e-acsl/src/main.ml
+++ b/src/plugins/e-acsl/src/main.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
module Resulting_projects =
diff --git a/src/plugins/e-acsl/src/main.mli b/src/plugins/e-acsl/src/main.mli
index 6818e5996f65af35c5b336a1d245f305ae789dcc..ff9da6479e3959afc9124c8f9d4813d60dc0ffeb 100644
--- a/src/plugins/e-acsl/src/main.mli
+++ b/src/plugins/e-acsl/src/main.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Register the plugin in the Frama-C kernel. Nothing is exported. *)
diff --git a/src/plugins/e-acsl/src/options.ml b/src/plugins/e-acsl/src/options.ml
index 342ccfcf432aac52a2c3bea5a696840bb5544956..506c123ac28a3cd6cd329d3c0064f55704082f73 100644
--- a/src/plugins/e-acsl/src/options.ml
+++ b/src/plugins/e-acsl/src/options.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
let () = Plugin.is_share_visible ()
diff --git a/src/plugins/e-acsl/src/options.mli b/src/plugins/e-acsl/src/options.mli
index a3e633ad24f02b618c98b58fbe077f1d7deed7d8..295e66799a6013b18f8f6c967b85be458b6b6522 100644
--- a/src/plugins/e-acsl/src/options.mli
+++ b/src/plugins/e-acsl/src/options.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
include Plugin.S (** implementation of Log.S for E-ACSL *)
diff --git a/src/plugins/e-acsl/src/project_initializer/prepare_ast.ml b/src/plugins/e-acsl/src/project_initializer/prepare_ast.ml
index a4dc26b6a4630b2bf2ece12db06d31a8ee381616..9e21ae9804e7c3f3099d1e21a2f81cc230b76b7d 100644
--- a/src/plugins/e-acsl/src/project_initializer/prepare_ast.ml
+++ b/src/plugins/e-acsl/src/project_initializer/prepare_ast.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/project_initializer/prepare_ast.mli b/src/plugins/e-acsl/src/project_initializer/prepare_ast.mli
index 89326169cd4e4b25d37ccad6fd30498e8abbbf54..8de126f92aa1e2bd95aa1d029e2c51d52040189b 100644
--- a/src/plugins/e-acsl/src/project_initializer/prepare_ast.mli
+++ b/src/plugins/e-acsl/src/project_initializer/prepare_ast.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** Prepare AST for E-ACSL generation.
diff --git a/src/plugins/e-acsl/src/project_initializer/rtl.ml b/src/plugins/e-acsl/src/project_initializer/rtl.ml
index 169753377d53f0392f1127b86e90f165d0e71b71..be5d5eb32d2a062c937c4ad3f6fbacb69418a82d 100644
--- a/src/plugins/e-acsl/src/project_initializer/rtl.ml
+++ b/src/plugins/e-acsl/src/project_initializer/rtl.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/src/plugins/e-acsl/src/project_initializer/rtl.mli b/src/plugins/e-acsl/src/project_initializer/rtl.mli
index 1b2d5256639215f652ba8e8ee918d7a92668badf..4302f9cf37e6a101a1298555810bde081b31dbd0 100644
--- a/src/plugins/e-acsl/src/project_initializer/rtl.mli
+++ b/src/plugins/e-acsl/src/project_initializer/rtl.mli
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(** This module links the E-ACSL's RTL to the user source code. *)
diff --git a/src/plugins/e-acsl/tab-in-changelog.sh b/src/plugins/e-acsl/tab-in-changelog.sh
index 7be734713be47115f4e20e7e54e7cbb68ac1a784..b2e31bc0b331aa9662ac5abac9b9a421f47f54e1 100755
--- a/src/plugins/e-acsl/tab-in-changelog.sh
+++ b/src/plugins/e-acsl/tab-in-changelog.sh
@@ -18,6 +18,7 @@
# #
# See the GNU Lesser General Public License version 2.1 #
# for more details (enclosed in the file licenses/LGPLv2.1). #
+# #
##########################################################################
# Base dir of this script
diff --git a/src/plugins/e-acsl/tests/E_ACSL_test.ml b/src/plugins/e-acsl/tests/E_ACSL_test.ml
index 5647bd1d79b3fd759c31cc102a71442cc72c7671..f91a556d5a40f9d3185e426b59f04f996a97190b 100644
--- a/src/plugins/e-acsl/tests/E_ACSL_test.ml
+++ b/src/plugins/e-acsl/tests/E_ACSL_test.ml
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
+(* *)
(**************************************************************************)
(* return true if the global g has been generated by E-ACSL *)
diff --git a/src/plugins/e-acsl/tests/wrapper.sh b/src/plugins/e-acsl/tests/wrapper.sh
index fcf137e29a0de3c40fbab626858cc11b8aee174a..6e6805b564dcf425b0997785b4c765d2aaa2e6c3 100755
--- a/src/plugins/e-acsl/tests/wrapper.sh
+++ b/src/plugins/e-acsl/tests/wrapper.sh
@@ -18,6 +18,7 @@
# #
# See the GNU Lesser General Public License version 2.1 #
# for more details (enclosed in the file licenses/LGPLv2.1). #
+# #
##########################################################################
# Wrapper script to compile a test file and execute the resulting binary
diff --git a/tools/hdrck/hdrck.ml b/tools/hdrck/hdrck.ml
index 96d27f4ae943dbfd0d2322f9591bf7c314828c3a..0b697998ee80717285eb6b4d3fca702022a2e081 100644
--- a/tools/hdrck/hdrck.ml
+++ b/tools/hdrck/hdrck.ml
@@ -422,7 +422,7 @@ let check_spec_discrepancies
(specs: (string, string) Hashtbl.t)
(headers: (string, string) Hashtbl.t) : unit =
let eq_header orig_file template_hdr =
- let cmd = Format.sprintf "headache -c %s -e %s | diff --strip-trailing-cr -q - %s > /dev/null"
+ let cmd = Format.sprintf "headache -c %s -e %s | diff -B -q - %s > /dev/null"
config_file_opts orig_file template_hdr
in
let ret = Sys.command cmd in
diff --git a/tools/lint/UTF8.ml b/tools/lint/UTF8.ml
index 92ec9c556fcf671e5c875429e3bbf413d6a6df4d..b91a0b05b2ca982adc67a94b3bb60b29d4d19e87 100644
--- a/tools/lint/UTF8.ml
+++ b/tools/lint/UTF8.ml
@@ -38,6 +38,7 @@
(* *)
(* File modified by CEA (Commissariat à l'énergie atomique et aux *)
(* énergies alternatives). *)
+(* *)
(***************************************************************************)
(* Function extracted from Camomile library and modified by CEA to get the