https://github.com/EasyCrypt/easycrypt
Revision e4683485be7bd78ca6742eb21629bb6782bade7d authored by François Dupressoir on 26 November 2015, 17:02:53 UTC, committed by Pierre-Yves Strub on 26 November 2015, 19:44:01 UTC
This one is for use in an active version of the repository. Commented lines in the provisioning script can be used to use OPAM for everything and distribute only the Vagrantfile. TODO: Give recipes and provisioning scripts for a wider variety of archs.
1 parent b2e73f6
Tip revision: e4683485be7bd78ca6742eb21629bb6782bade7d authored by François Dupressoir on 26 November 2015, 17:02:53 UTC
A first Vagrant file.
A first Vagrant file.
Tip revision: e468348
File | Mode | Size |
---|---|---|
config | ||
examples | ||
lint | ||
packaging | ||
proofgeneral | ||
scripts | ||
src | ||
system | ||
theories | ||
.gitignore | -rw-r--r-- | 459 bytes |
.merlin | -rw-r--r-- | 217 bytes |
COPYRIGHT | -rw-r--r-- | 466 bytes |
COPYRIGHT.yaml | -rw-r--r-- | 474 bytes |
MANIFEST | -rw-r--r-- | 1.1 KB |
Makefile | -rw-r--r-- | 6.5 KB |
Makefile.system | -rw-r--r-- | 478 bytes |
README.md | -rw-r--r-- | 9.9 KB |
Vagrantfile | -rw-r--r-- | 1.3 KB |
_tags | -rw-r--r-- | 757 bytes |
myocamlbuild.ml | -rw-r--r-- | 2.3 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...