[headers] .gitattributes as header spec

.gitattributes

@@ -17,6 +17,9 @@ Make* header_spec=CEA_LGPL
 *.c header_spec=CEA_LGPL
 *.h header_spec=CEA_LGPL
 
+*.htm header_spec=CEA_LGPL
+*.html header_spec=CEA_LGPL
+
 *.js header_spec=CEA_LGPL
 
 *.ml header_spec=CEA_LGPL
@@ -40,111 +43,6 @@ Make* header_spec=CEA_LGPL
 *.ts header_spec=CEA_LGPL
 *.tsx header_spec=CEA_LGPL
 
-/bin/frama-c* header_spec=CEA_LGPL
-
-/devel_tools/git-hooks/pre-commit header_spec=CEA_LGPL
-
-/headers/headache_config.txt header_spec=CEA_LGPL
-
-/share/autocomplete_frama-c header_spec=CEA_LGPL
-/share/emacs/frama-c-*.el header_spec=CEA_LGPL
-/share/_frama-c header_spec=CEA_LGPL
-
-/src/kernel_internals/runtime/fc_config.ml.in header_spec=CEA_LGPL
-/src/libraries/stdlib/transitioning.ml.in header_spec=CEA_LGPL
-
-#######################
-# HEADER_SPEC: others #
-#######################
-
-/configure.in header_spec=CEA_INRIA_LGPL
-
-/doc/aorai/Makefile header_spec=AORAI_LGPL
-
-/share/analysis-scripts/flamegraph.pl header_spec=CDDL
-/share/emacs/acsl.el header_spec=CEA_PR_LGPL
-/share/machdep.c header_spec=CIL
-
-/src/kernel_internals/parsing/clexer.mli header_spec=CIL
-/src/kernel_internals/parsing/clexer.mll header_spec=CIL
-/src/kernel_internals/parsing/cparser.mly header_spec=CIL
-/src/kernel_internals/parsing/errorloc.ml header_spec=CIL
-/src/kernel_internals/parsing/errorloc.mli header_spec=CIL
-/src/kernel_internals/parsing/lexerhack.ml header_spec=CIL
-/src/kernel_internals/parsing/lexerhack.mli header_spec=CIL
-/src/kernel_internals/parsing/logic_lexer.mli header_spec=CEA_INRIA_LGPL
-/src/kernel_internals/parsing/logic_lexer.mll header_spec=CEA_INRIA_LGPL
-/src/kernel_internals/parsing/logic_parser.mly header_spec=CEA_INRIA_LGPL
-/src/kernel_internals/parsing/logic_preprocess.mli header_spec=CEA_INRIA_LGPL
-/src/kernel_internals/parsing/logic_preprocess.mll header_spec=CEA_INRIA_LGPL
-/src/kernel_internals/runtime/machdeps.ml header_spec=CIL
-/src/kernel_internals/runtime/machdeps.mli header_spec=CIL
-/src/kernel_internals/typing/alpha.ml header_spec=CIL
-/src/kernel_internals/typing/alpha.mli header_spec=CIL
-/src/kernel_internals/typing/cabs2cil.ml header_spec=CIL
-/src/kernel_internals/typing/cabs2cil.mli header_spec=CIL
-/src/kernel_internals/typing/cfg.ml header_spec=CIL
-/src/kernel_internals/typing/cfg.mli header_spec=CIL
-/src/kernel_internals/typing/frontc.ml header_spec=CIL
-/src/kernel_internals/typing/frontc.mli header_spec=CIL
-/src/kernel_internals/typing/logic_builtin.ml header_spec=CEA_INRIA_LGPL
-/src/kernel_internals/typing/logic_builtin.mli header_spec=CEA_INRIA_LGPL
-/src/kernel_internals/typing/mergecil.ml header_spec=CIL
-/src/kernel_internals/typing/mergecil.mli header_spec=CIL
-/src/kernel_internals/typing/oneret.ml header_spec=CIL
-/src/kernel_internals/typing/oneret.mli header_spec=CIL
-/src/kernel_internals/typing/rmtmps.ml header_spec=CIL
-/src/kernel_internals/typing/rmtmps.mli header_spec=CIL
-/src/kernel_internals/typing/translate_lightweight.ml header_spec=CEA_INRIA_LGPL
-/src/kernel_internals/typing/translate_lightweight.mli header_spec=CEA_INRIA_LGPL
-/src/kernel_services/analysis/dataflows.ml header_spec=CIL
-/src/kernel_services/analysis/dataflows.mli header_spec=CIL
-/src/kernel_services/ast_data/cil_types.mli header_spec=CIL
-/src/kernel_services/ast_printing/cprint.ml header_spec=CIL
-/src/kernel_services/ast_printing/cprint.mli header_spec=CIL
-/src/kernel_services/ast_printing/logic_print.ml header_spec=CEA_INRIA_LGPL
-/src/kernel_services/ast_printing/logic_print.mli header_spec=CEA_INRIA_LGPL
-/src/kernel_services/ast_queries/cil.ml header_spec=CIL
-/src/kernel_services/ast_queries/cil.mli header_spec=CIL
-/src/kernel_services/ast_queries/cil_builtins.ml header_spec=CIL
-/src/kernel_services/ast_queries/cil_builtins.mli header_spec=CIL
-/src/kernel_services/ast_queries/cil_const.ml header_spec=CIL
-/src/kernel_services/ast_queries/cil_const.mli header_spec=CIL
-/src/kernel_services/ast_queries/logic_const.ml header_spec=CEA_INRIA_LGPL
-/src/kernel_services/ast_queries/logic_const.mli header_spec=CEA_INRIA_LGPL
-/src/kernel_services/ast_queries/logic_env.ml header_spec=CEA_INRIA_LGPL
-/src/kernel_services/ast_queries/logic_env.mli header_spec=CEA_INRIA_LGPL
-/src/kernel_services/ast_queries/logic_typing.ml header_spec=CEA_INRIA_LGPL
-/src/kernel_services/ast_queries/logic_typing.mli header_spec=CEA_INRIA_LGPL
-/src/kernel_services/ast_queries/logic_utils.ml header_spec=CEA_INRIA_LGPL
-/src/kernel_services/ast_queries/logic_utils.mli header_spec=CEA_INRIA_LGPL
-/src/kernel_services/parsetree/cabs.mli header_spec=CIL
-/src/kernel_services/parsetree/cabshelper.ml header_spec=CIL
-/src/kernel_services/parsetree/cabshelper.mli header_spec=CIL
-/src/kernel_services/parsetree/logic_ptree.mli header_spec=CEA_INRIA_LGPL
-/src/kernel_services/visitors/cabsvisit.ml header_spec=CIL
-/src/kernel_services/visitors/cabsvisit.mli header_spec=CIL
-/src/kernel_services/visitors/visitor_behavior.ml header_spec=CEA_INRIA_LGPL
-/src/kernel_services/visitors/visitor_behavior.mli header_spec=CEA_INRIA_LGPL
-
-/src/libraries/datatype/unmarshal.ml header_spec=INRIA_BSD
-/src/libraries/datatype/unmarshal.mli header_spec=INRIA_BSD
-/src/libraries/datatype/unmarshal_hashtbl_test.ml header_spec=INRIA_BSD
-/src/libraries/datatype/unmarshal_test.ml header_spec=INRIA_BSD
-/src/libraries/project/state_topological.ml header_spec=MODIFIED_OCAMLGRAPH
-/src/libraries/project/state_topological.mli header_spec=MODIFIED_OCAMLGRAPH
-/src/libraries/utils/cilconfig.ml header_spec=CIL
-/src/libraries/utils/cilconfig.mli header_spec=CIL
-/src/libraries/utils/escape.ml header_spec=CIL
-/src/libraries/utils/escape.mli header_spec=CIL
-/src/libraries/utils/hptmap.ml header_spec=MODIFIED_MENHIR
-/src/libraries/utils/hptmap.mli header_spec=MODIFIED_MENHIR
-/src/libraries/utils/hptmap_sig.mli header_spec=MODIFIED_MENHIR
-/src/libraries/utils/rangemap.ml header_spec=OCAML_STDLIB
-/src/libraries/utils/rangemap.mli header_spec=OCAML_STDLIB
-/src/libraries/utils/utf8_logic.ml header_spec=CEA_INRIA_LGPL
-/src/libraries/utils/utf8_logic.mli header_spec=CEA_INRIA_LGPL
-
 ########################
 # HEADER_SPEC: .ignore #
 ########################
