Skip to content

Latest commit

 

History

History
55 lines (35 loc) · 1.79 KB

CHANGELOG.md

File metadata and controls

55 lines (35 loc) · 1.79 KB
Raw

Revision history for cryptol-remote-api and cryptol-eval-server

next -- TBA

3.2.0 -- 2024-08-20

  • The v3.2.0 release is made in tandem with the Cryptol 3.2.0 release. See the Cryptol 3.2.0 release notes for relevant Cryptol changes.

  • Fix a bug in which the check, prove or satisfy, and evaluate expression commands would fail to check the validity of the expression supplied as an argument. Among other issues, this could cause the remote API to panic when attempting to check an expression that depends on definitions from a parameterized module.

3.1.0 -- 2024-02-05

  • The v3.1.0 release is made in tandem with the Cryptol 3.1.0 release. See the Cryptol 3.1.0 release notes for relevant Cryptol changes.

3.0.1 -- 2023-07-10

  • Add version command for fetching Cryptol/cryptol-remote-api version information

3.0.0 -- 2023-06-26

  • The v3.0.0 release is made in tandem with the Cryptol 3.0.0 release. See the Cryptol 3.0.0 release notes for relevant Cryptol changes.
  • Add more fields (such as pragmas, parameter, module, and infix) to the response to the RPC visible names method.
  • Do not error if visible names is called when a parameterized module is loaded (this used to cause the appearance of the server hanging in such a case).

2.13.0 -- 2022-05-17

  • v2.13.0 release in tandem with the Cryptol 2.13.0 release. See the Cryptol 2.13.0 release notes for relevant Cryptol changes. No notable changes to the RPC server or client since 2.12.0.

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.