diff --git a/doc/developer/check_api/check_and_compare.ml b/doc/developer/check_api/check_and_compare.ml index 281d66442671f07f3b7b0e4e7b83e8adf676f20a..285e5c5ba5f96e10f69fc5a9a26dc13e23ae386f 100644 --- a/doc/developer/check_api/check_and_compare.ml +++ b/doc/developer/check_api/check_and_compare.ml @@ -2,12 +2,21 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2021 *) +(* Copyright (C) 2007-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) -(* All rights reserved. *) -(* Contact CEA LIST for licensing. *) +(* you can redistribute it and/or modify it under the terms of the GNU *) +(* Lesser General Public License as published by the Free Software *) +(* Foundation, version 2.1. *) +(* *) +(* It is distributed in the hope that it will be useful, *) +(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) +(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) +(* GNU Lesser General Public License for more details. *) +(* *) +(* See the GNU Lesser General Public License version 2.1 *) +(* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) diff --git a/doc/developer/check_api/check_code.ml b/doc/developer/check_api/check_code.ml index 9592cbf22bc5f79165742745640a8fcc0e70a69e..625cfcb875a7100a7b23f9521e5c594be10712b2 100644 --- a/doc/developer/check_api/check_code.ml +++ b/doc/developer/check_api/check_code.ml @@ -2,12 +2,21 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2021 *) +(* Copyright (C) 2007-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) -(* All rights reserved. *) -(* Contact CEA LIST for licensing. *) +(* you can redistribute it and/or modify it under the terms of the GNU *) +(* Lesser General Public License as published by the Free Software *) +(* Foundation, version 2.1. *) +(* *) +(* It is distributed in the hope that it will be useful, *) +(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) +(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) +(* GNU Lesser General Public License for more details. *) +(* *) +(* See the GNU Lesser General Public License version 2.1 *) +(* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) diff --git a/doc/developer/check_api/check_index_lexer.mll b/doc/developer/check_api/check_index_lexer.mll index d2ebd852e2a67e4157a1ec4da29d5840dffe8959..f0d8f801153c84fe0dc2ae87f32fcd86cbbf4219 100644 --- a/doc/developer/check_api/check_index_lexer.mll +++ b/doc/developer/check_api/check_index_lexer.mll @@ -2,12 +2,21 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2021 *) +(* Copyright (C) 2007-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) -(* All rights reserved. *) -(* Contact CEA LIST for licensing. *) +(* you can redistribute it and/or modify it under the terms of the GNU *) +(* Lesser General Public License as published by the Free Software *) +(* Foundation, version 2.1. *) +(* *) +(* It is distributed in the hope that it will be useful, *) +(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) +(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) +(* GNU Lesser General Public License for more details. *) +(* *) +(* See the GNU Lesser General Public License version 2.1 *) +(* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) diff --git a/doc/developer/examples/callstack.ml b/doc/developer/examples/callstack.ml index 8edfe1cfd863bbcaa7698c9e6830523a2e1d7ae2..74e25f7fee63af89a140bec3e63b7916f2a7cca1 100644 --- a/doc/developer/examples/callstack.ml +++ b/doc/developer/examples/callstack.ml @@ -2,12 +2,21 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2021 *) +(* Copyright (C) 2007-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) -(* All rights reserved. *) -(* Contact CEA LIST for licensing. *) +(* you can redistribute it and/or modify it under the terms of the GNU *) +(* Lesser General Public License as published by the Free Software *) +(* Foundation, version 2.1. *) +(* *) +(* It is distributed in the hope that it will be useful, *) +(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) +(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) +(* GNU Lesser General Public License for more details. *) +(* *) +(* See the GNU Lesser General Public License version 2.1 *) +(* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) diff --git a/doc/developer/examples/syntactic_check.ml b/doc/developer/examples/syntactic_check.ml index d18c8fb7ffaf2ecb97ddd67237f0b1e0dd960c51..ebc007d040f72f124ee3c8fb230de5beb29fc640 100644 --- a/doc/developer/examples/syntactic_check.ml +++ b/doc/developer/examples/syntactic_check.ml @@ -2,12 +2,21 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2021 *) +(* Copyright (C) 2007-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) -(* All rights reserved. *) -(* Contact CEA LIST for licensing. *) +(* you can redistribute it and/or modify it under the terms of the GNU *) +(* Lesser General Public License as published by the Free Software *) +(* Foundation, version 2.1. *) +(* *) +(* It is distributed in the hope that it will be useful, *) +(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) +(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) +(* GNU Lesser General Public License for more details. *) +(* *) +(* See the GNU Lesser General Public License version 2.1 *) +(* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) diff --git a/doc/developer/examples/use_callstack.ml b/doc/developer/examples/use_callstack.ml index 956b27d41cf24e51414223d6dfdd5076d327c5a6..c6e179f0da8c1ac6d6f9e84d0d33b0f021b543f6 100644 --- a/doc/developer/examples/use_callstack.ml +++ b/doc/developer/examples/use_callstack.ml @@ -2,12 +2,21 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2021 *) +(* Copyright (C) 2007-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) -(* All rights reserved. *) -(* Contact CEA LIST for licensing. *) +(* you can redistribute it and/or modify it under the terms of the GNU *) +(* Lesser General Public License as published by the Free Software *) +(* Foundation, version 2.1. *) +(* *) +(* It is distributed in the hope that it will be useful, *) +(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) +(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) +(* GNU Lesser General Public License for more details. *) +(* *) +(* See the GNU Lesser General Public License version 2.1 *) +(* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) diff --git a/doc/developer/hello_world/hello_world.ml b/doc/developer/hello_world/hello_world.ml index bc6c4f1c095c906e9c15ea7b859074955c98b083..42a651ff49ad791c59fea4acbde100cc7956c13b 100644 --- a/doc/developer/hello_world/hello_world.ml +++ b/doc/developer/hello_world/hello_world.ml @@ -2,12 +2,21 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) -(* All rights reserved. *) -(* Contact CEA LIST for licensing. *) +(* you can redistribute it and/or modify it under the terms of the GNU *) +(* Lesser General Public License as published by the Free Software *) +(* Foundation, version 2.1. *) +(* *) +(* It is distributed in the hope that it will be useful, *) +(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) +(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) +(* GNU Lesser General Public License for more details. *) +(* *) +(* See the GNU Lesser General Public License version 2.1 *) +(* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) diff --git a/ivette/src/dome/LICENSE.md b/ivette/src/dome/LICENSE.md index 90f4610c92560f23a6273bfe73812313a21ae403..dbc56a77b561683debb6a07320369833e740cb38 100644 --- a/ivette/src/dome/LICENSE.md +++ b/ivette/src/dome/LICENSE.md @@ -1,5 +1,18 @@ -Copyright (C) 2016 -CEA (Commissariat à l'énergie atomique et aux énergies alternatives) -All rights reserved. -Contact CEA LIST for licensing. +This file is part of Frama-C. + +Copyright (C) 2007-2022 + CEA (Commissariat à l'énergie atomique et aux énergies + alternatives) + +you can redistribute it and/or modify it under the terms of the GNU +Lesser General Public License as published by the Free Software +Foundation, version 2.1. + +It is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU Lesser General Public License for more details. + +See the GNU Lesser General Public License version 2.1 +for more details (enclosed in the file licenses/LGPLv2.1).