[release] 0.15.0 (#695)

* [release] 0.15.0 * Bump version to 0.15.1-SNAPSHOT Co-authored-by: shonfeder <github@actions.ci> Co-authored-by: Igor Konnov <igor@informal.systems>
apalache-mc · Mar 29, 2021 · c8ca208 · c8ca208
1 parent 9dfcefe
commit c8ca208
Show file tree

Hide file tree

Showing 12 changed files with 46 additions and 43 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -2,6 +2,33 @@
      This file is generated. Do not write release notes here.
      Notes for unreleased changes go in ./UNRELEASED.md -->
 
+## 0.15.0
+
+### Features
+
+* Model checker: receiving the types from with the type checker Snowcat, see #668 and #350
+* Model checker and type checker: Snowcat is the only way to compute types now
+* Type checker: the old Apalache type annotations are no longer supported, see #668
+* Type checker: tagging all expressions with the reconstructed types, see #608
+* Type checker: handling TLA+ labels like `lab("a", "b") :: e`, see #653
+* Type checker: always treating `<<...>>` in `UNCHANGED <<...>>` as a tuple, see #660
+* Type checker: handling the general case of EXCEPT, see #617
+* Preprocessing: handling the general case of EXCEPT, see #647
+
+### Changed
+
+* Preprocessing: massive refactoring of the passes to support types. This may have introduced unexpected bugs.
+* Model checker: translation rules for records and functions have been modified, in order to support new types. Bugs to
+  be expected.
+* Intermediate representation: renamed BmcOper to ApalacheOper. Its operators have the prefix `Apalache!` now.
+
+### Removed
+
+* Unused rewriting rules and `FailPredT` in the model checker, see #665
+* Intermediate representation: removed non-standard operators subsetProper, supset, supseteq, see #615
+* Intermediate representation: removed TlaArithOper.{sum,prod}, as they are not standard, see #580
+* Intermediate representation: removed TlaOper.chooseIdiom
+
 ## 0.11.0
 
 ### Features

diff --git a/UNRELEASED.md b/UNRELEASED.md
@@ -10,27 +10,3 @@
          * Some bug fix, see #124
 
      DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE -->
-### Features
-
-* Model checker: receiving the types from with the type checker Snowcat, see #668 and #350
-* Model checker and type checker: Snowcat is the only way to compute types now
-* Type checker: the old Apalache type annotations are no longer supported, see #668
-* Type checker: tagging all expressions with the reconstructed types, see #608
-* Type checker: handling TLA+ labels like `lab("a", "b") :: e`, see #653
-* Type checker: always treating `<<...>>` in `UNCHANGED <<...>>` as a tuple, see #660
-* Type checker: handling the general case of EXCEPT, see #617
-* Preprocessing: handling the general case of EXCEPT, see #647
-
-### Changed
-
-* Preprocessing: massive refactoring of the passes to support types. This may have introduced unexpected bugs.
-* Model checker: translation rules for records and functions have been modified, in order to support new types. Bugs to
-  be expected.
-* Intermediate representation: renamed BmcOper to ApalacheOper. Its operators have the prefix `Apalache!` now.
-
-### Removed
-
-* Unused rewriting rules and `FailPredT` in the model checker, see #665
-* Intermediate representation: removed non-standard operators subsetProper, supset, supseteq, see #615
-* Intermediate representation: removed TlaArithOper.{sum,prod}, as they are not standard, see #580
-* Intermediate representation: removed TlaOper.chooseIdiom
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.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</version>
     </parent>
 
     <artifactId>apalache-pkg</artifactId>
-        <version>0.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</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.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</version>
     </parent>
 
     <artifactId>infra</artifactId>
-        <version>0.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</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.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</version>
     </parent>
 
     <!--
         All command line tooling and option parsing goes here... and nothing else!
     -->
     <artifactId>tool</artifactId>
-        <version>0.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</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.11.1-SNAPSHOT</version>
+    <version>0.15.1-SNAPSHOT</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.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-assignments</artifactId>
-        <version>0.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</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.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-bmcmt</artifactId>
-        <version>0.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</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.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-import</artifactId>
-        <version>0.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</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.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-pp</artifactId>
-        <version>0.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</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.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-types</artifactId>
-        <version>0.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</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.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</version>
     </parent>
 
     <artifactId>tlair</artifactId>
-        <version>0.11.1-SNAPSHOT</version>
+        <version>0.15.1-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tlair</name>