Skip to main content

Browse the archive

Revision 57ad58bf7a8b0deebd70c25a5a8d7d6d0a530696 authored by Pierre-Yves Strub on 21 February 2017, 22:30:40 UTC, committed by Pierre-Yves Strub on 21 February 2017, 22:30:55 UTC 
removing local toolchain+PG, removing vagrant
 
  - opam is the way to go for getting EasyCrypt
  - EasyCrypt mode for PG has been integrated upstream
  - Vagrant is a nightmare (docker is the way to go)
1 parent 263740c
History
File Mode Size
tests.config -rw-r--r-- 241 bytes
back to top