https://github.com/EasyCrypt/easycrypt
Revision fd2fc2ba6691820c3bcec091f4c591cc627efb5b authored by Pierre-Yves Strub on 04 March 2017, 09:35:08 UTC, committed by Pierre-Yves Strub on 04 March 2017, 09:35:15 UTC
Format: ini file. Sections: [general]. Options: - why3conf (string) : Why3 configuration file - provers (string list) : -P option (list of used provers) - idirs (string list) : -I option - rdirs (string list) : -R option - no-evict (string list) : -no-evict option INI file location: EasyCrypt lib. directory /etc/easycrypt.ini
1 parent 4afed9d
Tip revision: fd2fc2ba6691820c3bcec091f4c591cc627efb5b authored by Pierre-Yves Strub on 04 March 2017, 09:35:08 UTC
Add support for system level conf. file
Add support for system level conf. file
Tip revision: fd2fc2b
File | Mode | Size |
---|---|---|
Bool.ec | -rw-r--r-- | 769 bytes |
ExtEq.ec | -rw-r--r-- | 2.0 KB |
Fun.ec | -rw-r--r-- | 9.6 KB |
Pred.ec | -rw-r--r-- | 2.8 KB |
Rel.ec | -rw-r--r-- | 5.5 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...