[release] 0.10.1 (#594)

* [release] 0.10.1

* Bump version to 0.10.2-SNAPSHOT

Co-authored-by: shonfeder <github@actions.ci>

CHANGES.md

@@ -2,6 +2,24 @@
      This file is generated. Do not write release notes here.
      Notes for unreleased changes go in ./UNRELEASED.md -->
 
+## 0.10.1
+
+### Features
+
+* Support for `FunAsSeq` conversion in the type checker, see #223
+* The parser outputs annotations, see #502
+
+### Documentation
+
+* HOWTO on writing type annotations, see #571
+
+### Bug fixes
+
+* Fixed name collisions on LOCAL operators and LOCAL INSTANCE, see #576
+* Parser: a higher-order operator calling a higher-order operator, see #575
+* Type checker: support for recursive functions of multiple arguments, see #582
+* Type checker: support for tuple unpacking in recursive functions, see #583
+
 ## 0.10.0
 
 ### Features

UNRELEASED.md

@@ -10,18 +10,3 @@
          * Some bug fix, see #124
 
      DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE -->
-### Features
-
-* Support for `FunAsSeq` conversion in the type checker, see #223
-* The parser outputs annotations, see #502
-
-### Documentation
-
-* HOWTO on writing type annotations, see #571
-
-### Bug fixes
-
-* Fixed name collisions on LOCAL operators and LOCAL INSTANCE, see #576
-* Parser: a higher-order operator calling a higher-order operator, see #575
-* Type checker: support for recursive functions of multiple arguments, see #582
-* Type checker: support for tuple unpacking in recursive functions, see #583

mod-distribution/pom.xml

@@ -8,11 +8,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     </parent>
 
     <artifactId>apalache-pkg</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     <packaging>pom</packaging>
 
     <name>apalache-pkg</name>

mod-infra/pom.xml

@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     </parent>
 
     <artifactId>infra</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>infra</name>

mod-tool/pom.xml

@@ -4,14 +4,14 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     </parent>
 
     <!--
         All command line tooling and option parsing goes here... and nothing else!
     -->
     <artifactId>tool</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tool</name>

pom.xml

@@ -4,7 +4,7 @@
     <groupId>at.forsyte.apalache</groupId>
     <artifactId>apalache</artifactId>
     <packaging>pom</packaging>
-    <version>0.10.1-SNAPSHOT</version>
+    <version>0.10.2-SNAPSHOT</version>
 
     <name>APALACHE project</name>
     <url>https://github.com/informalsystems/apalache</url>

tla-assignments/pom.xml

@@ -3,11 +3,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-assignments</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tla-assignments</name>

tla-bmcmt/pom.xml

@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-bmcmt</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tla-bmcmt</name>

tla-import/pom.xml

@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-import</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tla-import</name>

tla-pp/pom.xml

@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-pp</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tla-pp</name>

tla-types/pom.xml

@@ -3,11 +3,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-types</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tla-types</name>

tlair/pom.xml

@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     </parent>
 
     <artifactId>tlair</artifactId>
-        <version>0.10.1-SNAPSHOT</version>
+        <version>0.10.2-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tlair</name>