From 55ea7d7eba598a421ea78174cd900dd2cc8d141c Mon Sep 17 00:00:00 2001 From: shonfeder Date: Mon, 20 Dec 2021 00:40:19 +0000 Subject: [PATCH 1/2] [release] 0.19.0 --- RELEASE-NOTES.md | 14 ++++++++++++++ UNRELEASED.md | 12 ------------ 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-io/pom.xml | 4 ++-- tla-pp/pom.xml | 4 ++-- tla-types/pom.xml | 4 ++-- tlair/pom.xml | 4 ++-- 12 files changed, 33 insertions(+), 31 deletions(-) create mode 100644 RELEASE-NOTES.md diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md new file mode 100644 index 0000000000..a7a4c9f9ab --- /dev/null +++ b/RELEASE-NOTES.md @@ -0,0 +1,14 @@ +## 0.19.0 + +### Breaking changes + +* The global config file is now named `$HOME/.tlaplus/apalache.cfg`, see #1160 + +### Features + +* Support for a local config file (defaulting to `$PWD/.apalache.cfg`) see #1160 + +### Bug fixes + +* Fix the use of set union in the array encoding, see #1162 +* Fix preprocesor's normalization of negated temporal formulas and negated `LET .. IN` expressions, see #1165 diff --git a/UNRELEASED.md b/UNRELEASED.md index da4bc4dfc7..84488f67af 100644 --- a/UNRELEASED.md +++ b/UNRELEASED.md @@ -10,15 +10,3 @@ * Some bug fix, see #124 DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE --> -### Breaking changes - -* The global config file is now named `$HOME/.tlaplus/apalache.cfg`, see #1160 - -### Features - -* Support for a local config file (defaulting to `$PWD/.apalache.cfg`) see #1160 - -### Bug fixes - -* Fix the use of set union in the array encoding, see #1162 -* Fix preprocesor's normalization of negated temporal formulas and negated `LET .. IN` expressions, see #1165 diff --git a/mod-distribution/pom.xml b/mod-distribution/pom.xml index 0cf78369f9..719b55fbe1 100644 --- a/mod-distribution/pom.xml +++ b/mod-distribution/pom.xml @@ -8,11 +8,11 @@ at.forsyte.apalache apalache - 0.18.2-SNAPSHOT + 0.19.0 apalache-pkg - 0.18.2-SNAPSHOT + 0.19.0 pom apalache-pkg diff --git a/mod-infra/pom.xml b/mod-infra/pom.xml index 04eb564cc9..4d73ab6a29 100644 --- a/mod-infra/pom.xml +++ b/mod-infra/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.18.2-SNAPSHOT + 0.19.0 infra - 0.18.2-SNAPSHOT + 0.19.0 jar infra diff --git a/mod-tool/pom.xml b/mod-tool/pom.xml index 82579871e3..58e4ee5054 100644 --- a/mod-tool/pom.xml +++ b/mod-tool/pom.xml @@ -4,14 +4,14 @@ at.forsyte.apalache apalache - 0.18.2-SNAPSHOT + 0.19.0 tool - 0.18.2-SNAPSHOT + 0.19.0 jar tool diff --git a/pom.xml b/pom.xml index d596bc549c..7c521f1202 100644 --- a/pom.xml +++ b/pom.xml @@ -4,7 +4,7 @@ at.forsyte.apalache apalache pom - 0.18.2-SNAPSHOT + 0.19.0 APALACHE project /~https://github.com/informalsystems/apalache diff --git a/tla-assignments/pom.xml b/tla-assignments/pom.xml index e96939a6cb..32af131f8b 100644 --- a/tla-assignments/pom.xml +++ b/tla-assignments/pom.xml @@ -3,11 +3,11 @@ at.forsyte.apalache apalache - 0.18.2-SNAPSHOT + 0.19.0 tla-assignments - 0.18.2-SNAPSHOT + 0.19.0 jar tla-assignments diff --git a/tla-bmcmt/pom.xml b/tla-bmcmt/pom.xml index 6bdc16a55d..16e37153ec 100644 --- a/tla-bmcmt/pom.xml +++ b/tla-bmcmt/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.18.2-SNAPSHOT + 0.19.0 tla-bmcmt - 0.18.2-SNAPSHOT + 0.19.0 jar tla-bmcmt diff --git a/tla-io/pom.xml b/tla-io/pom.xml index bf92f5b48b..c0986fad0a 100644 --- a/tla-io/pom.xml +++ b/tla-io/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.18.2-SNAPSHOT + 0.19.0 tla-io - 0.18.2-SNAPSHOT + 0.19.0 jar tla-io diff --git a/tla-pp/pom.xml b/tla-pp/pom.xml index 6a789cf1ee..57d0c34e0b 100644 --- a/tla-pp/pom.xml +++ b/tla-pp/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.18.2-SNAPSHOT + 0.19.0 tla-pp - 0.18.2-SNAPSHOT + 0.19.0 jar tla-pp diff --git a/tla-types/pom.xml b/tla-types/pom.xml index 27df735142..864db00c19 100644 --- a/tla-types/pom.xml +++ b/tla-types/pom.xml @@ -3,11 +3,11 @@ at.forsyte.apalache apalache - 0.18.2-SNAPSHOT + 0.19.0 tla-types - 0.18.2-SNAPSHOT + 0.19.0 jar tla-types diff --git a/tlair/pom.xml b/tlair/pom.xml index b2b88b4b3c..568a10a41c 100644 --- a/tlair/pom.xml +++ b/tlair/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.18.2-SNAPSHOT + 0.19.0 tlair - 0.18.2-SNAPSHOT + 0.19.0 jar tlair From 9bb155be6f55947fc4b3dde5e74f29dbd983bba3 Mon Sep 17 00:00:00 2001 From: shonfeder Date: Mon, 20 Dec 2021 00:40:31 +0000 Subject: [PATCH 2/2] Bump version to 0.19.1-SNAPSHOT --- CHANGES.md | 15 +++++++++++++++ RELEASE-NOTES.md | 14 -------------- 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-io/pom.xml | 4 ++-- tla-pp/pom.xml | 4 ++-- tla-types/pom.xml | 4 ++-- tlair/pom.xml | 4 ++-- 12 files changed, 34 insertions(+), 33 deletions(-) delete mode 100644 RELEASE-NOTES.md diff --git a/CHANGES.md b/CHANGES.md index 2bdfc2ac53..2636ba1878 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -2,6 +2,21 @@ This file is generated. Do not write release notes here. Notes for unreleased changes go in ./UNRELEASED.md --> +## 0.19.0 + +### Breaking changes + +* The global config file is now named `$HOME/.tlaplus/apalache.cfg`, see #1160 + +### Features + +* Support for a local config file (defaulting to `$PWD/.apalache.cfg`) see #1160 + +### Bug fixes + +* Fix the use of set union in the array encoding, see #1162 +* Fix preprocesor's normalization of negated temporal formulas and negated `LET .. IN` expressions, see #1165 + ## 0.18.1 ### Bug fixes diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md deleted file mode 100644 index a7a4c9f9ab..0000000000 --- a/RELEASE-NOTES.md +++ /dev/null @@ -1,14 +0,0 @@ -## 0.19.0 - -### Breaking changes - -* The global config file is now named `$HOME/.tlaplus/apalache.cfg`, see #1160 - -### Features - -* Support for a local config file (defaulting to `$PWD/.apalache.cfg`) see #1160 - -### Bug fixes - -* Fix the use of set union in the array encoding, see #1162 -* Fix preprocesor's normalization of negated temporal formulas and negated `LET .. IN` expressions, see #1165 diff --git a/mod-distribution/pom.xml b/mod-distribution/pom.xml index 719b55fbe1..25f84f895d 100644 --- a/mod-distribution/pom.xml +++ b/mod-distribution/pom.xml @@ -8,11 +8,11 @@ at.forsyte.apalache apalache - 0.19.0 + 0.19.1-SNAPSHOT apalache-pkg - 0.19.0 + 0.19.1-SNAPSHOT pom apalache-pkg diff --git a/mod-infra/pom.xml b/mod-infra/pom.xml index 4d73ab6a29..10c36a24de 100644 --- a/mod-infra/pom.xml +++ b/mod-infra/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.19.0 + 0.19.1-SNAPSHOT infra - 0.19.0 + 0.19.1-SNAPSHOT jar infra diff --git a/mod-tool/pom.xml b/mod-tool/pom.xml index 58e4ee5054..7607c5bb5d 100644 --- a/mod-tool/pom.xml +++ b/mod-tool/pom.xml @@ -4,14 +4,14 @@ at.forsyte.apalache apalache - 0.19.0 + 0.19.1-SNAPSHOT tool - 0.19.0 + 0.19.1-SNAPSHOT jar tool diff --git a/pom.xml b/pom.xml index 7c521f1202..572a9356e8 100644 --- a/pom.xml +++ b/pom.xml @@ -4,7 +4,7 @@ at.forsyte.apalache apalache pom - 0.19.0 + 0.19.1-SNAPSHOT APALACHE project /~https://github.com/informalsystems/apalache diff --git a/tla-assignments/pom.xml b/tla-assignments/pom.xml index 32af131f8b..324a682531 100644 --- a/tla-assignments/pom.xml +++ b/tla-assignments/pom.xml @@ -3,11 +3,11 @@ at.forsyte.apalache apalache - 0.19.0 + 0.19.1-SNAPSHOT tla-assignments - 0.19.0 + 0.19.1-SNAPSHOT jar tla-assignments diff --git a/tla-bmcmt/pom.xml b/tla-bmcmt/pom.xml index 16e37153ec..3b282477f2 100644 --- a/tla-bmcmt/pom.xml +++ b/tla-bmcmt/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.19.0 + 0.19.1-SNAPSHOT tla-bmcmt - 0.19.0 + 0.19.1-SNAPSHOT jar tla-bmcmt diff --git a/tla-io/pom.xml b/tla-io/pom.xml index c0986fad0a..8ff230d46c 100644 --- a/tla-io/pom.xml +++ b/tla-io/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.19.0 + 0.19.1-SNAPSHOT tla-io - 0.19.0 + 0.19.1-SNAPSHOT jar tla-io diff --git a/tla-pp/pom.xml b/tla-pp/pom.xml index 57d0c34e0b..5898a1db15 100644 --- a/tla-pp/pom.xml +++ b/tla-pp/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.19.0 + 0.19.1-SNAPSHOT tla-pp - 0.19.0 + 0.19.1-SNAPSHOT jar tla-pp diff --git a/tla-types/pom.xml b/tla-types/pom.xml index 864db00c19..e1ace1320e 100644 --- a/tla-types/pom.xml +++ b/tla-types/pom.xml @@ -3,11 +3,11 @@ at.forsyte.apalache apalache - 0.19.0 + 0.19.1-SNAPSHOT tla-types - 0.19.0 + 0.19.1-SNAPSHOT jar tla-types diff --git a/tlair/pom.xml b/tlair/pom.xml index 568a10a41c..8b746886d9 100644 --- a/tlair/pom.xml +++ b/tlair/pom.xml @@ -4,11 +4,11 @@ at.forsyte.apalache apalache - 0.19.0 + 0.19.1-SNAPSHOT tlair - 0.19.0 + 0.19.1-SNAPSHOT jar tlair