From 8ea4fcaba96d2d6f19623dd15b7e75b29ca297df Mon Sep 17 00:00:00 2001 From: Ryan Date: Tue, 20 Aug 2024 09:42:12 -0600 Subject: [PATCH 1/4] Prepare Cryptol 3.2 release: Updates to changelog --- CHANGES.md | 6 +++++- cryptol-remote-api/CHANGELOG.md | 5 ++++- cryptol-remote-api/python/CHANGELOG.md | 5 +++++ 3 files changed, 14 insertions(+), 2 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index ad2754afc..ba38ef65e 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,4 +1,4 @@ -# next -- TBA +# 3.2.0 -- 2024-08-20 ## Language changes @@ -13,6 +13,10 @@ * Fix #1593 and #1693, two related bugs that would cause Cryptol to panic when checking ill-typed constraint guards for exhaustivity. +* Fix #1675, which could cause `PrimeEC` to produce incorrect results. + +* Fix #1489, which allows for the type checker to reason about exponents. + ## New features * New REPL command :focus enables specifying a submodule scope for evaluating diff --git a/cryptol-remote-api/CHANGELOG.md b/cryptol-remote-api/CHANGELOG.md index 4e2ca0516..630d7e2cd 100644 --- a/cryptol-remote-api/CHANGELOG.md +++ b/cryptol-remote-api/CHANGELOG.md @@ -1,6 +1,9 @@ # 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 diff --git a/cryptol-remote-api/python/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md index 61900526c..4a3505f92 100644 --- a/cryptol-remote-api/python/CHANGELOG.md +++ b/cryptol-remote-api/python/CHANGELOG.md @@ -1,5 +1,10 @@ # Revision history for `cryptol` Python package +## 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. + ## 3.1.1 -- 2024-05-15 * Add support for Python 3.12. From afb8730af49785911f3e19898bd4fb59e1bfacc1 Mon Sep 17 00:00:00 2001 From: Ryan Date: Tue, 20 Aug 2024 09:43:15 -0600 Subject: [PATCH 2/4] Cryptol 3.2 Release: Update Cabal version numbers. --- cryptol-remote-api/cryptol-remote-api.cabal | 2 +- cryptol-remote-api/python/pyproject.toml | 2 +- cryptol.cabal | 2 +- docs/RefMan/conf.py | 4 ++-- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/cryptol-remote-api/cryptol-remote-api.cabal b/cryptol-remote-api/cryptol-remote-api.cabal index 1ff697544..1c62c2030 100644 --- a/cryptol-remote-api/cryptol-remote-api.cabal +++ b/cryptol-remote-api/cryptol-remote-api.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: cryptol-remote-api -version: 3.1.0.99 +version: 3.2.0 license: BSD-3-Clause license-file: LICENSE author: Galois, Inc. diff --git a/cryptol-remote-api/python/pyproject.toml b/cryptol-remote-api/python/pyproject.toml index 0dbb6165c..06a4d3202 100644 --- a/cryptol-remote-api/python/pyproject.toml +++ b/cryptol-remote-api/python/pyproject.toml @@ -1,6 +1,6 @@ [tool.poetry] name = "cryptol" -version = "3.1.1.99" +version = "3.2.0" readme = "README.md" keywords = ["cryptography", "verification"] description = "Cryptol client for the Cryptol RPC server" diff --git a/cryptol.cabal b/cryptol.cabal index c6c2010ff..e4a3f6eb9 100644 --- a/cryptol.cabal +++ b/cryptol.cabal @@ -1,6 +1,6 @@ Cabal-version: 2.4 Name: cryptol -Version: 3.1.0.99 +Version: 3.2.0 Synopsis: Cryptol: The Language of Cryptography Description: Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see . License: BSD-3-Clause diff --git a/docs/RefMan/conf.py b/docs/RefMan/conf.py index b253aea9a..470fb4db8 100644 --- a/docs/RefMan/conf.py +++ b/docs/RefMan/conf.py @@ -22,13 +22,13 @@ # -- Project information ----------------------------------------------------- project = 'Cryptol' -copyright = '2021, The Cryptol Team' +copyright = '2024, The Cryptol Team' author = 'The Cryptol Team' # The short X.Y version version = '' # The full version, including alpha/beta/rc tags -release = '2.11.0' +release = '3.2.0' # -- General configuration --------------------------------------------------- From 952d84a1d57a429984f0e904648af3ea31c4d43f Mon Sep 17 00:00:00 2001 From: Ryan Date: Tue, 20 Aug 2024 09:24:46 -0600 Subject: [PATCH 3/4] Bump version numbers to development version 3.2.0.99 --- cryptol-remote-api/cryptol-remote-api.cabal | 2 +- cryptol-remote-api/python/pyproject.toml | 2 +- cryptol.cabal | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/cryptol-remote-api/cryptol-remote-api.cabal b/cryptol-remote-api/cryptol-remote-api.cabal index 1c62c2030..89be99a66 100644 --- a/cryptol-remote-api/cryptol-remote-api.cabal +++ b/cryptol-remote-api/cryptol-remote-api.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: cryptol-remote-api -version: 3.2.0 +version: 3.2.0.99 license: BSD-3-Clause license-file: LICENSE author: Galois, Inc. diff --git a/cryptol-remote-api/python/pyproject.toml b/cryptol-remote-api/python/pyproject.toml index 06a4d3202..da577c11d 100644 --- a/cryptol-remote-api/python/pyproject.toml +++ b/cryptol-remote-api/python/pyproject.toml @@ -1,6 +1,6 @@ [tool.poetry] name = "cryptol" -version = "3.2.0" +version = "3.2.0.99" readme = "README.md" keywords = ["cryptography", "verification"] description = "Cryptol client for the Cryptol RPC server" diff --git a/cryptol.cabal b/cryptol.cabal index e4a3f6eb9..872e8664e 100644 --- a/cryptol.cabal +++ b/cryptol.cabal @@ -1,6 +1,6 @@ Cabal-version: 2.4 Name: cryptol -Version: 3.2.0 +Version: 3.2.0.99 Synopsis: Cryptol: The Language of Cryptography Description: Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see . License: BSD-3-Clause From 9c6c31177cf26febb9c0ca0d18ce36528f46cd7f Mon Sep 17 00:00:00 2001 From: Ryan Date: Tue, 20 Aug 2024 09:47:39 -0600 Subject: [PATCH 4/4] Add Next sections to change logs. --- CHANGES.md | 8 ++++++++ cryptol-remote-api/CHANGELOG.md | 3 +++ cryptol-remote-api/python/CHANGELOG.md | 2 ++ 3 files changed, 13 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index ba38ef65e..d2c477747 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,11 @@ +# next -- TBA + +## Language changes + +## Bug fixes + +## New features + # 3.2.0 -- 2024-08-20 ## Language changes diff --git a/cryptol-remote-api/CHANGELOG.md b/cryptol-remote-api/CHANGELOG.md index 630d7e2cd..9539697da 100644 --- a/cryptol-remote-api/CHANGELOG.md +++ b/cryptol-remote-api/CHANGELOG.md @@ -1,5 +1,8 @@ # 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 diff --git a/cryptol-remote-api/python/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md index 4a3505f92..3dc86dffc 100644 --- a/cryptol-remote-api/python/CHANGELOG.md +++ b/cryptol-remote-api/python/CHANGELOG.md @@ -1,5 +1,7 @@ # Revision history for `cryptol` Python package +## 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