From cffdcdd04963e11c60d8a234b297c02a7e5a06ca Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Fri, 19 Nov 2021 11:54:07 -0800 Subject: [PATCH] rpc v2.12 release details fixes (i.e., cabal, changelogs, etc) (#1305) * rpc v2.12 release details fixes (i.e., cabal, changelogs, etc) * bump rpc server/client to dev version --- cryptol-remote-api/CHANGELOG.md | 8 ++++++++ cryptol-remote-api/cryptol-remote-api.cabal | 8 ++++---- cryptol-remote-api/python/CHANGELOG.md | 10 ++++++++++ cryptol-remote-api/python/pyproject.toml | 7 ++++--- deps/argo | 2 +- 5 files changed, 27 insertions(+), 8 deletions(-) diff --git a/cryptol-remote-api/CHANGELOG.md b/cryptol-remote-api/CHANGELOG.md index 1e0344fd1..f35e2caeb 100644 --- a/cryptol-remote-api/CHANGELOG.md +++ b/cryptol-remote-api/CHANGELOG.md @@ -1,5 +1,13 @@ # Revision history for `cryptol-remote-api` and `cryptol-eval-server` +## 2.12.2 -- YYYY-MM-DD + +* NEW CHANGELOG ENTRIES SINCE 2.12.0 GO HERE + +## 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` diff --git a/cryptol-remote-api/cryptol-remote-api.cabal b/cryptol-remote-api/cryptol-remote-api.cabal index 1bf013a49..239ae2e9d 100644 --- a/cryptol-remote-api/cryptol-remote-api.cabal +++ b/cryptol-remote-api/cryptol-remote-api.cabal @@ -1,10 +1,10 @@ cabal-version: 2.4 name: cryptol-remote-api -version: 0.1.0.0 +version: 2.12.1 license: BSD-3-Clause license-file: LICENSE -author: David Thrane Christiansen -maintainer: dtc@galois.com +author: Galois, Inc. +maintainer: cryptol-team@galois.com category: Language extra-source-files: CHANGELOG.md @@ -42,7 +42,7 @@ common deps build-depends: base >=4.11.1.0 && <4.15, argo, - aeson >= 1.4.2, + aeson >= 1.4.2 && < 2.0, base64-bytestring >= 1.0, bytestring ^>= 0.10.8, containers >=0.6.0.1 && <0.7, diff --git a/cryptol-remote-api/python/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md index a63cd5dd5..0fc5f23bb 100644 --- a/cryptol-remote-api/python/CHANGELOG.md +++ b/cryptol-remote-api/python/CHANGELOG.md @@ -1,5 +1,15 @@ # Revision history for `cryptol` Python package +## 2.12.2 -- YYYY-MM-DD + +* NEW CHANGELOG ENTRIES SINCE 2.12.0 GO HERE + +## 2.12.0 -- 2021-11-19 + +* v2.12 release in tandem with Cryptol 2.12 release. See Cryptol release 2.12 + release notes for relevant Cryptol changes. No notable changes to RPC server + or client since 2.11.7. + ## 2.11.7 -- 2021-09-22 * Add a synchronous, type-annotated interface (`synchronous.py`). To use this diff --git a/cryptol-remote-api/python/pyproject.toml b/cryptol-remote-api/python/pyproject.toml index 7f391b2a5..3c363488f 100644 --- a/cryptol-remote-api/python/pyproject.toml +++ b/cryptol-remote-api/python/pyproject.toml @@ -1,10 +1,11 @@ [tool.poetry] name = "cryptol" -version = "2.11.7" +version = "2.12.1" readme = "README.md" keywords = ["cryptography", "verification"] -description = "Cryptol client for the Cryptol 2.11 RPC server" -authors = ["Andrew Kent ", "Aaron Tomb ", "Matthew Yacavone "] +description = "Cryptol client for the Cryptol 2.12 RPC server" +authors = ["Galois, Inc. "] + license = "BSD License" include = [ "LICENSE", diff --git a/deps/argo b/deps/argo index 72dc6f057..fd8529883 160000 --- a/deps/argo +++ b/deps/argo @@ -1 +1 @@ -Subproject commit 72dc6f057d609ddaee8d964c41984faaa97e4cf1 +Subproject commit fd8529883cd462b5f666506ecce5802bbf6867df