Add copyright header

vmordan · vmordan · commit c353757ebea8 · 2025-09-22T21:57:51.000+03:00
diff --git a/Makefile b/Makefile
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 cpu_cores=$(shell nproc)
 
 
diff --git a/cv/aux/__init__.py b/cv/aux/__init__.py
@@ -1,7 +1,6 @@
-# Continuous Verification Framework provides processing and managing verification results.
-# https://github.com/ispras/cv
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
 #
-# Copyright © 2025 ISP RAS
-# Copyright © 2025 Vitalii Mordan
+# Copyright © 2025 Vitalii Mordan, ISP RAS
 #
 # SPDX-License-Identifier: Apache-2.0
diff --git a/cv/aux/common.py b/cv/aux/common.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 Common functions.
 """
diff --git a/cv/benchmark_visualizer.py b/cv/benchmark_visualizer.py
@@ -1,5 +1,12 @@
 #!/usr/bin/python3
 
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 This script provides functionality to launch a specific benchmark and visualize the results.
 """
diff --git a/cv/bridge.py b/cv/bridge.py
@@ -1,5 +1,12 @@
 #!/usr/bin/python3
 
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 This script provides connection to Klever jobs.
 """
diff --git a/cv/components/__init__.py b/cv/components/__init__.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 Here global names are defined.
 """
diff --git a/cv/components/benchmark_launcher.py b/cv/components/benchmark_launcher.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 Component for launching benchmark and processing its results.
 """
diff --git a/cv/components/component.py b/cv/components/component.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 Class for representation of an arbitrary component.
 """
diff --git a/cv/components/coverage_processor.py b/cv/components/coverage_processor.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 This component processes coverage for solved verification task.
 """
diff --git a/cv/components/exporter.py b/cv/components/exporter.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 Component for extracting results into archive to be uploaded in the web-interface.
 """
diff --git a/cv/components/launcher.py b/cv/components/launcher.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 Launcher implements basic functionality for launching verification tasks.
 """
diff --git a/cv/components/mea.py b/cv/components/mea.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 # pylint: disable=no-name-in-module
 
 """
diff --git a/cv/coverage/lcov.py b/cv/coverage/lcov.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 Module for lcov coverage processing.
 """
diff --git a/cv/klever_bridge/__init__.py b/cv/klever_bridge/__init__.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 This module provides connection from Klever jobs to CV web-interface.
 """
diff --git a/cv/klever_bridge/index_tasks.py b/cv/klever_bridge/index_tasks.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 Module for indexing klever tasks in its working directory.
 """
diff --git a/cv/klever_bridge/launcher.py b/cv/klever_bridge/launcher.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 Component for launching benchmark and processing its results.
 """
diff --git a/cv/mea.py b/cv/mea.py
@@ -1,5 +1,12 @@
 #!/usr/bin/python3
 
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 This script provides functionality to filter a given witnesses.
 """
diff --git a/cv/mea/core.py b/cv/mea/core.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 This library presents core functions for MEA, such as conversion and comparison of error traces.
 """
diff --git a/cv/mea/et/__init__.py b/cv/mea/et/__init__.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 # pylint: disable=invalid-name
 """
 This library is intended for witnesses parsing.
diff --git a/cv/mea/et/internal_witness.py b/cv/mea/et/internal_witness.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 # pylint: disable=missing-docstring
 """
 Internal representation of witness in CV format.
diff --git a/cv/mea/et/parser.py b/cv/mea/et/parser.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 # pylint: disable=line-too-long
 """
 Parser for witnesses.
diff --git a/cv/mea/et/tmpvars.py b/cv/mea/et/tmpvars.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 Contains specific simplifications of violation witnesses for visualization.
 """
diff --git a/cv/models/tags.py b/cv/models/tags.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 Here is a structure of config files tags.
 """
diff --git a/cv/models/verification_result.py b/cv/models/verification_result.py
@@ -1,3 +1,10 @@
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 # pylint: disable=too-few-public-methods, invalid-name
 """
 This module describes internal data structures.
diff --git a/cv/runner.py b/cv/runner.py
@@ -1,5 +1,12 @@
 #!/usr/bin/env python3
 
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 # pylint: disable=line-too-long
 
 """
diff --git a/cv/witness_visualizer.py b/cv/witness_visualizer.py
@@ -1,5 +1,12 @@
 #!/usr/bin/python3
 
+# Continuous Verification Framework - processing and managing verification results.
+# Repository: https://github.com/ispras/cv
+#
+# Copyright © 2025 Vitalii Mordan, ISP RAS
+#
+# SPDX-License-Identifier: Apache-2.0
+
 """
 This script provides functionality to visualize a given witness or a group of witnesses.
 """

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,6 @@`
`1`		`-# Continuous Verification Framework provides processing and managing verification results.`
`2`		`-# https://github.com/ispras/cv`
	`1`	`+# Continuous Verification Framework - processing and managing verification results.`
	`2`	`+# Repository: https://github.com/ispras/cv`
`3`	`3`	`#`
`4`		`-# Copyright © 2025 ISP RAS`
`5`		`-# Copyright © 2025 Vitalii Mordan`
	`4`	`+# Copyright © 2025 Vitalii Mordan, ISP RAS`
`6`	`5`	`#`
`7`	`6`	`# SPDX-License-Identifier: Apache-2.0`