diff --git a/headers/headache_config.txt b/headers/headache_config.txt index 969d2cf13811e6a07cc2f3079c95c78d3e711606..f27199a3b4efe01db469fd655fe80f3fdff2ed00 100644 --- a/headers/headache_config.txt +++ b/headers/headache_config.txt @@ -136,6 +136,13 @@ ############## | ".*\.el" -> frame open: ";" line: ";" close:";" +########## +# Python # +########## + +| ".*\.py" -> frame open: "#" line: "#" close:"#" +| ".*\.py" -> skip multiline_match: "#!.*" multiline_match: "#-\*-.*" + ############## # Misc files # ############## diff --git a/headers/header_spec.txt b/headers/header_spec.txt index 35a58061a5054dbf0bc2243e8548edb98e84c786..44f5948ae50c21b8f6056d4f11886cac31a38546 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -113,28 +113,28 @@ ptests/.merlin: .ignore ptests/ptests.ml: CEA_LGPL share/_frama-c: CEA_LGPL share/analysis-scripts/analysis.mk: CEA_LGPL -share/analysis-scripts/benchmark_database.py: .ignore +share/analysis-scripts/benchmark_database.py: CEA_LGPL share/analysis-scripts/clone.sh: .ignore share/analysis-scripts/creduce.sh: CEA_LGPL share/analysis-scripts/epilogue.mk: CEA_LGPL share/analysis-scripts/fc_stubs.c: .ignore -share/analysis-scripts/frama_c_results.py: .ignore +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/find_fun.py: .ignore +share/analysis-scripts/find_fun.py: CEA_LGPL share/analysis-scripts/flamegraph.pl: CDDL share/analysis-scripts/function_finder.py: .ignore -share/analysis-scripts/git_utils.py: .ignore -share/analysis-scripts/list_files.py: .ignore -share/analysis-scripts/list_functions.ml: .ignore -share/analysis-scripts/make_template.py: .ignore -share/analysis-scripts/make_wrapper.py: .ignore -share/analysis-scripts/normalize_jcdb.py: .ignore +share/analysis-scripts/git_utils.py: CEA_LGPL +share/analysis-scripts/list_files.py: CEA_LGPL +share/analysis-scripts/list_functions.ml: CEA_LGPL +share/analysis-scripts/make_template.py: 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/prologue.mk: CEA_LGPL share/analysis-scripts/README.md: .ignore -share/analysis-scripts/results_display.py: .ignore -share/analysis-scripts/summary.py: .ignore +share/analysis-scripts/results_display.py: CEA_LGPL +share/analysis-scripts/summary.py: CEA_LGPL share/analysis-scripts/template.mk: .ignore share/compliance/c11_functions.json: .ignore share/compliance/c11_headers.json: .ignore diff --git a/share/analysis-scripts/benchmark_database.py b/share/analysis-scripts/benchmark_database.py index 53ee4452c23058a6d13d0bbac73cd9cd01f88e3a..fa577c5de7516f3a9aa3e2526972f6dfee218605 100644 --- a/share/analysis-scripts/benchmark_database.py +++ b/share/analysis-scripts/benchmark_database.py @@ -2,7 +2,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2020 # +# Copyright (C) 2007-2021 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/share/analysis-scripts/find_fun.py b/share/analysis-scripts/find_fun.py index 7324da49ef2db73bb3a0ed87b50c8cd8c426ab8d..18588b293bd0452317f4ae72f90e8b396775c3a1 100755 --- a/share/analysis-scripts/find_fun.py +++ b/share/analysis-scripts/find_fun.py @@ -4,7 +4,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2020 # +# Copyright (C) 2007-2021 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/share/analysis-scripts/frama_c_results.py b/share/analysis-scripts/frama_c_results.py index 0519eda8ecccb5e78cfc51f2befe036cf16c792e..9f2847b63f9f2c4a3edd72ba95d7f3b79e48ecce 100644 --- a/share/analysis-scripts/frama_c_results.py +++ b/share/analysis-scripts/frama_c_results.py @@ -2,7 +2,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2020 # +# Copyright (C) 2007-2021 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/share/analysis-scripts/git_utils.py b/share/analysis-scripts/git_utils.py index 38e8ac9cd25e284ee6297c31658b1408327ef64d..9714a3b1e3a9f8f3b5996727ccb683c17fad5f44 100644 --- a/share/analysis-scripts/git_utils.py +++ b/share/analysis-scripts/git_utils.py @@ -2,7 +2,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2020 # +# Copyright (C) 2007-2021 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/share/analysis-scripts/list_files.py b/share/analysis-scripts/list_files.py index 6845700360341beaa1b9acba44e293688859f133..ac822030be89c50fcde456d387e91d6708cc50f7 100755 --- a/share/analysis-scripts/list_files.py +++ b/share/analysis-scripts/list_files.py @@ -4,7 +4,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2020 # +# Copyright (C) 2007-2021 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/share/analysis-scripts/make_template.py b/share/analysis-scripts/make_template.py index c39b82bd4f4836b06a45af4c79789e058a3c2685..c986e4551c446b47caff148e869d65ef1713c58d 100755 --- a/share/analysis-scripts/make_template.py +++ b/share/analysis-scripts/make_template.py @@ -4,7 +4,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2020 # +# Copyright (C) 2007-2021 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/share/analysis-scripts/make_wrapper.py b/share/analysis-scripts/make_wrapper.py index 07c314b9d8a8679b51f13c03973d15e36091395e..ac42c8d36bff9465dd8b00cbf768d7123a56b57e 100755 --- a/share/analysis-scripts/make_wrapper.py +++ b/share/analysis-scripts/make_wrapper.py @@ -4,7 +4,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2020 # +# Copyright (C) 2007-2021 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/share/analysis-scripts/normalize_jcdb.py b/share/analysis-scripts/normalize_jcdb.py index c578730c143eba4b23f5b1c6d7e4575c58ca2965..319a52d252aab583b2682b499adb574c4321b81b 100755 --- a/share/analysis-scripts/normalize_jcdb.py +++ b/share/analysis-scripts/normalize_jcdb.py @@ -4,7 +4,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2020 # +# Copyright (C) 2007-2021 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/share/analysis-scripts/results_display.py b/share/analysis-scripts/results_display.py index 61339bfc02164d841df2d6d2804b1c56879fb5f8..62ba7aa7976872bb3fcfa0d3c851f7b1aa8d2deb 100644 --- a/share/analysis-scripts/results_display.py +++ b/share/analysis-scripts/results_display.py @@ -2,7 +2,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2020 # +# Copyright (C) 2007-2021 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/share/analysis-scripts/summary.py b/share/analysis-scripts/summary.py index c3b309e80e0d7eaf771008144f5de9dcc4ff609a..9718a7ddbe4d778ed5e9b81fc78fd06919d62911 100755 --- a/share/analysis-scripts/summary.py +++ b/share/analysis-scripts/summary.py @@ -4,7 +4,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2020 # +# Copyright (C) 2007-2021 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # #