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
History
Tip revision: fd2fc2ba6691820c3bcec091f4c591cc627efb5b authored by Pierre-Yves Strub on 04 March 2017, 09:35:08 UTC
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

back to top