From bea0e2e714e094427bf8212cd5251682c94f295d Mon Sep 17 00:00:00 2001
From: shonfeder <github@actions.ci>
Date: Mon, 25 Jan 2021 16:00:31 +0000
Subject: [PATCH] [release] 0.8.2

---
 RELEASE-NOTES.md         | 15 +++++++++++++++
 UNRELEASED.md            | 13 -------------
 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, 34 insertions(+), 32 deletions(-)
 create mode 100644 RELEASE-NOTES.md

diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
new file mode 100644
index 0000000000..dffdbe5624
--- /dev/null
+++ b/RELEASE-NOTES.md
@@ -0,0 +1,15 @@
+## 0.8.2
+
+### Bug fixes
+
+ * handling big integers, see #450
+ * better parsing of SPECIFICATION in TLC configs, see #468
+ * expanding tuples in quantifiers, see #476
+ * unfolding UNCHANGED for arbitrary expressions, see #471
+ * unfolding UNCHANGED <<>>, see #475
+
+### Features
+
+ * constant simplification over strings, see #197
+ * propagation of primes inside expressions,
+   e.g., (f[i])' becomes f'[i'] if both f and i are state variables
diff --git a/UNRELEASED.md b/UNRELEASED.md
index b66c5be68e..ea6361545c 100644
--- a/UNRELEASED.md
+++ b/UNRELEASED.md
@@ -10,16 +10,3 @@
          * Another change description, see #124
 
      DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE -->
-### Bug fixes
-
- * handling big integers, see #450
- * better parsing of SPECIFICATION in TLC configs, see #468
- * expanding tuples in quantifiers, see #476
- * unfolding UNCHANGED for arbitrary expressions, see #471
- * unfolding UNCHANGED <<>>, see #475
-
-### Features
-
- * constant simplification over strings, see #197
- * propagation of primes inside expressions,
-   e.g., (f[i])' becomes f'[i'] if both f and i are state variables
diff --git a/mod-distribution/pom.xml b/mod-distribution/pom.xml
index 5cf97658b5..45733ec0d5 100644
--- a/mod-distribution/pom.xml
+++ b/mod-distribution/pom.xml
@@ -8,11 +8,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     </parent>
 
     <artifactId>apalache-pkg</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     <packaging>pom</packaging>
 
     <name>apalache-pkg</name>
diff --git a/mod-infra/pom.xml b/mod-infra/pom.xml
index dca63e59aa..f069a85e74 100644
--- a/mod-infra/pom.xml
+++ b/mod-infra/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     </parent>
 
     <artifactId>infra</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     <packaging>jar</packaging>
 
     <name>infra</name>
diff --git a/mod-tool/pom.xml b/mod-tool/pom.xml
index d9b66a7020..a87b2731a9 100644
--- a/mod-tool/pom.xml
+++ b/mod-tool/pom.xml
@@ -4,14 +4,14 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     </parent>
 
     <!--
         All command line tooling and option parsing goes here... and nothing else!
     -->
     <artifactId>tool</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     <packaging>jar</packaging>
 
     <name>tool</name>
diff --git a/pom.xml b/pom.xml
index 58ca6974ca..6c4a71fca8 100644
--- a/pom.xml
+++ b/pom.xml
@@ -4,7 +4,7 @@
     <groupId>at.forsyte.apalache</groupId>
     <artifactId>apalache</artifactId>
     <packaging>pom</packaging>
-    <version>0.8.2-SNAPSHOT</version>
+    <version>0.8.2</version>
 
     <name>APALACHE project</name>
     <url>https://github.com/informalsystems/apalache</url>
diff --git a/tla-assignments/pom.xml b/tla-assignments/pom.xml
index 3c855ebd54..5a99c8c19d 100644
--- a/tla-assignments/pom.xml
+++ b/tla-assignments/pom.xml
@@ -3,11 +3,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     </parent>
 
     <artifactId>tla-assignments</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     <packaging>jar</packaging>
 
     <name>tla-assignments</name>
diff --git a/tla-bmcmt/pom.xml b/tla-bmcmt/pom.xml
index 3cfd84d229..d0370560ff 100644
--- a/tla-bmcmt/pom.xml
+++ b/tla-bmcmt/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     </parent>
 
     <artifactId>tla-bmcmt</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     <packaging>jar</packaging>
 
     <name>tla-bmcmt</name>
diff --git a/tla-import/pom.xml b/tla-import/pom.xml
index ee2bdc16da..f4c8b49031 100644
--- a/tla-import/pom.xml
+++ b/tla-import/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     </parent>
 
     <artifactId>tla-import</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     <packaging>jar</packaging>
 
     <name>tla-import</name>
diff --git a/tla-pp/pom.xml b/tla-pp/pom.xml
index 35b7f69329..31b1aeab60 100644
--- a/tla-pp/pom.xml
+++ b/tla-pp/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     </parent>
 
     <artifactId>tla-pp</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     <packaging>jar</packaging>
 
     <name>tla-pp</name>
diff --git a/tla-types/pom.xml b/tla-types/pom.xml
index c5ff65d262..55202e6311 100644
--- a/tla-types/pom.xml
+++ b/tla-types/pom.xml
@@ -3,11 +3,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     </parent>
 
     <artifactId>tla-types</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     <packaging>jar</packaging>
 
     <name>tla-types</name>
diff --git a/tlair/pom.xml b/tlair/pom.xml
index e1d5f0a8bc..51fdc1193c 100644
--- a/tlair/pom.xml
+++ b/tlair/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     </parent>
 
     <artifactId>tlair</artifactId>
-        <version>0.8.2-SNAPSHOT</version>
+        <version>0.8.2</version>
     <packaging>jar</packaging>
 
     <name>tlair</name>