Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 23f7f2e2 authored by Stephane Glondu's avatar Stephane Glondu

Update copyright dates

parent ddb7cbb0
Pipeline #234172 passed with stage
in 33 minutes and 38 seconds
......@@ -76,7 +76,7 @@ Legal
By "internal code", we mean everything that is not in the `ext/`
directory.
Copyright © 2012-2020 Inria, CNRS
Copyright © 2012-2021 Inria, CNRS
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU Affero General Public License as
......
// BELENIOS
// Copyright © 2019-2020 Inria, uses JSBN by Tom Wu
// Copyright © 2012-2021 Inria, uses JSBN by Tom Wu
// See "LICENSE" for details.
// The following is an implementation of big integer operations needed by Belenios
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......
(**************************************************************************)
(* BELENIOS *)
(* *)
(* Copyright © 2012-2020 Inria *)
(* Copyright © 2012-2021 Inria *)
(* *)
(* This program is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Affero General Public License as *)
......