https://github.com/EasyCrypt/easycrypt
Revision 3be7cb90d01d64d9845a7488f1b5d9d662279702 authored by Pierre-Yves Strub on 24 November 2023, 14:20:34 UTC, committed by Pierre-Yves Strub on 24 November 2023, 17:25:58 UTC
EasyCrypt now reads project-local files for getting its configuration settings. This configuration file takes precedence over the system-level configuration file. The project-local configuration file is named 'easycrypt.project'. It is identical to the system-level configuration file. When compiling a file, the configuration file is searched upward from the target file directory. When ran in interactive mode, the configuration file is searched upward from the current working directory. Note that when ProofGeneral starts EasyCrypt, the working directory is set to the directory of the focused file.
1 parent 9fd429a
Tip revision: 3be7cb90d01d64d9845a7488f1b5d9d662279702 authored by Pierre-Yves Strub on 24 November 2023, 14:20:34 UTC
Support project-local ini files
Support project-local ini files
Tip revision: 3be7cb9
File | Mode | Size |
---|---|---|
.github | ||
config | ||
examples | ||
scripts | ||
src | ||
theories | ||
.dir-locals.el | -rw-r--r-- | 285 bytes |
.gitignore | -rw-r--r-- | 118 bytes |
AUTHORS | -rw-r--r-- | 543 bytes |
LICENSE | -rw-r--r-- | 1.2 KB |
Makefile | -rw-r--r-- | 1.3 KB |
README.md | -rw-r--r-- | 8.0 KB |
default.nix | -rw-r--r-- | 1.2 KB |
dune | -rw-r--r-- | 221 bytes |
dune-project | -rw-r--r-- | 450 bytes |
easycrypt.opam | -rw-r--r-- | 1.2 KB |
easycrypt.opam.template | -rw-r--r-- | 915 bytes |
easycrypt.png | -rw-r--r-- | 182.6 KB |
shell.nix | -rw-r--r-- | 308 bytes |
Computing file changes ...