mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
* rpc v2.12 release details fixes (i.e., cabal, changelogs, etc) * bump rpc server/client to dev version
441 B
441 B
Revision history for cryptol-remote-api
and cryptol-eval-server
2.12.2 -- YYYY-MM-DD
- NEW CHANGELOG ENTRIES SINCE 2.12.0 GO HERE
2.12.0 -- 2021-11-19
- v2.12 release
2.11.1 -- 2021-06-23
- HTTPS/TLS support added. Enable by running server in
http
mode with--tls
flag or by setting an environment variable (command line--help
contains details).
2.11.0
- First "released" version of
cryptol-remote-api
.