https://github.com/EasyCrypt/easycrypt
Revision d633c8625dc1ae3866bd99a96c9574047468f02a authored by Pierre-Yves Strub on 04 March 2017, 08:27:26 UTC, committed by Pierre-Yves Strub on 04 March 2017, 08:27:26 UTC
1 parent cd4a4d0
Tip revision: d633c8625dc1ae3866bd99a96c9574047468f02a authored by Pierre-Yves Strub on 04 March 2017, 08:27:26 UTC
update files headers (libraries) (copyright)
update files headers (libraries) (copyright)
Tip revision: d633c86
COPYRIGHT
EasyCrypt (excluding the EasyCrypt standard library):
Copyright (c) - 2012-2016 - IMDEA Software Institute
Copyright (c) - 2012-2017 - INRIA
Distributed under the terms of the CeCILL-C license
http://www.cecill.info/licences/Licence_CeCILL-C_V1-en.txt
EasyCrypt standard library (theories/**/*.ec):
Copyright (c) - 2012-2016 - IMDEA Software Institute
Copyright (c) - 2012-2017 - INRIA
Distributed under the terms of the CeCILL-B licence.
http://www.cecill.info/licences/Licence_CeCILL-B_V1-en.txt
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...