From 9f6dba9cb531af7f7f5e55b7e85bdfb206cad866 Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Fri, 29 Jul 2022 16:19:59 +0200 Subject: [PATCH] [headers] fix some open-source files --- doc/developer/check_api/check_and_compare.ml | 15 ++++++++++--- doc/developer/check_api/check_code.ml | 15 ++++++++++--- doc/developer/check_api/check_index_lexer.mll | 15 ++++++++++--- doc/developer/examples/callstack.ml | 15 ++++++++++--- doc/developer/examples/syntactic_check.ml | 15 ++++++++++--- doc/developer/examples/use_callstack.ml | 15 ++++++++++--- doc/developer/hello_world/hello_world.ml | 15 ++++++++++--- ivette/src/dome/LICENSE.md | 21 +++++++++++++++---- 8 files changed, 101 insertions(+), 25 deletions(-) diff --git a/doc/developer/check_api/check_and_compare.ml b/doc/developer/check_api/check_and_compare.ml index 281d6644267..285e5c5ba5f 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 9592cbf22bc..625cfcb875a 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 d2ebd852e2a..f0d8f801153 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 8edfe1cfd86..74e25f7fee6 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 d18c8fb7ffa..ebc007d040f 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 956b27d41cf..c6e179f0da8 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 bc6c4f1c095..42a651ff49a 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 90f4610c925..dbc56a77b56 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). -- GitLab