diff --git a/headers/close-source/ACSL_EL b/headers/close-source/ACSL_EL deleted file mode 100644 index 03295570cfc43bc942288ad03439c060114d655d..0000000000000000000000000000000000000000 --- a/headers/close-source/ACSL_EL +++ /dev/null @@ -1,21 +0,0 @@ - -This file is part of Frama-C. - -Copyright (C) 2008-2011 - Pierre Roux - -Copyright (C) 2009-2022 - CEA LIST - -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 licenses/LGPLv2.1). - diff --git a/headers/header_spec.txt b/headers/header_spec.txt index e635e42c3a12a14c3fd985f486d40ecff5b48673..f6fc872c47db1094168e0a054770b5a4a5c68ee1 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -15,7 +15,7 @@ README.md: .ignore VERSION: .ignore VERSION_CODENAME: .ignore bin/.gitignore: .ignore -bin/build-src-distrib.sh: .ignore +bin/build-src-distrib.sh: CEA_LGPL bin/frama-c: CEA_LGPL bin/frama-c-config: CEA_LGPL bin/frama-c-script: CEA_LGPL @@ -66,13 +66,13 @@ doc/code/intro_sparecode.txt: CEA_LGPL doc/code/style.css: CEA_LGPL doc/code/toc_head.htm: CEA_LGPL doc/code/toc_tail.htm: CEA_LGPL -headers/check-headers.sh: CEA_PROPRIETARY -headers/close-source/ACSL_EL: .ignore +headers/check-headers.sh: CEA_LGPL_OR_PROPRIETARY headers/close-source/AORAI_LGPL: .ignore headers/close-source/CEA_INRIA_LGPL: .ignore headers/close-source/CEA_LGPL: .ignore headers/close-source/CEA_LGPL_OR_PROPRIETARY: .ignore headers/close-source/CEA_PROPRIETARY: .ignore +headers/close-source/CEA_PR_LGPL: .ignore headers/close-source/CEA_WP: .ignore headers/close-source/CIL: .ignore headers/close-source/INRIA_BSD: .ignore @@ -83,15 +83,15 @@ headers/close-source/MODIFIED_OCAMLGRAPH: .ignore headers/close-source/MODIFIED_WHY3: .ignore headers/close-source/OCAML_STDLIB: .ignore headers/close-source/UNMODIFIED_WHY3: .ignore -headers/headache.sh: CEA_PROPRIETARY -headers/headache_config.txt: .ignore +headers/headache.sh: CEA_LGPL_OR_PROPRIETARY +headers/headache_config.txt: CEA_LGPL headers/header_spec.txt: .ignore -headers/open-source/ACSL_EL: .ignore headers/open-source/AORAI_LGPL: .ignore headers/open-source/CEA_INRIA_LGPL: .ignore headers/open-source/CEA_LGPL: .ignore headers/open-source/CEA_LGPL_OR_PROPRIETARY: .ignore headers/open-source/CEA_PROPRIETARY: .ignore +headers/open-source/CEA_PR_LGPL: .ignore headers/open-source/CEA_WP: .ignore headers/open-source/CIL: .ignore headers/open-source/INRIA_BSD: .ignore @@ -102,7 +102,7 @@ headers/open-source/MODIFIED_OCAMLGRAPH: .ignore headers/open-source/MODIFIED_WHY3: .ignore headers/open-source/OCAML_STDLIB: .ignore headers/open-source/UNMODIFIED_WHY3: .ignore -headers/updates-headers.sh: CEA_PROPRIETARY +headers/updates-headers.sh: CEA_LGPL_OR_PROPRIETARY lib/plugins/PLUGINS.README: .ignore licenses/CDDL-1.0: .ignore licenses/LGPLv2: .ignore @@ -118,35 +118,35 @@ share/analysis-scripts/analysis.mk: CEA_LGPL share/analysis-scripts/benchmark_database.py: CEA_LGPL share/analysis-scripts/build.py: CEA_LGPL share/analysis-scripts/build_callgraph.py: CEA_LGPL -share/analysis-scripts/clone.sh: .ignore +share/analysis-scripts/clone.sh: CEA_LGPL share/analysis-scripts/creduce.sh: CEA_LGPL share/analysis-scripts/detect_recursion.py: CEA_LGPL share/analysis-scripts/epilogue.mk: CEA_LGPL share/analysis-scripts/estimate_difficulty.py: CEA_LGPL -share/analysis-scripts/fc_stubs.c: .ignore +share/analysis-scripts/fc_stubs.c: CEA_LGPL share/analysis-scripts/frama_c_results.py: CEA_LGPL -share/analysis-scripts/cmd-dep.sh: .ignore -share/analysis-scripts/concat-csv.sh: .ignore +share/analysis-scripts/cmd-dep.sh: CEA_LGPL +share/analysis-scripts/concat-csv.sh: CEA_LGPL share/analysis-scripts/find_fun.py: CEA_LGPL share/analysis-scripts/flamegraph.pl: CDDL -share/analysis-scripts/function_finder.py: .ignore +share/analysis-scripts/function_finder.py: CEA_LGPL share/analysis-scripts/git_utils.py: CEA_LGPL share/analysis-scripts/heuristic_list_functions.py: CEA_LGPL share/analysis-scripts/list_files.py: CEA_LGPL share/analysis-scripts/list_functions.ml: CEA_LGPL share/analysis-scripts/make_wrapper.py: CEA_LGPL share/analysis-scripts/normalize_jcdb.py: CEA_LGPL -share/analysis-scripts/parse-coverage.sh: .ignore +share/analysis-scripts/parse-coverage.sh: CEA_LGPL share/analysis-scripts/print_callgraph.py: CEA_LGPL share/analysis-scripts/prologue.mk: CEA_LGPL share/analysis-scripts/pyproject.toml: .ignore share/analysis-scripts/README.md: .ignore share/analysis-scripts/results_display.py: CEA_LGPL -share/analysis-scripts/script_for_creduce_fatal.sh: .ignore -share/analysis-scripts/script_for_creduce_non_fatal.sh: .ignore +share/analysis-scripts/script_for_creduce_fatal.sh: CEA_LGPL +share/analysis-scripts/script_for_creduce_non_fatal.sh: CEA_LGPL share/analysis-scripts/source_filter.py: CEA_LGPL share/analysis-scripts/summary.py: CEA_LGPL -share/analysis-scripts/template.mk: .ignore +share/analysis-scripts/template.mk: CEA_LGPL share/compliance/c11_functions.json: .ignore share/compliance/c11_headers.json: .ignore share/compliance/compiler_builtins.json: .ignore @@ -165,7 +165,7 @@ share/Makefile.generic: CEA_LGPL share/Makefile.plugin.template: CEA_LGPL share/META.frama-c: .ignore share/configure.ac: CEA_LGPL -share/emacs/acsl.el: ACSL_EL +share/emacs/acsl.el: CEA_PR_LGPL share/emacs/frama-c-dev.el: CEA_LGPL share/emacs/frama-c-init.el: CEA_LGPL share/emacs/frama-c-recommended.el: CEA_LGPL @@ -987,24 +987,24 @@ src/plugins/loop_analysis/region_analysis_stmt.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/loop_analysis/region_analysis_stmt.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/loop_analysis/register.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/loop_analysis/register.mli: CEA_LGPL_OR_PROPRIETARY -src/plugins/markdown-report/configure.ac: CEA_LGPL -src/plugins/markdown-report/eva_info.ml: CEA_LGPL -src/plugins/markdown-report/eva_info.mli: CEA_LGPL -src/plugins/markdown-report/Makefile.in: CEA_LGPL +src/plugins/markdown-report/configure.ac: CEA_LGPL_OR_PROPRIETARY +src/plugins/markdown-report/eva_info.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/markdown-report/eva_info.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/markdown-report/Makefile.in: CEA_LGPL_OR_PROPRIETARY src/plugins/markdown-report/META.in: .ignore -src/plugins/markdown-report/md_gen.ml: CEA_LGPL -src/plugins/markdown-report/md_gen.mli: CEA_LGPL -src/plugins/markdown-report/mdr_params.ml: CEA_LGPL -src/plugins/markdown-report/mdr_params.mli: CEA_LGPL -src/plugins/markdown-report/mdr_register.ml: CEA_LGPL -src/plugins/markdown-report/mdr_register.mli: CEA_LGPL -src/plugins/markdown-report/parse_remarks.ml: CEA_LGPL -src/plugins/markdown-report/parse_remarks.mli: CEA_LGPL -src/plugins/markdown-report/sarif_gen.ml: CEA_LGPL -src/plugins/markdown-report/sarif_gen.mli: CEA_LGPL -src/plugins/markdown-report/sarif.ml: CEA_LGPL -src/plugins/markdown-report/sarif.mli: CEA_LGPL -src/plugins/markdown-report/share/acsl.xml: CEA_LGPL +src/plugins/markdown-report/md_gen.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/markdown-report/md_gen.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/markdown-report/mdr_params.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/markdown-report/mdr_params.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/markdown-report/mdr_register.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/markdown-report/mdr_register.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/markdown-report/parse_remarks.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/markdown-report/parse_remarks.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/markdown-report/sarif_gen.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/markdown-report/sarif_gen.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/markdown-report/sarif.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/markdown-report/sarif.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/markdown-report/share/acsl.xml: CEA_LGPL_OR_PROPRIETARY src/plugins/metrics/Metrics.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/metrics/css_html.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/metrics/css_html.mli: CEA_LGPL_OR_PROPRIETARY @@ -1120,13 +1120,13 @@ src/plugins/postdominators/postdominators_parameters.mli: CEA_LGPL_OR_PROPRIETAR src/plugins/postdominators/print.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/postdominators/print.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/print_api/.gitignore: .ignore -src/plugins/print_api/Makefile: CEA_LGPL -src/plugins/print_api/Print_api.mli: CEA_LGPL -src/plugins/print_api/grammar.mly: CEA_LGPL -src/plugins/print_api/lexer.mll: CEA_LGPL -src/plugins/print_api/lexer.mli: CEA_LGPL -src/plugins/print_api/print_interface.ml: CEA_LGPL -src/plugins/print_api/print_interface.mli: CEA_LGPL +src/plugins/print_api/Makefile: CEA_LGPL_OR_PROPRIETARY +src/plugins/print_api/Print_api.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/print_api/grammar.mly: CEA_LGPL_OR_PROPRIETARY +src/plugins/print_api/lexer.mll: CEA_LGPL_OR_PROPRIETARY +src/plugins/print_api/lexer.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/print_api/print_interface.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/print_api/print_interface.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/qed/.gitignore: .ignore src/plugins/qed/Makefile: CEA_WP src/plugins/qed/bvars.ml: CEA_WP @@ -1335,15 +1335,15 @@ src/plugins/value/alarmset.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/value/alarmset.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/value/eval.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/value/eval.mli: CEA_LGPL_OR_PROPRIETARY -src/plugins/value/gen-api.sh: .ignore +src/plugins/value/gen-api.sh: CEA_LGPL_OR_PROPRIETARY src/plugins/value/parameters.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/value/parameters.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/value/register.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/value/register.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/value/self.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/value/self.mli: CEA_LGPL_OR_PROPRIETARY -src/plugins/value/test.assert.sh: .ignore -src/plugins/value/test.sh: .ignore +src/plugins/value/test.assert.sh: CEA_LGPL_OR_PROPRIETARY +src/plugins/value/test.sh: CEA_LGPL_OR_PROPRIETARY src/plugins/value/api/general_requests.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/value/api/general_requests.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/value/api/values_request.ml: CEA_LGPL_OR_PROPRIETARY @@ -1844,14 +1844,14 @@ src/plugins/wp/ctypes.ml: CEA_WP src/plugins/wp/ctypes.mli: CEA_WP src/plugins/wp/filter_axioms.ml: CEA_WP src/plugins/wp/filter_axioms.mli: CEA_WP -src/plugins/wp/doc/MakeDoc: .ignore -src/plugins/wp/doc/coqdoc/Makefile: .ignore +src/plugins/wp/doc/MakeDoc: CEA_WP +src/plugins/wp/doc/coqdoc/Makefile: CEA_WP src/plugins/wp/doc/coqdoc/coqdoc.sty: .ignore src/plugins/wp/doc/coqdoc/qed_generated.tex: .ignore src/plugins/wp/doc/coqdoc/typed_generated.tex: .ignore src/plugins/wp/doc/coqdoc/wpcoq.tex: .ignore src/plugins/wp/doc/manual/.gitignore: .ignore -src/plugins/wp/doc/manual/Makefile: .ignore +src/plugins/wp/doc/manual/Makefile: CEA_WP src/plugins/wp/doc/manual/mem.pdf: .ignore src/plugins/wp/doc/manual/size_base.pdf: .ignore src/plugins/wp/doc/manual/size_compl.pdf: .ignore diff --git a/headers/open-source/ACSL_EL b/headers/open-source/ACSL_EL deleted file mode 100644 index 03295570cfc43bc942288ad03439c060114d655d..0000000000000000000000000000000000000000 --- a/headers/open-source/ACSL_EL +++ /dev/null @@ -1,21 +0,0 @@ - -This file is part of Frama-C. - -Copyright (C) 2008-2011 - Pierre Roux - -Copyright (C) 2009-2022 - CEA LIST - -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 licenses/LGPLv2.1). - diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt index 361c89dfb300142bb207d7bdcf5f4010d130f83b..649ed47c9564883ad2bfdc95277c9831e3a661f3 100644 --- a/ivette/headers/header_spec.txt +++ b/ivette/headers/header_spec.txt @@ -9,13 +9,13 @@ INSTALL.md: .ignore Makefile: CEA_LGPL README.md: .ignore configure.js: .ignore -distrib.sh: .ignore +distrib.sh: CEA_LGPL doc/pandoc/href.lua: .ignore doc/pandoc/index.json: .ignore doc/pandoc/template.html: .ignore electron-builder.json: .ignore electron-webpack.json: .ignore -ivette-macos.sh: .ignore +ivette-macos.sh: CEA_LGPL package.json: .ignore sandboxer.js: .ignore src/dome/.gitignore: .ignore @@ -130,19 +130,19 @@ src/dome/renderer/themes.tsx: CEA_LGPL src/dome/template/Application.js: CEA_LGPL src/dome/template/Preferences.js: CEA_LGPL src/dome/template/babelrc.json: .ignore -src/dome/template/dome-pull.sh: .ignore -src/dome/template/dome-push.sh: .ignore +src/dome/template/dome-pull.sh: CEA_LGPL +src/dome/template/dome-push.sh: CEA_LGPL src/dome/template/electron-webpack.json: .ignore -src/dome/template/export.sh: .ignore +src/dome/template/export.sh: CEA_LGPL src/dome/template/git-ignore: .ignore src/dome/template/main.js: CEA_LGPL -src/dome/template/makefile: .ignore -src/dome/template/makefile.app.packages: .ignore -src/dome/template/makefile.packages: .ignore -src/dome/template/package.sh: .ignore +src/dome/template/makefile: CEA_LGPL +src/dome/template/makefile.app.packages: CEA_LGPL +src/dome/template/makefile.packages: CEA_LGPL +src/dome/template/package.sh: CEA_LGPL src/dome/template/renderer.js: CEA_LGPL src/dome/template/typescript.el: .ignore -src/dome/template/update.sh: .ignore +src/dome/template/update.sh: CEA_LGPL src/dome/template/webpack.main.js: CEA_LGPL src/dome/template/webpack.renderer.js: CEA_LGPL src/frama-c/api_generator.ml: CEA_LGPL @@ -209,6 +209,6 @@ tests/eva-1.i: .ignore tests/eva-2.i: .ignore tsconfig.json: .ignore tsfmt.json: .ignore -webpack.main.js: .ignore -webpack.renderer.js: .ignore +webpack.main.js: CEA_LGPL +webpack.renderer.js: CEA_LGPL yarn.lock: .ignore