https://github.com/EasyCrypt/easycrypt
Revision 6489adef7972273936a558ec2d751017fc85db29 authored by Pierre-Yves Strub on 25 October 2019, 06:45:59 UTC, committed by Pierre-Yves Strub on 25 October 2019, 06:46:13 UTC
 - do not fail when an .eco file is invalid
 - fix the reading of the `version' flag
 - erase staled .eco file
 - do not accept to compile files not handing with .ec or .eca
 - API: .mli file for EcEco

[fix #17398]
1 parent 10b2ab0
History
Tip revision: 6489adef7972273936a558ec2d751017fc85db29 authored by Pierre-Yves Strub on 25 October 2019, 06:45:59 UTC
Make ECO handling more robust
Tip revision: 6489ade
File Mode Size
Makefile -rw-r--r-- 556 bytes
_tags -rw-r--r-- 329 bytes
myocamlbuild.ml -rw-r--r-- 1.7 KB
ppx_lint.ml -rw-r--r-- 2.2 KB

back to top