GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 14:06:13 +03:00
Code Issues Projects Releases Wiki Activity
functors
cryptol/cryptol-remote-api/CHANGELOG.md
Andrew Kent cffdcdd049
rpc v2.12 release details fixes (i.e., cabal, changelogs, etc) (#1305) 
* rpc v2.12 release details fixes (i.e., cabal, changelogs, etc)

* bump rpc server/client to dev version
2021-11-19 11:54:07 -08:00

441 B
Raw Permalink Blame History

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.