quebex

A software analysis framework built around the QBE intermediate language

git clone https://git.8pit.net/quebex.git

 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/bench/data/*.qbe"
26SPDX-FileCopyrightText = "2025 Sören Tempel <soeren+git@soeren-tempel.net>"
27SPDX-License-Identifier = "Unlicense"
28
29[[annotations]]
30path = "TODO.txt"
31SPDX-FileCopyrightText = "2025 Sören Tempel <soeren+git@soeren-tempel.net>"
32SPDX-License-Identifier = "Unlicense"