https://github.com/EasyCrypt/easycrypt
History
Tip revision: 3a626d5504b0d54870fb3a13830f3172b1fa302a authored by François Dupressoir on 30 March 2021, 13:09:44 UTC
Add a -no-eco option to disable .eco generation
Tip revision: 3a626d5
File Mode Size
build-box
doc-box
templates
test-box
.gitignore -rw-r--r-- 12 bytes
Makefile -rw-r--r-- 687 bytes

back to top