Skip to content
Snippets Groups Projects
Commit e9c67d8b authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[licence] open-source release under LGPLv2.1

parent 46fe9969
No related branches found
No related tags found
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 590 additions and 28 deletions
Makefile.in
+ 1
− 1
View file @ e9c67d8b
...@@ -93,7 +93,7 @@ headers: ...@@ -93,7 +93,7 @@ headers:
if test "$$LICENCE" != ".ignore"; then \ if test "$$LICENCE" != ".ignore"; then \
headache \ headache \
-c headers/header_config.txt \ -c headers/header_config.txt \
-h headers/close-source/$${LICENCE} \ -h headers/open-source/$${LICENCE} \
$${FILE}; \ $${FILE}; \
fi; \ fi; \
done \ done \
......
configure.ac
+ 10
− 2
View file @ e9c67d8b
...@@ -6,9 +6,17 @@ ...@@ -6,9 +6,17 @@
# CEA (Commissariat à l'énergie atomique et aux énergies # # CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) # # alternatives) #
# # # #
# All rights reserved. # # you can redistribute it and/or modify it under the terms of the GNU #
# Contact CEA LIST for licensing. # # 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 LICENSE) #
########################################################################## ##########################################################################
m4_define([plugin_file],Makefile.in) m4_define([plugin_file],Makefile.in)
......
headers/LICENSE 0 → 100644
+ 458
− 0
View file @ e9c67d8b
This diff is collapsed.
headers/open-source/CEA_LGPL_OR_PROPRIETARY.META
+ 11
− 3
View file @ e9c67d8b
This file is part of the Frama-C's MetACSL plug-in. This file is part of the Frama-C's MetACSL plug-in.
Copyright (C) 2012-2019 Copyright (C) 2018-2020
CEA (Commissariat à l'énergie atomique et aux énergies CEA (Commissariat à l'énergie atomique et aux énergies
alternatives) alternatives)
All rights reserved. you can redistribute it and/or modify it under the terms of the GNU
Contact CEA LIST for licensing. 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 LICENSE)
meta_annotate.ml
+ 10
− 2
View file @ e9c67d8b
...@@ -6,9 +6,17 @@ ...@@ -6,9 +6,17 @@
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
(* All rights reserved. *) (* you can redistribute it and/or modify it under the terms of the GNU *)
(* Contact CEA LIST for licensing. *) (* 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 LICENSE) *)
(**************************************************************************) (**************************************************************************)
open Meta_options open Meta_options
......
meta_bindings.ml
+ 10
− 2
View file @ e9c67d8b
...@@ -6,9 +6,17 @@ ...@@ -6,9 +6,17 @@
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
(* All rights reserved. *) (* you can redistribute it and/or modify it under the terms of the GNU *)
(* Contact CEA LIST for licensing. *) (* 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 LICENSE) *)
(**************************************************************************) (**************************************************************************)
open Meta_options open Meta_options
......
meta_bindings.mli
+ 10
− 2
View file @ e9c67d8b
...@@ -6,9 +6,17 @@ ...@@ -6,9 +6,17 @@
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
(* All rights reserved. *) (* you can redistribute it and/or modify it under the terms of the GNU *)
(* Contact CEA LIST for licensing. *) (* 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 LICENSE) *)
(**************************************************************************) (**************************************************************************)
open Cil_types open Cil_types
......
meta_dispatch.ml
+ 10
− 2
View file @ e9c67d8b
...@@ -6,9 +6,17 @@ ...@@ -6,9 +6,17 @@
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
(* All rights reserved. *) (* you can redistribute it and/or modify it under the terms of the GNU *)
(* Contact CEA LIST for licensing. *) (* 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 LICENSE) *)
(**************************************************************************) (**************************************************************************)
open Cil_types open Cil_types
......
meta_dispatch.mli
+ 10
− 2
View file @ e9c67d8b
...@@ -6,9 +6,17 @@ ...@@ -6,9 +6,17 @@
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
(* All rights reserved. *) (* you can redistribute it and/or modify it under the terms of the GNU *)
(* Contact CEA LIST for licensing. *) (* 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 LICENSE) *)
(**************************************************************************) (**************************************************************************)
open Cil_types open Cil_types
......
meta_options.ml
+ 10
− 2
View file @ e9c67d8b
...@@ -6,9 +6,17 @@ ...@@ -6,9 +6,17 @@
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
(* All rights reserved. *) (* you can redistribute it and/or modify it under the terms of the GNU *)
(* Contact CEA LIST for licensing. *) (* 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 LICENSE) *)
(**************************************************************************) (**************************************************************************)
let help_msg = "This plugin translates the metaproperties in the code to native ACSL annotations" ^ let help_msg = "This plugin translates the metaproperties in the code to native ACSL annotations" ^
......
meta_parse.ml
+ 10
− 2
View file @ e9c67d8b
...@@ -6,9 +6,17 @@ ...@@ -6,9 +6,17 @@
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
(* All rights reserved. *) (* you can redistribute it and/or modify it under the terms of the GNU *)
(* Contact CEA LIST for licensing. *) (* 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 LICENSE) *)
(**************************************************************************) (**************************************************************************)
open Logic_ptree open Logic_ptree
......
meta_parse.mli
+ 10
− 2
View file @ e9c67d8b
...@@ -6,9 +6,17 @@ ...@@ -6,9 +6,17 @@
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
(* All rights reserved. *) (* you can redistribute it and/or modify it under the terms of the GNU *)
(* Contact CEA LIST for licensing. *) (* 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 LICENSE) *)
(**************************************************************************) (**************************************************************************)
open Cil_types open Cil_types
......
meta_run.ml
+ 10
− 2
View file @ e9c67d8b
...@@ -6,9 +6,17 @@ ...@@ -6,9 +6,17 @@
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
(* All rights reserved. *) (* you can redistribute it and/or modify it under the terms of the GNU *)
(* Contact CEA LIST for licensing. *) (* 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 LICENSE) *)
(**************************************************************************) (**************************************************************************)
open Meta_options open Meta_options
......
meta_simplify.ml
+ 10
− 2
View file @ e9c67d8b
...@@ -6,9 +6,17 @@ ...@@ -6,9 +6,17 @@
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
(* All rights reserved. *) (* you can redistribute it and/or modify it under the terms of the GNU *)
(* Contact CEA LIST for licensing. *) (* 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 LICENSE) *)
(**************************************************************************) (**************************************************************************)
open Cil_types open Cil_types
......
meta_simplify.mli
+ 10
− 2
View file @ e9c67d8b
...@@ -6,9 +6,17 @@ ...@@ -6,9 +6,17 @@
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
(* All rights reserved. *) (* you can redistribute it and/or modify it under the terms of the GNU *)
(* Contact CEA LIST for licensing. *) (* 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 LICENSE) *)
(**************************************************************************) (**************************************************************************)
open Cil_types open Cil_types
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment