[release] 0.8.1

apalache-mc · Jan 19, 2021 · a0e64fc · a0e64fc
1 parent f0cda19
commit a0e64fc
Show file tree

Hide file tree

Showing 12 changed files with 41 additions and 39 deletions.
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -0,0 +1,22 @@
+## 0.8.1
+
+### Bug fixes
+
+ * critical bugfix in unique renaming, see #429
+ * include missing {Apalache,Typing}.tla modules in release package, see #447
+
+### Features
+
+ * opt-in for statistics collection (shared with TLC and TLA+ Toolbox), see #288
+
+### Architecture
+
+ * new layer of TransitionExecutor (TRex), see `at.forsyte.apalache.tla.bmcmt.trex.*`
+
+### Documentation
+
+ * Compile the manuals into [a static
+  site](http://informalsystems.github.io/apalache/docs/) using
+  [mdBook](https://github.com/rust-lang/mdBook), see #400 
+ * Description of top-level user operators, see #419
+ * ADR003: [Architecture of TransitionExecutor](./docs/internal/adr/003adr-trex.md) 
diff --git a/UNRELEASED.md b/UNRELEASED.md
@@ -10,23 +10,3 @@
          * Another change description, see #124
 
      DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE -->
-### Bug fixes
-
- * critical bugfix in unique renaming, see #429
- * include missing {Apalache,Typing}.tla modules in release package, see #447
-
-### Features
-
- * opt-in for statistics collection (shared with TLC and TLA+ Toolbox), see #288
-
-### Architecture
-
- * new layer of TransitionExecutor (TRex), see `at.forsyte.apalache.tla.bmcmt.trex.*`
-
-### Documentation
-
- * Compile the manuals into [a static
-  site](http://informalsystems.github.io/apalache/docs/) using
-  [mdBook](https://github.com/rust-lang/mdBook), see #400 
- * Description of top-level user operators, see #419
- * ADR003: [Architecture of TransitionExecutor](./docs/internal/adr/003adr-trex.md) 
diff --git 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.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     </parent>
 
     <artifactId>apalache-pkg</artifactId>
-        <version>0.8.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     <packaging>pom</packaging>
 
     <name>apalache-pkg</name>

diff --git 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.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     </parent>
 
     <artifactId>infra</artifactId>
-        <version>0.8.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     <packaging>jar</packaging>
 
     <name>infra</name>

diff --git 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.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     </parent>
 
     <!--
         All command line tooling and option parsing goes here... and nothing else!
     -->
     <artifactId>tool</artifactId>
-        <version>0.8.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     <packaging>jar</packaging>
 
     <name>tool</name>

diff --git a/pom.xml b/pom.xml
@@ -4,7 +4,7 @@
     <groupId>at.forsyte.apalache</groupId>
     <artifactId>apalache</artifactId>
     <packaging>pom</packaging>
-    <version>0.8.1-SNAPSHOT</version>
+    <version>0.8.1</version>
 
     <name>APALACHE project</name>
     <url>https://github.com/informalsystems/apalache</url>

diff --git 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.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     </parent>
 
     <artifactId>tla-assignments</artifactId>
-        <version>0.8.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     <packaging>jar</packaging>
 
     <name>tla-assignments</name>

diff --git 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.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     </parent>
 
     <artifactId>tla-bmcmt</artifactId>
-        <version>0.8.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     <packaging>jar</packaging>
 
     <name>tla-bmcmt</name>

diff --git 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.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     </parent>
 
     <artifactId>tla-import</artifactId>
-        <version>0.8.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     <packaging>jar</packaging>
 
     <name>tla-import</name>

diff --git 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.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     </parent>
 
     <artifactId>tla-pp</artifactId>
-        <version>0.8.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     <packaging>jar</packaging>
 
     <name>tla-pp</name>

diff --git 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.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     </parent>
 
     <artifactId>tla-types</artifactId>
-        <version>0.8.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     <packaging>jar</packaging>
 
     <name>tla-types</name>

diff --git a/tlair/pom.xml b/tlair/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.8.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     </parent>
 
     <artifactId>tlair</artifactId>
-        <version>0.8.1-SNAPSHOT</version>
+        <version>0.8.1</version>
     <packaging>jar</packaging>
 
     <name>tlair</name>