https://github.com/EasyCrypt/easycrypt
Revision 154ca63c16253d7d66317a00747ab17808929545 authored by Pierre-Yves Strub on 06 July 2014, 07:52:16 UTC, committed by Pierre-Yves Strub on 06 July 2014, 07:52:16 UTC
1 parent ea61948
Tip revision: 154ca63c16253d7d66317a00747ab17808929545 authored by Pierre-Yves Strub on 06 July 2014, 07:52:16 UTC
Don't use non-standard options of uname + update README.
Don't use non-standard options of uname + update README.
Tip revision: 154ca63
File | Mode | Size |
---|---|---|
patches | ||
activate-toolchain.sh | -rwxr-xr-x | 487 bytes |
copyright.py | -rwxr-xr-x | 2.6 KB |
distribution.py | -rwxr-xr-x | 3.7 KB |
ec-build-remote | -rwxr-xr-x | 768 bytes |
ec-build-toolchain | -rwxr-xr-x | 3.3 KB |
ec-build-webui-env | -rwxr-xr-x | 1.9 KB |
ec-run-webui | -rwxr-xr-x | 1.1 KB |
install-sh | -rwxr-xr-x | 13.7 KB |
keywords.py | -rwxr-xr-x | 1.9 KB |
license.py | -rwxr-xr-x | 1.2 KB |
runtest.py | -rwxr-xr-x | 9.1 KB |
str2ml.py | -rwxr-xr-x | 693 bytes |
strip-comments.py | -rwxr-xr-x | 1.2 KB |
syntax-to-1.0.py | -rwxr-xr-x | 3.4 KB |
Computing file changes ...