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 |
|---|---|---|
| algebra | ||
| analysis | ||
| core | ||
| crypto | ||
| datatypes | ||
| distributions | ||
| encryption | ||
| looping | ||
| modules | ||
| newth | ||
| oldlibs | ||
| prelude | ||
| query_counting | ||
| structure | ||
| tactics |
Computing file changes ...
