wiki:SchoolParis14

Version 3 (modified by Pierre-Yves Strub, 3 years ago) (diff)

Typos

EasyCrypt Installation Instructions (EasyCrypt-F*-CryptoVerif School 2014)

We provide binary packages for EasyCrypt. You can download them at the following URL

https://www.easycrypt.info/binaries/

Download the tarball corresponding to your system (the Windows archives are currently missing), untar it (this will create an easycrypt folder) and run the script run-easycrypt. The Emacs editor should pop-up. You can then open any EasyCrypt file (ending with the .ec extension) and start hacking it.

In case you come to the EasyCrypt tutorial without EasyCrypt being installed, you will be able to get it from USB keys.

EasyCrypt is also available in source form. Installation instructions can be found can be found in the README​ file. We strongly suggest using the binary packages first.

Attachments (9)