Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Prepare release 3.2.0 #1736

Merged
merged 4 commits into from
Aug 20, 2024
Merged

Prepare release 3.2.0 #1736

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
8ea4fca
Prepare Cryptol 3.2 release: Updates to changelog
mccleeary-galois Aug 20, 2024
afb8730
Cryptol 3.2 Release: Update Cabal version numbers.
mccleeary-galois Aug 20, 2024
952d84a
Bump version numbers to development version 3.2.0.99
mccleeary-galois Aug 20, 2024
9c6c311
Add Next sections to change logs.
mccleeary-galois Aug 20, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 12 additions & 0 deletions CHANGES.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,14 @@

## Language changes

## Bug fixes

## New features

# 3.2.0 -- 2024-08-20

## Language changes

* Add implicit imports for non-anonymous modules defined by functor
instantiation. For details, see #1691.

Expand All @@ -13,6 +21,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
Expand Down
6 changes: 6 additions & 0 deletions cryptol-remote-api/CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,12 @@

## 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
Expand Down
2 changes: 1 addition & 1 deletion cryptol-remote-api/cryptol-remote-api.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cabal-version: 2.4
name: cryptol-remote-api
version: 3.1.0.99
version: 3.2.0.99
license: BSD-3-Clause
license-file: LICENSE
author: Galois, Inc.
Expand Down
7 changes: 7 additions & 0 deletions cryptol-remote-api/python/CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,12 @@
# 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
Cryptol 3.2.0 release notes for relevant Cryptol changes.
mccleeary-galois marked this conversation as resolved.
Show resolved Hide resolved

## 3.1.1 -- 2024-05-15

* Add support for Python 3.12.
Expand Down
2 changes: 1 addition & 1 deletion cryptol-remote-api/python/pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[tool.poetry]
name = "cryptol"
version = "3.1.1.99"
version = "3.2.0.99"
readme = "README.md"
keywords = ["cryptography", "verification"]
description = "Cryptol client for the Cryptol RPC server"
Expand Down
2 changes: 1 addition & 1 deletion cryptol.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
Cabal-version: 2.4
Name: cryptol
Version: 3.1.0.99
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 <http://www.cryptol.net/>.
License: BSD-3-Clause
Expand Down
4 changes: 2 additions & 2 deletions docs/RefMan/conf.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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 ---------------------------------------------------
Expand Down
Loading