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


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

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

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.

  • Note for Linux users:
    • you must have emacs installed on your system.
  • Note for Windows users:
    • EasyCrypt support under Windows is beta.
    • Under Windows 8, calls to SMT solvers will pop-up some console window that should get closed when the solver is done.
    • the SMT prover eprover is not available on your platform.

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.

Attachments (9)