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 |
---|---|---|
AlgTactic.ec | -rw-r--r-- | 3.8 KB |
FelTactic.ec | -rw-r--r-- | 442 bytes |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...