quebex

 1version = 1
 2
 3# cabal requires the first line in the file to be the `cabal-version` field.
 4# The license header needs to be added after which looks weird; hence, we are
 5# specifying the license for `*.cabal` files here.
 6[[annotations]]
 7path = "**/*.cabal"
 8SPDX-FileCopyrightText = "2025 Sören Tempel <soeren+git@soeren-tempel.net>"
 9SPDX-License-Identifier = "GPL-3.0-only"
10
11# We don't want to force comment headers for test files.
12[[annotations]]
13path = "quebex-syntax/test/golden/*.qbe"
14SPDX-FileCopyrightText = "2025 Sören Tempel <soeren+git@soeren-tempel.net>"
15SPDX-License-Identifier = "Unlicense"
16
17# We don't want to force comment headers for test files.
18[[annotations]]
19path = "quebex-symex/test/golden/*.qbe"
20SPDX-FileCopyrightText = "2025 Sören Tempel <soeren+git@soeren-tempel.net>"
21SPDX-License-Identifier = "Unlicense"
22
23# Machine-generated files as obtained by `cproc -emit-qbe`.
24[[annotations]]
25path = "quebex/**/*.qbe"
26SPDX-FileCopyrightText = "2025 Sören Tempel <soeren+git@soeren-tempel.net>"
27SPDX-License-Identifier = "Unlicense"
28
29# Machine-generated files as obtained by `cproc -emit-qbe`.
30# Machine-generated files as obtained by `cproc -emit-qbe`.
31[[annotations]]
32path = "quebex-symex/bench/data/**/*.qbe"
33SPDX-FileCopyrightText = "2025 Sören Tempel <soeren+git@soeren-tempel.net>"
34SPDX-License-Identifier = "Unlicense"
35
36# .ktest files are binary files, often generated using KLEE.
37[[annotations]]
38path = "quebex-cli/test/testdata/*.ktest"
39SPDX-FileCopyrightText = "2025 Sören Tempel <soeren+git@soeren-tempel.net>"
40SPDX-License-Identifier = "Unlicense"
41
42[[annotations]]
43path = "TODO.txt"
44SPDX-FileCopyrightText = "2025 Sören Tempel <soeren+git@soeren-tempel.net>"
45SPDX-License-Identifier = "Unlicense"