From 79d82382b3ea1b7d77e3a47a96a786557588787a Mon Sep 17 00:00:00 2001 From: Max Gaukler Date: Tue, 11 Sep 2018 16:05:17 +0200 Subject: Clarify licenses - add license headers to everything - convert a few files from public domain or LGPL2.1+ to GPL2+ - some archaeology to clarify which files are from which library --- src/proofs | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/proofs') diff --git a/src/proofs b/src/proofs index d1922647e..713419654 100644 --- a/src/proofs +++ b/src/proofs @@ -1,3 +1,6 @@ + +# SPDX-License-Identifier: GPL-2.0-or-later + This file contains some loose proofs of a few properties. It's somewhat ad-hoc. At least it gives an indication of what assert/g_assert calls have been checked by a developer. If an assertion does trigger, then this file may -- cgit v1.2.3