wiki:SchoolParis14

Version 5 (modified by François Dupressoir, 3 years ago) (diff)

english + emacs on Linux

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 tutorials without EasyCrypt installed, you will be able to get it from USB keys.

A source distribution of EasyCrypt is also available. Installation instructions can be found can be found in the README​ file. We strongly suggest that you try using the binary packages first.

On linux, you will need to install Emacs yourself, for example through your distribution's package manager.

Attachments (9)