Copyright statements
@Zanic23 recently worked on a branch to be contributed to Spot while he was doing an internship at IMDEA with @pierreganty. We had to discuss what to put as the Copyright in his headers. Currently we have (C) LIP6 and (C) LRDE (now named LRE) as these are the place where all of the development took place. However LIP6 and LRDE have never been my actual employers.
@pierreganty also pointed to https://hynek.me/til/copyright-years/
I'm thinking about changing all copyright notices to something like
// Copyright by the Spot authors -- see the AUTHORS file.
//
// This file is part of Spot, a model checking library.
//
// Spot is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// [...]
and indicate actual employers into the AUTHORS file.
(This will also solve the issue that LRDE has been renamed to LRE but I did not update those headers.)