Skip to main content

Browse the archive

Revision f4b94e8a6f90413abd0bf7ef62285855cd459df0 authored by Pierre-Yves Strub on 16 December 2015, 18:06:01 UTC, committed by Pierre-Yves Strub on 16 December 2015, 18:07:43 UTC 
Implement ssr compatible naming for i-p.
 
 - `move=> _` does a late clear
 - `move=> ?` does an anonymous (_) intro

This is currently not enabled by default. The option `oldip` has
first to be cleared (`pragma -oldip`)
1 parent 65269da
Raw File
COPYRIGHT 
EasyCrypt (excluding the EasyCrypt standard library):
  Copyright (c) - 2012-2015 - 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-2015 - 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