@@ -212,7 +110,10 @@ README* header_spec=.ignore
 /doc/CHANGES.obfuscator header_spec=.ignore
 /doc/LICENSE header_spec=.ignore
 /doc/MakeLaTeXModern header_spec=.ignore
+/doc/acsl_tutorial_slides/script header_spec=.ignore
+/doc/developer/METADOC.txt header_spec=.ignore
 /doc/qualification/testing header_spec=.ignore
+/doc/release/periodic-elements.txt header_spec=.ignore
 /doc/value/watchpoints header_spec=.ignore
 /doc/scope/M.v header_spec=.ignore
 
@@ -220,7 +121,6 @@ README* header_spec=.ignore
 /doc/frama-c-book.* header_spec=.ignore
 /doc/*.hva header_spec=.ignore
 
-/doc/acsl_tutorial_slides/script header_spec=.ignore
 /doc/training/**/* header_spec=.ignore
 /doc/value/examples/parametrizing/*.log header_spec=.ignore
 /doc/*/**/Make* header_spec=.ignore
@@ -230,15 +130,15 @@ README* header_spec=.ignore
 /doc/**/*.c header_spec=.ignore
 /doc/**/*.graphml header_spec=.ignore
 /doc/**/*.h header_spec=.ignore
-/doc/**/*.htm header_spec=.ignore
 /doc/**/*.html header_spec=.ignore
 /doc/**/*.lua header_spec=.ignore
