Project configuration files

GaloisInc / cryptol

Cryptol: The Language of Cryptography

https://galoisinc.github.io/cryptol/master/RefMan.html

BSD 3-Clause "New" or "Revised" License

1.14k stars 123 forks source link

Project configuration files #632

Open brianhuffman opened 5 years ago

brianhuffman commented 5 years ago

It would be useful to be able to have project-specific configuration files for cryptol. This could take the form of per-directory .cryptol settings files containing things like :set commands that would be run at startup.

brianhuffman commented 3 years ago

We might consider using @glguy's configuration file library for this.