Merge branch 'fix/header-spec' into 'master'

update header_spec.txt

See merge request frama-c/e-acsl!305

src/plugins/e-acsl/headers/header_spec.txt

@@ -3,64 +3,15 @@ INSTALL: .ignore
 Makefile.in: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 README: .ignore
 VERSION: .ignore
-at_with_lscope.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-at_with_lscope.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-builtins.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-builtins.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 configure.ac: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 contrib/libdlmalloc/dlmalloc.c: MODIFIED_DLMALLOC
-contrib/libgmp/mini-gmp.c: MODIFIED_LIB_GMP
-contrib/libgmp/mini-gmp.h: MODIFIED_LIB_GMP
 doc/Changelog: .ignore
 doc/doxygen/doxygen.cfg.in: .ignore
-dup_functions.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-dup_functions.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-env.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-env.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-error.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-error.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-exit_points.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-exit_points.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-functions.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-functions.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-gmpz.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-gmpz.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-interval.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-interval.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-keep_status.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-keep_status.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-label.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-label.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 license/CEA_LGPL: .ignore
 license/LGPLv2.1: .ignore
 license/SPARETIMELABS: .ignore
 license/headache_config.txt: .ignore
-literal_strings.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-literal_strings.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-local_config.ml: .ignore
-local_config.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-logic_functions.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-logic_functions.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-loops.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-loops.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-lscope.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-lscope.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-main.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 man/e-acsl-gcc.sh.1: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-misc.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-misc.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-mmodel_analysis.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-mmodel_analysis.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-mmodel_translate.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-mmodel_translate.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-options.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-options.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-prepare_ast.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-prepare_ast.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-quantif.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-quantif.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-rte.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-rte.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 scripts/e-acsl-gcc.sh: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 scripts/testrun.sh: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 share/e-acsl/bittree_model/e_acsl_bittree.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
@@ -88,13 +39,65 @@ share/e-acsl/e_acsl_trace.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 share/e-acsl/segment_model/e_acsl_segment_mmodel.c: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 share/e-acsl/segment_model/e_acsl_segment_tracking.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 share/e-acsl/segment_model/e_acsl_shadow_layout.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-temporal.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-temporal.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/analyses/exit_points.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/analyses/exit_points.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/analyses/interval.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/analyses/interval.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/analyses/literal_strings.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/analyses/literal_strings.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/analyses/lscope.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/analyses/lscope.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/analyses/mmodel_analysis.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/analyses/mmodel_analysis.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/analyses/rte.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/analyses/rte.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/analyses/typing.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/analyses/typing.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/at_with_lscope.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/at_with_lscope.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/env.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/env.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/gmp.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/gmp.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/label.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/label.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/logic_functions.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/logic_functions.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/loops.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/loops.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/mmodel_translate.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/mmodel_translate.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/quantif.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/quantif.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/rational.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/rational.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/temporal.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/temporal.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/translate.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/translate.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/visit.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/code_generator/visit.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/libraries/builtins.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/libraries/builtins.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/libraries/error.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/libraries/error.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/libraries/functions.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/libraries/functions.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/libraries/gmp_types.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/libraries/gmp_types.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/libraries/misc.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/libraries/misc.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/libraries/varname.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/libraries/varname.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/local_config.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/main.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/options.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/options.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/project_initializer/dup_functions.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/project_initializer/dup_functions.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/project_initializer/keep_status.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/project_initializer/keep_status.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/project_initializer/prepare_ast.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+src/project_initializer/prepare_ast.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 tests/print.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 tests/test_config.in: .ignore
-translate.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-translate.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-typing.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-typing.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-visit.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-visit.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL