License change: CeCILL B/C -> MIT

AUTHORS

@@ -0,0 +1,27 @@
+The following people have contributed code and/or ideas to EasyCrypt:
+
+Adrien Koutsos
+Alley Stoughton
+Asif Mallik
+Benedikt Schmidt
+Benjamin Gregoire
+César Kunz
+Christian Doczkal
+Cécile Baritel-Ruet
+Davide Ramaglietta
+Davy Guillaume
+François Dupressoir
+Gilles Barthe
+Guillermo Ramos
+Juan Manuel Crespo
+Kai-Chun Ning
+Lavinia Damian
+Martin Ceresa
+Matthias Meijers
+Mayram
+Morten Solberg
+Oskar Goldhahn
+Pierre-Yves Strub
+Roberto Metere
+Santiago Zanella-Béguelin
+Vincent Laporte

LICENSE

@@ -0,0 +1,24 @@
+MIT License
+
+Copyright (c) 2012 IMDEA Software Institute
+Copyright (c) 2012 Inria
+Copyright (c) 2017 École Polytechnique
+Copyright (c) EasyCrypt contributors (see AUTHORS)
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

Makefile

@@ -15,7 +15,7 @@ CHECK     += $(ECEXTRA) config/tests.config
 
 # --------------------------------------------------------------------
 .PHONY: default build byte native tests check examples
-.PHONY: clean install uninstall license
+.PHONY: clean install uninstall
 
 default: build
 	@true
@@ -46,9 +46,3 @@ clean:
 
 clean_eco:
 	find theories examples -name '*.eco' -exec rm '{}' ';'
-
-license:
-	scripts/srctx/license COPYRIGHT.yaml \
-	  $(shell find src -name '*.ml' -o -name '*.ml[a-z]') \
-	  $(shell find theories -name '*.ec' -o -name '*.ec[a-z]') \
-	  $(shell find proofgeneral/easycrypt -name '*.el')

examples/Pedersen.ec

@@ -1,9 +1,3 @@
-(* --------------------------------------------------------------------
- * Copyright (c) - 2016--2017 - Roberto Metere ([email protected])
- *
- * Distributed under the terms of the CeCILL-B-V1 license
- * -------------------------------------------------------------------- *)
-
 (*
  * A formal verification of the Pedersen commitment scheme
  *

examples/SchnorrPK.ec

@@ -1,9 +1,3 @@
-(* --------------------------------------------------------------------
- * Copyright (c) - 2016--2017 - Roberto Metere ([email protected])
- *
- * Distributed under the terms of the CeCILL-B-V1 license
- * -------------------------------------------------------------------- *)
-
 (*
  * A formal verification of the Schnorr proof of knowledge
  *)

examples/Upto.ec

@@ -1,10 +1,3 @@
-(* --------------------------------------------------------------------
- * Copyright (c) - 2012--2015 - IMDEA Software Institute
- * Copyright (c) - 2012--2015 - Inria
- *
- * Distributed under the terms of the CeCILL-B-V1 license
- * -------------------------------------------------------------------- *)
-
 require import Int Real Distr StdOrder StdBigop.
 (*---*) import RealOrder Bigreal BRA.
 require (*--*) FelTactic.

examples/vonNeumann.eca

@@ -1,10 +1,3 @@
-(* --------------------------------------------------------------------
- * Copyright (c) - 2012--2016 - IMDEA Software Institute
- * Copyright (c) - 2012--2016 - Inria
- *
- * Distributed under the terms of the CeCILL-B-V1 license
- * -------------------------------------------------------------------- *)
-
 (* -------------------------------------------------------------------- *)
 
 (* In this theory, we illustrate some reasoning on distributions on

src/ec.ml

@@ -1,11 +1,3 @@
-(* --------------------------------------------------------------------
- * Copyright (c) - 2012--2016 - IMDEA Software Institute
- * Copyright (c) - 2012--2021 - Inria
- * Copyright (c) - 2012--2021 - Ecole Polytechnique
- *
- * Distributed under the terms of the CeCILL-C-V1 license
- * -------------------------------------------------------------------- *)
-
 (* -------------------------------------------------------------------- *)
 open EcUtils
 open EcOptions