GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-10-04 01:17:40 +03:00
Code Issues Projects Releases Wiki Activity

Finalize 3.1.0 dates (#1625)

Browse Source 
(cherry picked from commit 3cf3210578)
This commit is contained in:
Ryan Scott 2024-02-06 14:37:55 -05:00 committed by GitHub
parent 697d6a7f97
commit 7ab8ca5820
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
CHANGES.md
View File

@ -1,4 +1,4 @@
# 3.1.0 -- 2024-??-??
# 3.1.0 -- 2024-02-05
## Language changes

2
cryptol-remote-api/CHANGELOG.md
View File

@ -1,6 +1,6 @@
# Revision history for `cryptol-remote-api` and `cryptol-eval-server`
## 3.1.0 -- 2024-??-??
## 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.

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

@ -1,6 +1,6 @@
# Revision history for `cryptol` Python package
## 3.1.0 -- 2024-??-??
## 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.