diff --git a/headers/header_spec.txt b/headers/header_spec.txt index ce308ef7e6c3ed837f58315069c4b14020c39db7..1d49abd4f76f4b8d89e8eb3c900b624f63c55361 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -659,8 +659,6 @@ src/libraries/utils/pretty_utils.ml: CEA_LGPL src/libraries/utils/pretty_utils.mli: CEA_LGPL src/libraries/utils/qstack.ml: CEA_LGPL src/libraries/utils/qstack.mli: CEA_LGPL -src/libraries/utils/sanitizer.ml: CEA_LGPL -src/libraries/utils/sanitizer.mli: CEA_LGPL src/libraries/utils/rangemap.ml: OCAML_STDLIB src/libraries/utils/rangemap.mli: OCAML_STDLIB src/libraries/utils/rgmap.ml: CEA_LGPL diff --git a/src/libraries/utils/markdown.ml b/src/libraries/utils/markdown.ml index 7b8a115050cedf6a107b4228987deb5cf0b62cf0..9876f81458ac3cc85ab81bee5db50a267fc9016f 100644 --- a/src/libraries/utils/markdown.ml +++ b/src/libraries/utils/markdown.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/libraries/utils/markdown.mli b/src/libraries/utils/markdown.mli index 718da75f48047aa93f947b40dfae0376f75cc0a7..b3c687ef80f6a640cb292281d26a823fca7acfd5 100644 --- a/src/libraries/utils/markdown.mli +++ b/src/libraries/utils/markdown.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/Makefile.in b/src/plugins/server/Makefile.in index 7150843c26fd34313fa9856a1057fa8a13d80c86..e0bfbdbcf558926e574243ba915e9f35622881fc 100644 --- a/src/plugins/server/Makefile.in +++ b/src/plugins/server/Makefile.in @@ -2,7 +2,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2018 # +# Copyright (C) 2007-2019 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/src/plugins/server/configure.ac b/src/plugins/server/configure.ac index a76128e41a213e99b544d929b9ba79fb4dd0eda8..4ab9e3f73f11ed3c98fdf85d9531e12b51368e10 100644 --- a/src/plugins/server/configure.ac +++ b/src/plugins/server/configure.ac @@ -2,7 +2,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2018 # +# Copyright (C) 2007-2019 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/src/plugins/server/data.ml b/src/plugins/server/data.ml index 1a0f56ec23f196813d20c0d2c49e9c815731e17e..ad5a6ca7502fe4880751ebdd6efca8385f346b2d 100644 --- a/src/plugins/server/data.ml +++ b/src/plugins/server/data.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/data.mli b/src/plugins/server/data.mli index 5650d886ab60249e0842f15819c0abd47c9e079d..a05c50891a6d22b9c571d2b86504a4bc80522130 100644 --- a/src/plugins/server/data.mli +++ b/src/plugins/server/data.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/doc.ml b/src/plugins/server/doc.ml index 9b4eabf3a5e361673341ce9e296e45adfe5f7e58..5cd379fa7e296467705400f0f87e4edc8febc52e 100644 --- a/src/plugins/server/doc.ml +++ b/src/plugins/server/doc.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/doc.mli b/src/plugins/server/doc.mli index d3c1860a4c96cc58807ad0362bb10b9ca143c52b..7a9db9e4b4276230ec2c96475fdd5afb202d2c03 100644 --- a/src/plugins/server/doc.mli +++ b/src/plugins/server/doc.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/jbuffer.ml b/src/plugins/server/jbuffer.ml index 2f9e3bfa57bdce12769f35301547befac14cf1a8..4eeec6c883cd8d41ff1434a89024b321932e9dbd 100644 --- a/src/plugins/server/jbuffer.ml +++ b/src/plugins/server/jbuffer.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/jbuffer.mli b/src/plugins/server/jbuffer.mli index 6f307acf2d1f689dd58e5c9de73982cc40e6559e..3e1e02a1beae8615cf925e52b980b093749766c1 100644 --- a/src/plugins/server/jbuffer.mli +++ b/src/plugins/server/jbuffer.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml index 42e21f4d46658da6f5e0dcbe5d565dc8e619ccea..41ff66735a2205ba50f68a6d58ae7eb470dc5ad8 100644 --- a/src/plugins/server/kernel_ast.ml +++ b/src/plugins/server/kernel_ast.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/kernel_ast.mli b/src/plugins/server/kernel_ast.mli index 4713e7976332494667f3bbd26bda18d3e9455258..73098e76c43836863b99e902bb8368830f920afb 100644 --- a/src/plugins/server/kernel_ast.mli +++ b/src/plugins/server/kernel_ast.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/kernel_fc.ml b/src/plugins/server/kernel_fc.ml index 51bac5783330bd87adc44fce39e773454cf1a39b..e14ba09207cf9e9713fa51a82ea867f0d4bdd861 100644 --- a/src/plugins/server/kernel_fc.ml +++ b/src/plugins/server/kernel_fc.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/kernel_fc.mli b/src/plugins/server/kernel_fc.mli index ffe476f4913a804c9ea389bd7b45ae20fde5be96..46b8ef7c2c8fc3c20057b96c75ba6a822b6b45c9 100644 --- a/src/plugins/server/kernel_fc.mli +++ b/src/plugins/server/kernel_fc.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/kernel_project.ml b/src/plugins/server/kernel_project.ml index e10f36a5f1a41afb1f374413d9de062c7732c50a..72f240f13e57294bc9706fac2bee46922fb39a12 100644 --- a/src/plugins/server/kernel_project.ml +++ b/src/plugins/server/kernel_project.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/kernel_project.mli b/src/plugins/server/kernel_project.mli index 31b4343178c072ca7d4253a1089a6abdc6bf923d..30c4158e40f9ea274d1933f53140ea49d74f89ac 100644 --- a/src/plugins/server/kernel_project.mli +++ b/src/plugins/server/kernel_project.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/main.ml b/src/plugins/server/main.ml index 28491bb2949812b5a1b338ae349829d3c4825aee..eddf76be8c55e43b0a0ebbaa5b52b9bb9c70d151 100644 --- a/src/plugins/server/main.ml +++ b/src/plugins/server/main.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/main.mli b/src/plugins/server/main.mli index b379f14bd2a772cac0a158f5fc9c56c03e08b38a..721291d96e9b93c4d65676fb83b216fafba39bd7 100644 --- a/src/plugins/server/main.mli +++ b/src/plugins/server/main.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/request.ml b/src/plugins/server/request.ml index e2e8b34fbc22e99a2eaff36ece7c97b9efc02f31..4d7779edb2afc69e6b53e8d0c82566a279670268 100644 --- a/src/plugins/server/request.ml +++ b/src/plugins/server/request.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/request.mli b/src/plugins/server/request.mli index 7ed63116939cce8f8cda8c6dddb02cedd6554037..412d5196d716f0fbb2188f930b79331dd0bc0f20 100644 --- a/src/plugins/server/request.mli +++ b/src/plugins/server/request.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/server_batch.ml b/src/plugins/server/server_batch.ml index ee6048c96ce37f55ab89827f9839f75c39663015..5a0ebffb387f4afd214a5f125e4b24d9231364a1 100644 --- a/src/plugins/server/server_batch.ml +++ b/src/plugins/server/server_batch.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/server_parameters.ml b/src/plugins/server/server_parameters.ml index 09f1969e3d6f5de806c162f6ef8e6ed698b73930..7f4c08d0d165d2c024126f3de36de180ba3263bc 100644 --- a/src/plugins/server/server_parameters.ml +++ b/src/plugins/server/server_parameters.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/server_parameters.mli b/src/plugins/server/server_parameters.mli index dccb160e898b76d25447ed6e55ebeeb4bb6c81d6..ac7a81bc40987450940558adc1aa003c428137dc 100644 --- a/src/plugins/server/server_parameters.mli +++ b/src/plugins/server/server_parameters.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/server_zmq.ml b/src/plugins/server/server_zmq.ml index cfe0a06300ff6e1625643aca861854f56d423a3d..82d2ce4316762eb1f638f499c928eb15000d2442 100644 --- a/src/plugins/server/server_zmq.ml +++ b/src/plugins/server/server_zmq.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *)