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"1011# 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"1617# 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"2223# 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"2829[[annotations]]30path = "TODO.txt"31SPDX-FileCopyrightText = "2025 Sören Tempel <soeren+git@soeren-tempel.net>"32SPDX-License-Identifier = "Unlicense"