Skip to main content

Browse the archive

Revision 666c7c604116842207ca4c2a7d69a083cc698cbc authored by François Dupressoir on 25 January 2016, 21:04:56 UTC, committed by François Dupressoir on 25 January 2016, 21:04:56 UTC 
Modernizing Drestrict and Dexcepted.
 
Updating standard lib.
We still need to make sure that Distr.Drestr and Distr.Dexcepted are not
used anywhere else. Then burn them down and dance on their ashes.
1 parent 11d8d1b
Raw File
COPYRIGHT 
EasyCrypt (excluding the EasyCrypt standard library):
  Copyright (c) - 2012-2016 - IMDEA Software Institute and 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 and INRIA
  Distributed under the terms of the CeCILL-B licence.

  http://www.cecill.info/licences/Licence_CeCILL-B_V1-en.txt
back to top