diff --git a/Makefile.in b/Makefile.in
index ca8f1b5def9ac8751f4efca8e284279fe46d89aa..82d2e16ec4a07084a313b6452e603b2f5e6299b9 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -2,12 +2,21 @@
# #
# This file is part of the Frama-C's MetACSL plug-in. #
# #
-# Copyright (C) 2012-2020 #
+# Copyright (C) 2018-2021 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
-# All rights reserved. #
-# Contact CEA LIST for licensing. #
+# you can redistribute it and/or modify it under the terms of the GNU #
+# Lesser General Public License as published by the Free Software #
+# Foundation, version 2.1. #
+# #
+# It is distributed in the hope that it will be useful, #
+# but WITHOUT ANY WARRANTY; without even the implied warranty of #
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the #
+# GNU Lesser General Public License for more details. #
+# #
+# See the GNU Lesser General Public License version 2.1 #
+# for more details (enclosed in the file LICENSE) #
# #
##########################################################################
@@ -22,7 +31,10 @@ HAS_WP=@HAS_WP@
PLUGIN_NAME = MetAcsl
-MetAcsl_DISTRIB_EXTERNAL:=Makefile.in configure configure.ac README.md tests share opam
+MetAcsl_DISTRIB_EXTERNAL:=Makefile.in configure configure.ac README.md \
+ tests opam \
+ $(addprefix share/, \
+ model.slog run.pl setloglib.slog setlog.pl setlog_rules.pl)
PLUGIN_DIR ?= .
PLUGIN_CMO = meta_utils \
@@ -79,6 +91,7 @@ ifneq ("$(FRAMAC_INTERNAL)","yes")
VERSION=0.0
EXTRAVERSION?=
+OPEN_SOURCE?=yes
configure: configure.ac
autoconf -f
@@ -87,14 +100,20 @@ Makefile: configure Makefile.in
./config.status --recheck
./config.status
+ifeq ("$(OPEN_SOURCE)","yes")
+HEADER_DIR=open-source
+else
+HEADER_DIR=close-source
+endif
+
.PHONY: headers
headers:
while IFS=: read FILE LICENCE; do \
LICENCE=$$(echo $$LICENCE | sed -e 's/^ *//'); \
if test "$$LICENCE" != ".ignore"; then \
headache \
- -c headers/header_config.txt \
- -h headers/open-source/$${LICENCE} \
+ -c $(MetAcsl_DIR)/headers/header_config.txt \
+ -h $(MetAcsl_DIR)/headers/$(HEADER_DIR)/$${LICENCE} \
$${FILE}; \
fi; \
done \
diff --git a/MetAcsl.mli b/MetAcsl.mli
index b812cf9607c5e2dfabb88c4ac8e138ba48446a42..14274bb2f47d5d0e13b27de174c40a1b82f92e51 100644
--- a/MetAcsl.mli
+++ b/MetAcsl.mli
@@ -2,12 +2,21 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2019 *)
+(* Copyright (C) 2018-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
-(* All rights reserved. *)
-(* Contact CEA LIST for licensing. *)
+(* you can redistribute it and/or modify it under the terms of the GNU *)
+(* Lesser General Public License as published by the Free Software *)
+(* Foundation, version 2.1. *)
+(* *)
+(* It is distributed in the hope that it will be useful, *)
+(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
+(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *)
+(* GNU Lesser General Public License for more details. *)
+(* *)
+(* See the GNU Lesser General Public License version 2.1 *)
+(* for more details (enclosed in the file LICENSE) *)
(* *)
(**************************************************************************)
diff --git a/configure.ac b/configure.ac
index fd3978ee478e36db86508a52c8e5e48ac7a3097c..b5099a01421256e0013aa4040f01640ca0c927dd 100644
--- a/configure.ac
+++ b/configure.ac
@@ -2,7 +2,7 @@
# #
# This file is part of the Frama-C's MetACSL plug-in. #
# #
-# Copyright (C) 2018-2020 #
+# Copyright (C) 2018-2021 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
@@ -17,6 +17,7 @@
# #
# See the GNU Lesser General Public License version 2.1 #
# for more details (enclosed in the file LICENSE) #
+# #
##########################################################################
m4_define([plugin_file],Makefile.in)
diff --git a/headers/close-source/CEA_LGPL_OR_PROPRIETARY.META b/headers/close-source/CEA_LGPL_OR_PROPRIETARY.META
index 51cae7a25ab3188295de7a6842f6bf85030458eb..13946cac0266c6bd596b3b59a629ca04935606ab 100644
--- a/headers/close-source/CEA_LGPL_OR_PROPRIETARY.META
+++ b/headers/close-source/CEA_LGPL_OR_PROPRIETARY.META
@@ -1,7 +1,7 @@
This file is part of the Frama-C's MetACSL plug-in.
-Copyright (C) 2018-2020
+Copyright (C) 2018-2021
CEA (Commissariat à l'énergie atomique et aux énergies
alternatives)
diff --git a/headers/close-source/SETLOG_LGPL b/headers/close-source/SETLOG_LGPL
new file mode 100644
index 0000000000000000000000000000000000000000..6bfdcac400624961c07a276d658134951a7bfafe
--- /dev/null
+++ b/headers/close-source/SETLOG_LGPL
@@ -0,0 +1,6 @@
+ Setlog library
+
+ by Maximiliano Cristia' and Gianfranco Rossi
+ April 2014
+
+ Revised March 2017
diff --git a/headers/header_config.txt b/headers/header_config.txt
index f917283e10beff8340328effededd5f469cbc662..d2e0b965cb013aabf9f0eb388d287687ab628319 100644
--- a/headers/header_config.txt
+++ b/headers/header_config.txt
@@ -1 +1,7 @@
| ".*configure\..*" -> frame open:"#" line:"#" close:"#"
+
+##########
+# PROLOG #
+##########
+| ".*\.pl" -> frame open: "%" line: "%" close: "%"
+| ".*\.slog" -> frame open: "%" line: "%" close: "%"
diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index c0543317b252093108d673d84af1e16af8c4ad81..050fca9c4eb4399818ad21133e7681fe57780686 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -1,10 +1,13 @@
-Makefile: CEA_LGPL_OR_PROPRIETARY.META
+Makefile: .ignore
+Makefile.in: CEA_LGPL_OR_PROPRIETARY.META
TODO.md: .ignore
configure: .ignore
configure.ac: CEA_LGPL_OR_PROPRIETARY.META
+MetAcsl.mli: CEA_LGPL_OR_PROPRIETARY.META
meta_annotate.ml: CEA_LGPL_OR_PROPRIETARY.META
meta_bindings.ml: CEA_LGPL_OR_PROPRIETARY.META
meta_bindings.mli: CEA_LGPL_OR_PROPRIETARY.META
+meta_deduce.ml: CEA_LGPL_OR_PROPRIETARY.META
meta_dispatch.ml: CEA_LGPL_OR_PROPRIETARY.META
meta_dispatch.mli: CEA_LGPL_OR_PROPRIETARY.META
meta_options.ml: CEA_LGPL_OR_PROPRIETARY.META
@@ -13,4 +16,12 @@ meta_parse.mli: CEA_LGPL_OR_PROPRIETARY.META
meta_run.ml: CEA_LGPL_OR_PROPRIETARY.META
meta_simplify.ml: CEA_LGPL_OR_PROPRIETARY.META
meta_simplify.mli: CEA_LGPL_OR_PROPRIETARY.META
+meta_utils.ml: CEA_LGPL_OR_PROPRIETARY.META
README.md: .ignore
+tests: .ignore
+opam: .ignore
+share/setloglib.slog: SETLOG_LGPL
+share/setlog.pl: SETLOG_LGPL
+share/setlog_rules.pl: SETLOG_LGPL
+share/run.pl: CEA_LGPL_OR_PROPRIETARY.META
+share/model.slog: CEA_LGPL_OR_PROPRIETARY.META
diff --git a/headers/open-source/CEA_LGPL_OR_PROPRIETARY.META b/headers/open-source/CEA_LGPL_OR_PROPRIETARY.META
index 6dce548e706765ead92ce7fc271356f109367df1..2ea608fdeae3fa854bc37ff5274e84237efaa904 100644
--- a/headers/open-source/CEA_LGPL_OR_PROPRIETARY.META
+++ b/headers/open-source/CEA_LGPL_OR_PROPRIETARY.META
@@ -1,7 +1,7 @@
This file is part of the Frama-C's MetACSL plug-in.
-Copyright (C) 2018-2020
+Copyright (C) 2018-2021
CEA (Commissariat à l'énergie atomique et aux énergies
alternatives)
@@ -16,3 +16,4 @@ GNU Lesser General Public License for more details.
See the GNU Lesser General Public License version 2.1
for more details (enclosed in the file LICENSE)
+
diff --git a/headers/open-source/SETLOG_LGPL b/headers/open-source/SETLOG_LGPL
new file mode 100644
index 0000000000000000000000000000000000000000..6bfdcac400624961c07a276d658134951a7bfafe
--- /dev/null
+++ b/headers/open-source/SETLOG_LGPL
@@ -0,0 +1,6 @@
+ Setlog library
+
+ by Maximiliano Cristia' and Gianfranco Rossi
+ April 2014
+
+ Revised March 2017
diff --git a/meta_annotate.ml b/meta_annotate.ml
index 59065ee84ef37670a0638a645f9b8d4843e34dd9..f45ea10316c79dd99f3d659e31a49fb1d0dc0dd5 100644
--- a/meta_annotate.ml
+++ b/meta_annotate.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2020 *)
+(* Copyright (C) 2018-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file LICENSE) *)
+(* *)
(**************************************************************************)
open Meta_utils
diff --git a/meta_bindings.ml b/meta_bindings.ml
index 14d88c5aeded6f0151ee3f2699929a84f6d4ddbe..e37d8a8e8a9cf07b7c7ee9a53093d52b115f070f 100644
--- a/meta_bindings.ml
+++ b/meta_bindings.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2020 *)
+(* Copyright (C) 2018-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file LICENSE) *)
+(* *)
(**************************************************************************)
open Meta_options
diff --git a/meta_bindings.mli b/meta_bindings.mli
index d079ec2ff3571b01413ad2dcb3c79b9e90251f3b..9a13f46cab99602012a56570172158636516690c 100644
--- a/meta_bindings.mli
+++ b/meta_bindings.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2020 *)
+(* Copyright (C) 2018-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file LICENSE) *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/meta_deduce.ml b/meta_deduce.ml
index 58dca2d6ac7a8967fb3d91249159484539d10d85..0d2e8311e46663955d4f4b9491907e616b6814bf 100644
--- a/meta_deduce.ml
+++ b/meta_deduce.ml
@@ -1,3 +1,25 @@
+(**************************************************************************)
+(* *)
+(* This file is part of the Frama-C's MetACSL plug-in. *)
+(* *)
+(* Copyright (C) 2018-2021 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* alternatives) *)
+(* *)
+(* you can redistribute it and/or modify it under the terms of the GNU *)
+(* Lesser General Public License as published by the Free Software *)
+(* Foundation, version 2.1. *)
+(* *)
+(* It is distributed in the hope that it will be useful, *)
+(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
+(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *)
+(* GNU Lesser General Public License for more details. *)
+(* *)
+(* See the GNU Lesser General Public License version 2.1 *)
+(* for more details (enclosed in the file LICENSE) *)
+(* *)
+(**************************************************************************)
+
open Cil_types
open Meta_utils
open Meta_options
diff --git a/meta_dispatch.ml b/meta_dispatch.ml
index 923996fd841c03219d75db88d4864b0c0adf77b7..27de33b58005ec5c5bea7e292c7aff70546d17be 100644
--- a/meta_dispatch.ml
+++ b/meta_dispatch.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2020 *)
+(* Copyright (C) 2018-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file LICENSE) *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/meta_dispatch.mli b/meta_dispatch.mli
index dd72b00c6ffe9427ea869085704dc19c713eff80..0c9ec21679ba0bcfd2d39e7f454c539615fad95a 100644
--- a/meta_dispatch.mli
+++ b/meta_dispatch.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2020 *)
+(* Copyright (C) 2018-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file LICENSE) *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/meta_options.ml b/meta_options.ml
index 059c53a8885fae45007c24c941d82b275ae4f61c..d0e8c762fbdaec6a3fb3e9084638df85a586e284 100644
--- a/meta_options.ml
+++ b/meta_options.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2020 *)
+(* Copyright (C) 2018-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file LICENSE) *)
+(* *)
(**************************************************************************)
let help_msg = "This plugin translates the metaproperties in the code to native ACSL annotations" ^
diff --git a/meta_parse.ml b/meta_parse.ml
index b5e7607d89812943a145f79723a51b40e3e7e825..882428f4c206793e1795b526665cf3a45e2f59e2 100644
--- a/meta_parse.ml
+++ b/meta_parse.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2020 *)
+(* Copyright (C) 2018-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file LICENSE) *)
+(* *)
(**************************************************************************)
open Logic_ptree
diff --git a/meta_parse.mli b/meta_parse.mli
index 61b01fc69a3c5f881038bf52b8c8d7dc7f65fbab..4540c41768721bbc8a8b28f1ba91f67adf02b5e7 100644
--- a/meta_parse.mli
+++ b/meta_parse.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2020 *)
+(* Copyright (C) 2018-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file LICENSE) *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/meta_run.ml b/meta_run.ml
index 4cfcfb7009a86feaefc5efc294dd0fd659da6824..ab057a24cd52e697b9e1a1c35520c40c77ceef3e 100644
--- a/meta_run.ml
+++ b/meta_run.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2020 *)
+(* Copyright (C) 2018-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file LICENSE) *)
+(* *)
(**************************************************************************)
open Meta_options
diff --git a/meta_simplify.ml b/meta_simplify.ml
index 46b985aaa2f70e6aa0002e22b300c11d4f0b602d..76f52db87401d77830090dc082df887f08777edc 100644
--- a/meta_simplify.ml
+++ b/meta_simplify.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2020 *)
+(* Copyright (C) 2018-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file LICENSE) *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/meta_simplify.mli b/meta_simplify.mli
index 5e4dbafb0049dbb59064a044dea3ae9777846395..bd33ed1a5ce7ecde0c1d302d1213d134504caf7d 100644
--- a/meta_simplify.mli
+++ b/meta_simplify.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2020 *)
+(* Copyright (C) 2018-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file LICENSE) *)
+(* *)
(**************************************************************************)
open Cil_types
diff --git a/meta_utils.ml b/meta_utils.ml
index 5859dc3bf1ff1dd2cec1dea7aa3b35590aad2097..64cdcf03efb8afa9ae3916aa311062ddb61b853e 100644
--- a/meta_utils.ml
+++ b/meta_utils.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2020 *)
+(* Copyright (C) 2018-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -17,6 +17,7 @@
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file LICENSE) *)
+(* *)
(**************************************************************************)
module StrSet = Datatype.String.Set
diff --git a/share/model.slog b/share/model.slog
index 098c75a3191ae640b33b5fc0058089e83c4b9ed4..279ad1c7ca37aa49a19ce194be5526b63d14f06f 100644
--- a/share/model.slog
+++ b/share/model.slog
@@ -1,3 +1,25 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% %
+% This file is part of the Frama-C's MetACSL plug-in. %
+% %
+% Copyright (C) 2018-2021 %
+% CEA (Commissariat à l'énergie atomique et aux énergies %
+% alternatives) %
+% %
+% you can redistribute it and/or modify it under the terms of the GNU %
+% Lesser General Public License as published by the Free Software %
+% Foundation, version 2.1. %
+% %
+% It is distributed in the hope that it will be useful, %
+% but WITHOUT ANY WARRANTY; without even the implied warranty of %
+% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the %
+% GNU Lesser General Public License for more details. %
+% %
+% See the GNU Lesser General Public License version 2.1 %
+% for more details (enclosed in the file LICENSE) %
+% %
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
% ----------------
% Call graph
% ----------------
diff --git a/share/run.pl b/share/run.pl
index c2aaec2c343392929d630b4e741259cf353aa0b0..10852397d5b0edaa23ab8cf57e370bb064f79738 100755
--- a/share/run.pl
+++ b/share/run.pl
@@ -1,3 +1,25 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% %
+% This file is part of the Frama-C's MetACSL plug-in. %
+% %
+% Copyright (C) 2018-2021 %
+% CEA (Commissariat à l'énergie atomique et aux énergies %
+% alternatives) %
+% %
+% you can redistribute it and/or modify it under the terms of the GNU %
+% Lesser General Public License as published by the Free Software %
+% Foundation, version 2.1. %
+% %
+% It is distributed in the hope that it will be useful, %
+% but WITHOUT ANY WARRANTY; without even the implied warranty of %
+% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the %
+% GNU Lesser General Public License for more details. %
+% %
+% See the GNU Lesser General Public License version 2.1 %
+% for more details (enclosed in the file LICENSE) %
+% %
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
#!/usr/bin/env swipl
:- initialization main.
diff --git a/share/setlog.pl b/share/setlog.pl
index 09091eb675a3752eea0ea495ec91485b2ec20aa8..4c543ab41a523d75596b9e851aaaec8dcf6491dc 100644
--- a/share/setlog.pl
+++ b/share/setlog.pl
@@ -1,3 +1,11 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Setlog library %
+% %
+% by Maximiliano Cristia' and Gianfranco Rossi %
+% April 2014 %
+% %
+% Revised March 2017 %
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% VERSION 4.9.1-20
diff --git a/share/setlog_rules.pl b/share/setlog_rules.pl
index 114ea53050cf34ea6bb049cd205715f13d00f07a..1fc68f1d29e8fb0c348b08f4c593906ae3f7c36a 100644
--- a/share/setlog_rules.pl
+++ b/share/setlog_rules.pl
@@ -1,3 +1,11 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Setlog library %
+% %
+% by Maximiliano Cristia' and Gianfranco Rossi %
+% April 2014 %
+% %
+% Revised March 2017 %
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
@@ -257,4 +265,4 @@ fail_rule('NatRangeNotEmpty4',I=int(N,Y),
:- (exists_file('TTF_rules.pl'),!,consult('TTF_rules.pl')
;
- true).
\ No newline at end of file
+ true).
diff --git a/share/setloglib.slog b/share/setloglib.slog
index 103b8472f06454f72c3bdd3db26fde1fbbfb6ed2..31371a1386fbb1eea34e1a1eae5df253f195829b 100644
--- a/share/setloglib.slog
+++ b/share/setloglib.slog
@@ -1,4 +1,12 @@
-
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Setlog library %
+% %
+% by Maximiliano Cristia' and Gianfranco Rossi %
+% April 2014 %
+% %
+% Revised March 2017 %
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
%%% version 4.6.13-1
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -386,4 +394,4 @@ filter([X|List],Set,NewList) :-
setlog_prolog :-
prolog_call(assert((user:unbounded_int(I) :- nonvar(I), I=int(A,B), (var(A),! ; var(B)) ))).
-:- setlog_prolog.
\ No newline at end of file
+:- setlog_prolog.