Add copyright headers to files where missing

For some files we cannot add comments, so we put the header in a separate .license file according to the REUSE specification.
MaxBarth95 · May 22, 2020 · f572844 · f572844
1 parent 07adac8
commit f572844
Show file tree

Hide file tree

Showing 109 changed files with 866 additions and 0 deletions.
diff --git a/.coveragerc b/.coveragerc
@@ -1,3 +1,10 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 [run]
 branch = True
 parallel = True

diff --git a/.flake8 b/.flake8
@@ -1,3 +1,10 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 [flake8]
 max-line-length = 88
 ignore =

diff --git a/.gitattributes b/.gitattributes
@@ -1,3 +1,10 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 # Exclude test files from project statistics
 # cf. https://github.com/github/linguist#troubleshooting
 benchexec/tablegenerator/test_integration/expected/** linguist-vendored

diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,10 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 *.pyc
 *~
 /build

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -1,3 +1,10 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 # To execute a job locally, install gitlab-runner (https://docs.gitlab.com/runner/install/)
 # and run the following command:
 # gitlab-runner exec docker --docker-privileged --docker-volumes /sys/fs/cgroup:/sys/fs/cgroup:rw --env CI_REGISTRY_IMAGE=registry.gitlab.com/sosy-lab/software/benchexec <<JOB_NAME>>

diff --git a/.project b/.project
@@ -1,4 +1,14 @@
 <?xml version="1.0" encoding="UTF-8"?>
+
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 <projectDescription>
 	<name>BenchExec</name>
 	<comment></comment>

diff --git a/.travis-setup.sh b/.travis-setup.sh
@@ -1,4 +1,12 @@
 #!/bin/sh
+
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 set -e
 
 echo ------------------------

diff --git a/.travis.yml b/.travis.yml
@@ -1,3 +1,10 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 language: python
 sudo: required
 dist: xenial

diff --git a/.zenodo.json.license b/.zenodo.json.license
@@ -0,0 +1,6 @@
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 # BenchExec Changelog
 
 ## BenchExec 2.6

diff --git a/MANIFEST.in b/MANIFEST.in
@@ -1,3 +1,10 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 include *.md
 include LICENSE
 include benchexec/tablegenerator/template*

diff --git a/README.md b/README.md
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 # BenchExec
 ## A Framework for Reliable Benchmarking and Resource Measurement
 

diff --git a/benchexec/tablegenerator/react-table/.env b/benchexec/tablegenerator/react-table/.env
@@ -1 +1,8 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 EXTEND_ESLINT=true
diff --git a/benchexec/tablegenerator/react-table/.env.production b/benchexec/tablegenerator/react-table/.env.production
@@ -1 +1,8 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 GENERATE_SOURCEMAP=false
diff --git a/benchexec/tablegenerator/react-table/.gitignore b/benchexec/tablegenerator/react-table/.gitignore
@@ -1,3 +1,10 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 # See https://help.github.com/articles/ignoring-files/ for more about ignoring files.
 
 # generated files

diff --git a/benchexec/tablegenerator/react-table/.lintignores b/benchexec/tablegenerator/react-table/.lintignores
@@ -1,3 +1,10 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 build
 dist
 config

diff --git a/benchexec/tablegenerator/react-table/.npmrc b/benchexec/tablegenerator/react-table/.npmrc
@@ -1 +1,8 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 engine-strict=true
diff --git a/benchexec/tablegenerator/react-table/README.md b/benchexec/tablegenerator/react-table/README.md
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 This project was bootstrapped with [Create React App](https://github.com/facebook/create-react-app).
 
 ## Dependencies

diff --git a/benchexec/tablegenerator/react-table/package-lock.json.license b/benchexec/tablegenerator/react-table/package-lock.json.license
diff --git a/benchexec/tablegenerator/react-table/package.json.license b/benchexec/tablegenerator/react-table/package.json.license
@@ -0,0 +1,6 @@
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
diff --git a/benchexec/tablegenerator/react-table/public/index.html b/benchexec/tablegenerator/react-table/public/index.html
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 <!DOCTYPE html>
 <html lang="en">
   <head>

diff --git a/...3-03_1613.logfiles/predicateAnalysis.implicitunsignedconversion_false-unreach-label.i.log b/...3-03_1613.logfiles/predicateAnalysis.implicitunsignedconversion_false-unreach-label.i.log
@@ -1 +1,8 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 Dummy log file 1
diff --git a/benchexec/tablegenerator/react-table/public/task_definition.yml b/benchexec/tablegenerator/react-table/public/task_definition.yml
@@ -1,3 +1,10 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 # Required, string with format version of this file (currently only "1.0")
 format_version: "1.0"
 

diff --git a/benchexec/tablegenerator/react-table/src/data/data.json.license b/benchexec/tablegenerator/react-table/src/data/data.json.license
@@ -0,0 +1,6 @@
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
diff --git a/benchexec/tablegenerator/test_integration/multi-table-with-columns.xml b/benchexec/tablegenerator/test_integration/multi-table-with-columns.xml
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 <table>
   <result filename="results/test.2015-03-03_1613.results.predicateAnalysis.xml"/>
   <result filename="results/test.2015-03-03_1613.results.valueAnalysis.xml"/>

diff --git a/benchexec/tablegenerator/test_integration/multi-table-with-diff-over-column.xml b/benchexec/tablegenerator/test_integration/multi-table-with-diff-over-column.xml
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 <table>
   <result filename="results/test.2015-03-03_1613.results.predicateAnalysis.xml"/>
   <result filename="results/test.2015-03-03_1613.results.valueAnalysis.xml"/>

diff --git a/benchexec/tablegenerator/test_integration/multi-table-with-wildcards.xml b/benchexec/tablegenerator/test_integration/multi-table-with-wildcards.xml
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 <table>
   <result filename="results/test.*.results.predicateAnalysis.xml"/>
   <result filename="results/test.*.results.valueAnalysis.xml"/>

diff --git a/benchexec/tablegenerator/test_integration/multi-table.xml b/benchexec/tablegenerator/test_integration/multi-table.xml
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 <table>
   <result filename="results/test.2015-03-03_1613.results.predicateAnalysis.xml"/>
   <result filename="results/test.2015-03-03_1613.results.valueAnalysis.xml"/>

diff --git a/benchexec/tablegenerator/test_integration/simple-table-with-columns.xml b/benchexec/tablegenerator/test_integration/simple-table-with-columns.xml
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 <table>
   <result filename="results/test.2015-03-03_1613.results.predicateAnalysis.xml"/>
 

diff --git a/benchexec/tablegenerator/test_integration/simple-table-with-links.xml b/benchexec/tablegenerator/test_integration/simple-table-with-links.xml
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 <table>
   <result filename="results/test.2015-03-03_1613.results.predicateAnalysis-logfile-links.xml"/>
 

diff --git a/benchexec/tablegenerator/test_integration/simple-table-with-numberOfDigits.xml b/benchexec/tablegenerator/test_integration/simple-table-with-numberOfDigits.xml
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 <table>
   <result filename="results/test.2015-03-03_1613.results.predicateAnalysis.xml"/>
 

diff --git a/benchexec/tablegenerator/test_integration/simple-table-with-scaling.xml b/benchexec/tablegenerator/test_integration/simple-table-with-scaling.xml
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 <table>
   <result filename="results/test.2015-03-03_1613.results.predicateAnalysis.xml"/>
 

diff --git a/benchexec/tablegenerator/test_integration/simple-table.xml b/benchexec/tablegenerator/test_integration/simple-table.xml
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 <table>
   <result filename="results/test.2015-03-03_1613.results.predicateAnalysis.xml"/>
 </table>
diff --git a/benchexec/tablegenerator/test_integration/smt.xml b/benchexec/tablegenerator/test_integration/smt.xml
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 <table>
   <result filename="results/mathsat.2015-05-27_1004.results.xml"/>
   <result filename="results/smtinterpol.2015-05-27_1004.results.xml"/>