https://github.com/EasyCrypt/easycrypt
Revision 41219efc4353bc41da970245c13cafbed2e73911 authored by Pierre-Yves Strub on 26 March 2019, 13:42:33 UTC, committed by Pierre-Yves Strub on 26 March 2019, 13:42:33 UTC
1 parent a041441
Tip revision: 41219efc4353bc41da970245c13cafbed2e73911 authored by Pierre-Yves Strub on 26 March 2019, 13:42:33 UTC
add reduction of Int div/mod by reduction of edivz + bind symbol to Why3
add reduction of Int div/mod by reduction of edivz + bind symbol to Why3
Tip revision: 41219ef
COPYRIGHT
EasyCrypt (excluding the EasyCrypt standard library):
Copyright (c) - 2012-2016 - IMDEA Software Institute
Copyright (c) - 2012-2018 - Inria
Copyright (c) - 2012-2018 - X
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-2018 - Inria
Copyright (c) - 2012-2018 - X
Distributed under the terms of the CeCILL-B licence.
http://www.cecill.info/licences/Licence_CeCILL-B_V1-en.txt
Computing file changes ...