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 |
|---|---|---|
| FSet | ||
| DBool.ec | -rw-r--r-- | 3.6 KB |
| DInterval.ec | -rw-r--r-- | 2.1 KB |
| DList.ec | -rw-r--r-- | 7.4 KB |
| DProd.ec | -rw-r--r-- | 5.6 KB |
| Dexcepted.ec | -rw-r--r-- | 1.5 KB |
| Dfilter.ec | -rw-r--r-- | 2.9 KB |
| Distr.ec | -rw-r--r-- | 5.3 KB |
| Mu_mem.ec | -rw-r--r-- | 3.6 KB |
| NewDistr.ec | -rw-r--r-- | 19.1 KB |
Computing file changes ...
