Changes between Version 5 and Version 6 of SchoolNancy2017


Ignore:
Timestamp:
3 Aug 2017, 14:39:27 (2 months ago)
Author:
François Dupressoir
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SchoolNancy2017

    v5 v6  
    11= Summer School on Models and Tools for Cryptographic Proofs - The !EasyCrypt Sessions =
    22
    3 This page gathers links and resources relevant to the lectures, practical sessions and discussions around the !EasyCrypt sessions of the Summer School on Models and Tools for Cryptographic Proofs.
     3This page gathers links and resources relevant to the lectures, practical sessions and discussions around the !EasyCrypt sessions of the [https://www.cs.bris.ac.uk/proofschool/ Summer School on Models and Tools for Cryptographic Proofs].
    44
    55== Installing !EasyCrypt ==
    66In order to follow the examples from the lectures, you will need to have !EasyCrypt running locally. On most Unix-based systems (modern Linux and BSD distributions, MacOS), you should be able to simply follow the instructions from the README.
    77
    8 If you can't (or do not want to) install !EasyCrypt that way, a !VirtualBox appliance is available (https://drive.google.com/file/d/0B7r98_U-0bJucHRHdGFlN216WW8/view?usp=sharing) (username: easycrypt; password: easycrypt). If you use the !VirtualBox appliance, please also `git clone https://gitlab.com/fdupress/proofschool-ec.git`. In addition, for some reason, `opam` was not initialized properly when I built the VM: if you are having trouble with `emacs`, you should run `opam init` (and type `y` when asked if you want to update your .profile), then logout and log back in.
     8If you can't (or do not want to) install !EasyCrypt that way, a [https://drive.google.com/file/d/0B7r98_U-0bJucHRHdGFlN216WW8/view?usp=sharing VirtualBox appliance] is available (username: easycrypt; password: easycrypt). If you use the !VirtualBox appliance, please also `git clone https://gitlab.com/fdupress/proofschool-ec.git`. In addition, for some reason, `opam` was not initialized properly when I built the VM: if you are having trouble with `emacs`, you should run `opam init` (and type `y` when asked if you want to update your .profile), then logout and log back in.
    99
    1010Depending on your !VirtualBox install, you may have to deactivate USB 2.0. You may also want to increase the VM's RAM, and set up a shared folder for easier interactions between host and guest.