-/doc/**/*.ml header_spec=.ignore
+/doc/slicing/algo.ml header_spec=.ignore
+/doc/*/*/**/*.ml header_spec=.ignore
 /doc/**/*.mli header_spec=.ignore
 /doc/**/*.mll header_spec=.ignore
 /doc/**/*.oracle header_spec=.ignore
 /doc/**/*.tex header_spec=.ignore
-/doc/**/*.txt header_spec=.ignore
+/doc/*/*/**/*.txt header_spec=.ignore
 /doc/**/*.sh header_spec=.ignore
 
 /headers/open-source/* header_spec=.ignore
@@ -274,8 +174,6 @@ README* header_spec=.ignore
 
 /share/framac.vim header_spec=.ignore
 /share/META.frama-c header_spec=.ignore
-/share/libc/argz.h header_spec=.ignore
-/share/libc/argz.c header_spec=.ignore
 /share/analysis-scripts/readme-graph.graphml header_spec=.ignore
 /share/analysis-scripts/pyproject.toml header_spec=.ignore
 /share/win32_installer.iss header_spec=.ignore
@@ -283,3 +181,116 @@ README* header_spec=.ignore
 /share/compliance/*.json header_spec=.ignore
 
 /tests/**/* header_spec=.ignore
+
+#######################
+# HEADER_SPEC: others #
+#######################
+
+/configure.in header_spec=CEA_INRIA_LGPL
+
+/doc/aorai/Makefile header_spec=AORAI_LGPL
+
+/share/analysis-scripts/flamegraph.pl header_spec=CDDL
+/share/emacs/acsl.el header_spec=CEA_PR_LGPL
+/share/libc/argz.h header_spec=CEA_FSF_LGPL
+/share/libc/argz.c header_spec=CEA_FSF_LGPL
+/share/machdep.c header_spec=CIL
+
+/src/kernel_internals/parsing/clexer.mli header_spec=CIL
+/src/kernel_internals/parsing/clexer.mll header_spec=CIL
+/src/kernel_internals/parsing/cparser.mly header_spec=CIL
+/src/kernel_internals/parsing/errorloc.ml header_spec=CIL
+/src/kernel_internals/parsing/errorloc.mli header_spec=CIL
+/src/kernel_internals/parsing/lexerhack.ml header_spec=CIL
+/src/kernel_internals/parsing/lexerhack.mli header_spec=CIL
+/src/kernel_internals/parsing/logic_lexer.mli header_spec=CEA_INRIA_LGPL
+/src/kernel_internals/parsing/logic_lexer.mll header_spec=CEA_INRIA_LGPL
+/src/kernel_internals/parsing/logic_parser.mly header_spec=CEA_INRIA_LGPL
+/src/kernel_internals/parsing/logic_preprocess.mli header_spec=CEA_INRIA_LGPL
+/src/kernel_internals/parsing/logic_preprocess.mll header_spec=CEA_INRIA_LGPL
+/src/kernel_internals/runtime/machdeps.ml header_spec=CIL
+/src/kernel_internals/runtime/machdeps.mli header_spec=CIL
+/src/kernel_internals/typing/alpha.ml header_spec=CIL
+/src/kernel_internals/typing/alpha.mli header_spec=CIL
+/src/kernel_internals/typing/cabs2cil.ml header_spec=CIL
+/src/kernel_internals/typing/cabs2cil.mli header_spec=CIL
+/src/kernel_internals/typing/cfg.ml header_spec=CIL
+/src/kernel_internals/typing/cfg.mli header_spec=CIL
+/src/kernel_internals/typing/frontc.ml header_spec=CIL
+/src/kernel_internals/typing/frontc.mli header_spec=CIL
+/src/kernel_internals/typing/logic_builtin.ml header_spec=CEA_INRIA_LGPL
+/src/kernel_internals/typing/logic_builtin.mli header_spec=CEA_INRIA_LGPL
+/src/kernel_internals/typing/mergecil.ml header_spec=CIL
+/src/kernel_internals/typing/mergecil.mli header_spec=CIL
+/src/kernel_internals/typing/oneret.ml header_spec=CIL
+/src/kernel_internals/typing/oneret.mli header_spec=CIL
+/src/kernel_internals/typing/rmtmps.ml header_spec=CIL
+/src/kernel_internals/typing/rmtmps.mli header_spec=CIL
+/src/kernel_internals/typing/translate_lightweight.ml header_spec=CEA_INRIA_LGPL
+/src/kernel_internals/typing/translate_lightweight.mli header_spec=CEA_INRIA_LGPL
+/src/kernel_services/analysis/dataflows.ml header_spec=CIL
+/src/kernel_services/analysis/dataflows.mli header_spec=CIL
+/src/kernel_services/ast_data/cil_types.mli header_spec=CIL
+/src/kernel_services/ast_printing/cprint.ml header_spec=CIL
+/src/kernel_services/ast_printing/cprint.mli header_spec=CIL
+/src/kernel_services/ast_printing/logic_print.ml header_spec=CEA_INRIA_LGPL
+/src/kernel_services/ast_printing/logic_print.mli header_spec=CEA_INRIA_LGPL
+/src/kernel_services/ast_queries/cil.ml header_spec=CIL
+/src/kernel_services/ast_queries/cil.mli header_spec=CIL
+/src/kernel_services/ast_queries/cil_builtins.ml header_spec=CIL
+/src/kernel_services/ast_queries/cil_builtins.mli header_spec=CIL
+/src/kernel_services/ast_queries/cil_const.ml header_spec=CIL
+/src/kernel_services/ast_queries/cil_const.mli header_spec=CIL
+/src/kernel_services/ast_queries/logic_const.ml header_spec=CEA_INRIA_LGPL
+/src/kernel_services/ast_queries/logic_const.mli header_spec=CEA_INRIA_LGPL
+/src/kernel_services/ast_queries/logic_env.ml header_spec=CEA_INRIA_LGPL
+/src/kernel_services/ast_queries/logic_env.mli header_spec=CEA_INRIA_LGPL
+/src/kernel_services/ast_queries/logic_typing.ml header_spec=CEA_INRIA_LGPL
+/src/kernel_services/ast_queries/logic_typing.mli header_spec=CEA_INRIA_LGPL
+/src/kernel_services/ast_queries/logic_utils.ml header_spec=CEA_INRIA_LGPL
+/src/kernel_services/ast_queries/logic_utils.mli header_spec=CEA_INRIA_LGPL
+/src/kernel_services/parsetree/cabs.mli header_spec=CIL
+/src/kernel_services/parsetree/cabshelper.ml header_spec=CIL
+/src/kernel_services/parsetree/cabshelper.mli header_spec=CIL
+/src/kernel_services/parsetree/logic_ptree.mli header_spec=CEA_INRIA_LGPL
+/src/kernel_services/visitors/cabsvisit.ml header_spec=CIL
+/src/kernel_services/visitors/cabsvisit.mli header_spec=CIL
+/src/kernel_services/visitors/visitor_behavior.ml header_spec=CEA_INRIA_LGPL
+/src/kernel_services/visitors/visitor_behavior.mli header_spec=CEA_INRIA_LGPL
+
+/src/libraries/datatype/unmarshal.ml header_spec=INRIA_BSD
+/src/libraries/datatype/unmarshal.mli header_spec=INRIA_BSD
+/src/libraries/datatype/unmarshal_hashtbl_test.ml header_spec=INRIA_BSD
+/src/libraries/datatype/unmarshal_test.ml header_spec=INRIA_BSD
+/src/libraries/project/state_topological.ml header_spec=MODIFIED_OCAMLGRAPH
+/src/libraries/project/state_topological.mli header_spec=MODIFIED_OCAMLGRAPH
+/src/libraries/utils/cilconfig.ml header_spec=CIL
+/src/libraries/utils/cilconfig.mli header_spec=CIL
+/src/libraries/utils/escape.ml header_spec=CIL
+/src/libraries/utils/escape.mli header_spec=CIL
+/src/libraries/utils/hptmap.ml header_spec=MODIFIED_MENHIR
+/src/libraries/utils/hptmap.mli header_spec=MODIFIED_MENHIR
+/src/libraries/utils/hptmap_sig.mli header_spec=MODIFIED_MENHIR
+/src/libraries/utils/rangemap.ml header_spec=OCAML_STDLIB
+/src/libraries/utils/rangemap.mli header_spec=OCAML_STDLIB
+/src/libraries/utils/utf8_logic.ml header_spec=CEA_INRIA_LGPL
+/src/libraries/utils/utf8_logic.mli header_spec=CEA_INRIA_LGPL
+
+#########################
+# HEADER_SPEC: CEA_LGPL #
+#########################
+
+/bin/frama-c* header_spec=CEA_LGPL
+
+/doc/code/*.txt header_spec=CEA_LGPL
+/devel_tools/git-hooks/pre-commit header_spec=CEA_LGPL
+
+/headers/headache_config.txt header_spec=CEA_LGPL
+/headers/*.sh header_spec=CEA_LGPL_OR_PROPRIETARY
+
+/share/autocomplete_frama-c header_spec=CEA_LGPL
+/share/emacs/frama-c-*.el header_spec=CEA_LGPL
+/share/_frama-c header_spec=CEA_LGPL
+
+/src/kernel_internals/runtime/fc_config.ml.in header_spec=CEA_LGPL
+/src/libraries/stdlib/transitioning.ml.in header_spec=CEA_LGPL

src/plugins/.gitattributes

+########################################
+# HEADER_SPEC: CEA_LGPL_OR_PROPRIETARY #
+########################################
+
+config* header_spec=CEA_LGPL_OR_PROPRIETARY
+makefile* header_spec=CEA_LGPL_OR_PROPRIETARY
+Make* header_spec=CEA_LGPL_OR_PROPRIETARY
+*.mk header_spec=CEA_LGPL_OR_PROPRIETARY
+
+
+*.c header_spec=CEA_LGPL_OR_PROPRIETARY
+*.h header_spec=CEA_LGPL_OR_PROPRIETARY
+
+*.htm header_spec=CEA_LGPL_OR_PROPRIETARY
+*.html header_spec=CEA_LGPL_OR_PROPRIETARY
+
+*.js header_spec=CEA_LGPL_OR_PROPRIETARY
+
+*.ml header_spec=CEA_LGPL_OR_PROPRIETARY
+*.ml.in header_spec=CEA_LGPL_OR_PROPRIETARY
+*.mli header_spec=CEA_LGPL_OR_PROPRIETARY
+*.mli.in header_spec=CEA_LGPL_OR_PROPRIETARY
+*.mll header_spec=CEA_LGPL_OR_PROPRIETARY
+*.mly header_spec=CEA_LGPL_OR_PROPRIETARY
+
+*.xml header_spec=CEA_LGPL_OR_PROPRIETARY
+
+*.pl header_spec=CEA_LGPL_OR_PROPRIETARY
+
+*.py header_spec=CEA_LGPL_OR_PROPRIETARY
+
+*.rc header_spec=CEA_LGPL_OR_PROPRIETARY
+
+*.sh header_spec=CEA_LGPL_OR_PROPRIETARY
+*.zsh header_spec=CEA_LGPL_OR_PROPRIETARY
+
+*.css header_spec=CEA_LGPL_OR_PROPRIETARY
+
+*.ts header_spec=CEA_LGPL_OR_PROPRIETARY
+*.tsx header_spec=CEA_LGPL_OR_PROPRIETARY
+
+########################
+# HEADER_SPEC: .ignore #
+########################
+
+/*/tests/**/* header_spec=.ignore
+

