GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-14 19:39:47 +03:00
Code Issues Projects Releases Wiki Activity

update CHANGELOG for Python API

Browse Source
This commit is contained in:
Matthew Yacavone 2023-07-06 16:44:19 -04:00
parent 39759bba06
commit d914b803ce
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
cryptol-remote-api/python/CHANGELOG.md
View File

@ -1,5 +1,11 @@
# Revision history for `cryptol` Python package
## 3.0.1 -- YYYY-MM-DD
* Update `cry_f` to property handle strings, length-0 `BV`s, and 1-tuples
* 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