From 5ea0dfdcc01c3864fcb1a4d618c3e3044c3a3d94 Mon Sep 17 00:00:00 2001 From: shonfeder Date: Mon, 3 May 2021 00:04:11 +0000 Subject: [PATCH 1/2] [release] 0.15.4 --- RELEASE-NOTES.md | 28 ++++++++++++++++++++++++++++ UNRELEASED.md | 26 -------------------------- mod-distribution/pom.xml | 4 ++-- mod-infra/pom.xml | 4 ++-- mod-tool/pom.xml | 4 ++-- pom.xml | 2 +- tla-assignments/pom.xml | 4 ++-- tla-bmcmt/pom.xml | 4 ++-- tla-import/pom.xml | 4 ++-- tla-pp/pom.xml | 4 ++-- tla-types/pom.xml | 4 ++-- tlair/pom.xml | 4 ++-- 12 files changed, 47 insertions(+), 45 deletions(-) create mode 100644 RELEASE-NOTES.md diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md new file mode 100644 index 0000000000..f1d48d5bbc --- /dev/null +++ b/RELEASE-NOTES.md @@ -0,0 +1,28 @@ +## 0.15.4 + +### Documentation + +* RFC006 on unit testing: see #741 + +### Features + +* apalache quits with a non-zero exit code on counterexample or error, see #249 +* type checker: supporting one-line comments in types, see #773 + +### Bug fixes + +* Parser: supporting annotations in multiline comments, see #718 +* Parser: supporting TLA+ identifiers in annotations, see #768 +* Parser: better parser for annotations, see #757 +* Parser: fixed two bugs in the declaration sorter, see #645 and #758 +* Printer: fixed the output for EXCEPT, see #746 +* Printer: fixed pretty printing of annotations, see #633 +* Printer: extending the standard modules, see #137 +* The command `config --enable-stats=true` creates `$HOME/.tlaplus` if needed, see #762 +* IO: replaced calls to deprecated JsonReader/JsonWriter. out-parser.json is now compliant with the new format, see #778 + +### Changes + +* Builds: removed scoverage from maven, to improve build times +* Docs: updated ADR002 and HOWTO on type annotations to explain comments +* CLI: Users can set JVM args via the JVM_ARGS env var, see #790 diff --git a/UNRELEASED.md b/UNRELEASED.md index 6ae3c8bdbd..84488f67af 100644 --- a/UNRELEASED.md +++ b/UNRELEASED.md @@ -10,29 +10,3 @@ * Some bug fix, see #124 DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE --> -### Documentation - -* RFC006 on unit testing: see #741 - -### Features - -* apalache quits with a non-zero exit code on counterexample or error, see #249 -* type checker: supporting one-line comments in types, see #773 - -### Bug fixes - -* Parser: supporting annotations in multiline comments, see #718 -* Parser: supporting TLA+ identifiers in annotations, see #768 -* Parser: better parser for annotations, see #757 -* Parser: fixed two bugs in the declaration sorter, see #645 and #758 -* Printer: fixed the output for EXCEPT, see #746 -* Printer: fixed pretty printing of annotations, see #633 -* Printer: extending the standard modules, see #137 -* The command `config --enable-stats=true` creates `$HOME/.tlaplus` if needed, see #762 -* IO: replaced calls to deprecated JsonReader/JsonWriter. out-parser.json is now compliant with the new format, see #778 - -### Changes - -* Builds: removed scoverage from maven, to improve build times -* Docs: updated ADR002 and HOWTO on type annotations to explain comments -* CLI: Users can set JVM args via the JVM_ARGS env var, see #790 diff --git a/mod-distribution/pom.xml b/mod-distribution/pom.xml index 57a3196737..f3310288a1 100644 --- a/mod-distribution/pom.xml +++ b/mod-distribution/pom.xml @@ -8,11 +8,11 @@ at.forsyte.apalache apalache - 0.15.4-SNAPSHOT + 0.15.4 apalache-pkg - 0.15.4-SNAPSHOT + 0.15.4 pom apalache-pkg diff --git a/mod-infra/pom.xml b/mod-infra/pom.xml index 23e71e6a6e..3fe0b47534 100644 --- a/mod-infra/pom.xml +++ b/mod-infra/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.15.4-SNAPSHOT + 0.15.4 infra - 0.15.4-SNAPSHOT + 0.15.4 jar infra diff --git a/mod-tool/pom.xml b/mod-tool/pom.xml index f36f9c98c2..851ee68da7 100644 --- a/mod-tool/pom.xml +++ b/mod-tool/pom.xml @@ -4,14 +4,14 @@ at.forsyte.apalache apalache - 0.15.4-SNAPSHOT + 0.15.4 tool - 0.15.4-SNAPSHOT + 0.15.4 jar tool diff --git a/pom.xml b/pom.xml index d5876cb2ca..449cfc0a85 100644 --- a/pom.xml +++ b/pom.xml @@ -4,7 +4,7 @@ at.forsyte.apalache apalache pom - 0.15.4-SNAPSHOT + 0.15.4 APALACHE project https://github.com/informalsystems/apalache diff --git a/tla-assignments/pom.xml b/tla-assignments/pom.xml index 77710ac80e..0a0af1d310 100644 --- a/tla-assignments/pom.xml +++ b/tla-assignments/pom.xml @@ -3,11 +3,11 @@ at.forsyte.apalache apalache - 0.15.4-SNAPSHOT + 0.15.4 tla-assignments - 0.15.4-SNAPSHOT + 0.15.4 jar tla-assignments diff --git a/tla-bmcmt/pom.xml b/tla-bmcmt/pom.xml index 7a19cd1f48..a46cbd695e 100644 --- a/tla-bmcmt/pom.xml +++ b/tla-bmcmt/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.15.4-SNAPSHOT + 0.15.4 tla-bmcmt - 0.15.4-SNAPSHOT + 0.15.4 jar tla-bmcmt diff --git a/tla-import/pom.xml b/tla-import/pom.xml index 98c63cd58b..921da022be 100644 --- a/tla-import/pom.xml +++ b/tla-import/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.15.4-SNAPSHOT + 0.15.4 tla-import - 0.15.4-SNAPSHOT + 0.15.4 jar tla-import diff --git a/tla-pp/pom.xml b/tla-pp/pom.xml index 8e3560ea9a..b585d76565 100644 --- a/tla-pp/pom.xml +++ b/tla-pp/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.15.4-SNAPSHOT + 0.15.4 tla-pp - 0.15.4-SNAPSHOT + 0.15.4 jar tla-pp diff --git a/tla-types/pom.xml b/tla-types/pom.xml index c4149a5913..b73cee6909 100644 --- a/tla-types/pom.xml +++ b/tla-types/pom.xml @@ -3,11 +3,11 @@ at.forsyte.apalache apalache - 0.15.4-SNAPSHOT + 0.15.4 tla-types - 0.15.4-SNAPSHOT + 0.15.4 jar tla-types diff --git a/tlair/pom.xml b/tlair/pom.xml index c3b114bf2f..4a3e8c6ff9 100644 --- a/tlair/pom.xml +++ b/tlair/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.15.4-SNAPSHOT + 0.15.4 tlair - 0.15.4-SNAPSHOT + 0.15.4 jar tlair From 3ee0924d677db3982497368597f87abab5893af8 Mon Sep 17 00:00:00 2001 From: shonfeder Date: Mon, 3 May 2021 00:04:23 +0000 Subject: [PATCH 2/2] Bump version to 0.15.5-SNAPSHOT --- CHANGES.md | 29 +++++++++++++++++++++++++++++ RELEASE-NOTES.md | 28 ---------------------------- mod-distribution/pom.xml | 4 ++-- mod-infra/pom.xml | 4 ++-- mod-tool/pom.xml | 4 ++-- pom.xml | 2 +- tla-assignments/pom.xml | 4 ++-- tla-bmcmt/pom.xml | 4 ++-- tla-import/pom.xml | 4 ++-- tla-pp/pom.xml | 4 ++-- tla-types/pom.xml | 4 ++-- tlair/pom.xml | 4 ++-- 12 files changed, 48 insertions(+), 47 deletions(-) delete mode 100644 RELEASE-NOTES.md diff --git a/CHANGES.md b/CHANGES.md index df7dd149f5..a016232711 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -2,6 +2,35 @@ This file is generated. Do not write release notes here. Notes for unreleased changes go in ./UNRELEASED.md --> +## 0.15.4 + +### Documentation + +* RFC006 on unit testing: see #741 + +### Features + +* apalache quits with a non-zero exit code on counterexample or error, see #249 +* type checker: supporting one-line comments in types, see #773 + +### Bug fixes + +* Parser: supporting annotations in multiline comments, see #718 +* Parser: supporting TLA+ identifiers in annotations, see #768 +* Parser: better parser for annotations, see #757 +* Parser: fixed two bugs in the declaration sorter, see #645 and #758 +* Printer: fixed the output for EXCEPT, see #746 +* Printer: fixed pretty printing of annotations, see #633 +* Printer: extending the standard modules, see #137 +* The command `config --enable-stats=true` creates `$HOME/.tlaplus` if needed, see #762 +* IO: replaced calls to deprecated JsonReader/JsonWriter. out-parser.json is now compliant with the new format, see #778 + +### Changes + +* Builds: removed scoverage from maven, to improve build times +* Docs: updated ADR002 and HOWTO on type annotations to explain comments +* CLI: Users can set JVM args via the JVM_ARGS env var, see #790 + ## 0.15.3 ### Features diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md deleted file mode 100644 index f1d48d5bbc..0000000000 --- a/RELEASE-NOTES.md +++ /dev/null @@ -1,28 +0,0 @@ -## 0.15.4 - -### Documentation - -* RFC006 on unit testing: see #741 - -### Features - -* apalache quits with a non-zero exit code on counterexample or error, see #249 -* type checker: supporting one-line comments in types, see #773 - -### Bug fixes - -* Parser: supporting annotations in multiline comments, see #718 -* Parser: supporting TLA+ identifiers in annotations, see #768 -* Parser: better parser for annotations, see #757 -* Parser: fixed two bugs in the declaration sorter, see #645 and #758 -* Printer: fixed the output for EXCEPT, see #746 -* Printer: fixed pretty printing of annotations, see #633 -* Printer: extending the standard modules, see #137 -* The command `config --enable-stats=true` creates `$HOME/.tlaplus` if needed, see #762 -* IO: replaced calls to deprecated JsonReader/JsonWriter. out-parser.json is now compliant with the new format, see #778 - -### Changes - -* Builds: removed scoverage from maven, to improve build times -* Docs: updated ADR002 and HOWTO on type annotations to explain comments -* CLI: Users can set JVM args via the JVM_ARGS env var, see #790 diff --git a/mod-distribution/pom.xml b/mod-distribution/pom.xml index f3310288a1..900cb52b6e 100644 --- a/mod-distribution/pom.xml +++ b/mod-distribution/pom.xml @@ -8,11 +8,11 @@ at.forsyte.apalache apalache - 0.15.4 + 0.15.5-SNAPSHOT apalache-pkg - 0.15.4 + 0.15.5-SNAPSHOT pom apalache-pkg diff --git a/mod-infra/pom.xml b/mod-infra/pom.xml index 3fe0b47534..41123a35e4 100644 --- a/mod-infra/pom.xml +++ b/mod-infra/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.15.4 + 0.15.5-SNAPSHOT infra - 0.15.4 + 0.15.5-SNAPSHOT jar infra diff --git a/mod-tool/pom.xml b/mod-tool/pom.xml index 851ee68da7..6c7a67282a 100644 --- a/mod-tool/pom.xml +++ b/mod-tool/pom.xml @@ -4,14 +4,14 @@ at.forsyte.apalache apalache - 0.15.4 + 0.15.5-SNAPSHOT tool - 0.15.4 + 0.15.5-SNAPSHOT jar tool diff --git a/pom.xml b/pom.xml index 449cfc0a85..86a9174f5c 100644 --- a/pom.xml +++ b/pom.xml @@ -4,7 +4,7 @@ at.forsyte.apalache apalache pom - 0.15.4 + 0.15.5-SNAPSHOT APALACHE project https://github.com/informalsystems/apalache diff --git a/tla-assignments/pom.xml b/tla-assignments/pom.xml index 0a0af1d310..3d196df4fd 100644 --- a/tla-assignments/pom.xml +++ b/tla-assignments/pom.xml @@ -3,11 +3,11 @@ at.forsyte.apalache apalache - 0.15.4 + 0.15.5-SNAPSHOT tla-assignments - 0.15.4 + 0.15.5-SNAPSHOT jar tla-assignments diff --git a/tla-bmcmt/pom.xml b/tla-bmcmt/pom.xml index a46cbd695e..9c73a2e2d2 100644 --- a/tla-bmcmt/pom.xml +++ b/tla-bmcmt/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.15.4 + 0.15.5-SNAPSHOT tla-bmcmt - 0.15.4 + 0.15.5-SNAPSHOT jar tla-bmcmt diff --git a/tla-import/pom.xml b/tla-import/pom.xml index 921da022be..d173c6068f 100644 --- a/tla-import/pom.xml +++ b/tla-import/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.15.4 + 0.15.5-SNAPSHOT tla-import - 0.15.4 + 0.15.5-SNAPSHOT jar tla-import diff --git a/tla-pp/pom.xml b/tla-pp/pom.xml index b585d76565..6476f04594 100644 --- a/tla-pp/pom.xml +++ b/tla-pp/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.15.4 + 0.15.5-SNAPSHOT tla-pp - 0.15.4 + 0.15.5-SNAPSHOT jar tla-pp diff --git a/tla-types/pom.xml b/tla-types/pom.xml index b73cee6909..c0c055237d 100644 --- a/tla-types/pom.xml +++ b/tla-types/pom.xml @@ -3,11 +3,11 @@ at.forsyte.apalache apalache - 0.15.4 + 0.15.5-SNAPSHOT tla-types - 0.15.4 + 0.15.5-SNAPSHOT jar tla-types diff --git a/tlair/pom.xml b/tlair/pom.xml index 4a3e8c6ff9..606fe187b2 100644 --- a/tlair/pom.xml +++ b/tlair/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.15.4 + 0.15.5-SNAPSHOT tlair - 0.15.4 + 0.15.5-SNAPSHOT jar tlair