From 9ce2c136ab35733a621a90590107e46d62b48a0b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr> Date: Wed, 13 Mar 2019 14:04:07 +0100 Subject: [PATCH] [server] update headers --- headers/header_spec.txt | 2 -- src/libraries/utils/markdown.ml | 2 +- src/libraries/utils/markdown.mli | 2 +- src/plugins/server/Makefile.in | 2 +- src/plugins/server/configure.ac | 2 +- src/plugins/server/data.ml | 2 +- src/plugins/server/data.mli | 2 +- src/plugins/server/doc.ml | 2 +- src/plugins/server/doc.mli | 2 +- src/plugins/server/jbuffer.ml | 2 +- src/plugins/server/jbuffer.mli | 2 +- src/plugins/server/kernel_ast.ml | 2 +- src/plugins/server/kernel_ast.mli | 2 +- src/plugins/server/kernel_fc.ml | 2 +- src/plugins/server/kernel_fc.mli | 2 +- src/plugins/server/kernel_project.ml | 2 +- src/plugins/server/kernel_project.mli | 2 +- src/plugins/server/main.ml | 2 +- src/plugins/server/main.mli | 2 +- src/plugins/server/request.ml | 2 +- src/plugins/server/request.mli | 2 +- src/plugins/server/server_batch.ml | 2 +- src/plugins/server/server_parameters.ml | 2 +- src/plugins/server/server_parameters.mli | 2 +- src/plugins/server/server_zmq.ml | 2 +- 25 files changed, 24 insertions(+), 26 deletions(-) diff --git a/headers/header_spec.txt b/headers/header_spec.txt index ce308ef7e6c..1d49abd4f76 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 7b8a115050c..9876f81458a 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 718da75f480..b3c687ef80f 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 7150843c26f..e0bfbdbcf55 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 a76128e41a2..4ab9e3f73f1 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 1a0f56ec23f..ad5a6ca7502 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 5650d886ab6..a05c50891a6 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 9b4eabf3a5e..5cd379fa7e2 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 d3c1860a4c9..7a9db9e4b42 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 2f9e3bfa57b..4eeec6c883c 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 6f307acf2d1..3e1e02a1bea 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 42e21f4d466..41ff66735a2 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 4713e797633..73098e76c43 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 51bac578333..e14ba09207c 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 ffe476f4913..46b8ef7c2c8 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 e10f36a5f1a..72f240f13e5 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 31b4343178c..30c4158e40f 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 28491bb2949..eddf76be8c5 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 b379f14bd2a..721291d96e9 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 e2e8b34fbc2..4d7779edb2a 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 7ed63116939..412d5196d71 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 ee6048c96ce..5a0ebffb387 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 09f1969e3d6..7f4c08d0d16 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 dccb160e898..ac7a81bc409 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 cfe0a06300f..82d2ce43167 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) *) (* *) -- GitLab