src/plugins/dive/.gitattributes

-########################
-# HEADER_SPEC: .ignore #
-########################
-
-/tests/**/* header_spec=.ignore

src/plugins/instantiate/.gitattributes

-########################
-# HEADER_SPEC: .ignore #
-########################
-
-/tests/**/* header_spec=.ignore

src/plugins/loop_analysis/.gitattributes

-########################
-# HEADER_SPEC: .ignore #
-########################
-
-/tests/**/* header_spec=.ignore

src/plugins/markdown-report/.gitattributes

@@ -3,7 +3,3 @@
 ########################
 
 /META.in header_spec=.ignore
-
-/share/acsl.xml header_spec=.ignore
-
-/tests/**/* header_spec=.ignore

src/plugins/nonterm/.gitattributes

-########################
-# HEADER_SPEC: .ignore #
-########################
-
-/tests/**/* header_spec=.ignore

src/plugins/report/.gitattributes

-########################
-# HEADER_SPEC: .ignore #
-########################
-
-/tests/**/* header_spec=.ignore

src/plugins/server/.gitattributes

-########################
-# HEADER_SPEC: .ignore #
-########################
-
-/tests/**/* header_spec=.ignore

src/plugins/variadic/.gitattributes

-########################
-# HEADER_SPEC: .ignore #
-########################
-
-/todo.txt header_spec=.ignore
-
-/tests/**/* header_spec=.ignore

src/plugins/wp/.gitattributes

@@ -18,6 +18,8 @@ Makefile.in header_spec=CEA_WP
 Makefile.resources header_spec=CEA_WP
 MakeDoc header_spec=CEA_WP
 
+/intro_wp.txt header_spec=CEA_WP
+
 #######################
 # HEADER_SPEC: others #
 #######################
@@ -51,8 +53,6 @@ MakeDoc header_spec=CEA_WP
 # HEADER_SPEC: .ignore #
 ########################
 
-/intro_wp.txt header_spec=.ignore
-
 /doc/coqdoc/coq2tex/coq2html.js header_spec=.ignore
 /doc/coqdoc/coq2tex/*.css header_spec=.ignore
 /doc/coqdoc/coq2tex/*.html header_spec=.ignore