[release] 0.10.0

RELEASE-NOTES.md

@@ -0,0 +1,19 @@
+## 0.10.0
+
+### Features
+
+* integration with Java-like annotations in comments, see #504
+* support for `Assume(...)` in the type checker
+* new command-line option for `typecheck`:
+  - enable inference of polymorphic types: `--infer-poly`
+* updates to ADR002 and the manual
+* support for parallel assignments `<<x', y'>> = <<1, 2>>`, see #531
+* always sorting declarations with topological sort (changes the order of the operator definitions), see #122
+
+### Bugfixes
+
+* Boolean values are now supported in TLC config files, see #512
+* Promoting Desugarer to run as the first preprocessing pass, see #531
+* Proper error on invalid type annotations, the parser is strengthened with Scalacheck, see #332
+* Fixed a parsing bug for strings that contain '-', see #539
+* Typechecking quantifiers over tuples, see #482

UNRELEASED.md

@@ -10,20 +10,3 @@
          * Some bug fix, see #124
 
      DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE -->
-### Features
-
-* integration with Java-like annotations in comments, see #504
-* support for `Assume(...)` in the type checker
-* new command-line option for `typecheck`:
-  - enable inference of polymorphic types: `--infer-poly`
-* updates to ADR002 and the manual
-* support for parallel assignments `<<x', y'>> = <<1, 2>>`, see #531
-* always sorting declarations with topological sort (changes the order of the operator definitions), see #122
-
-### Bugfixes
-
-* Boolean values are now supported in TLC config files, see #512
-* Promoting Desugarer to run as the first preprocessing pass, see #531
-* Proper error on invalid type annotations, the parser is strengthened with Scalacheck, see #332
-* Fixed a parsing bug for strings that contain '-', see #539
-* Typechecking quantifiers over tuples, see #482

mod-distribution/pom.xml

@@ -8,11 +8,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.9.1-SNAPSHOT</version>
+        <version>0.10.0</version>
     </parent>
 
     <artifactId>apalache-pkg</artifactId>
-        <version>0.9.1-SNAPSHOT</version>
+        <version>0.10.0</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.9.1-SNAPSHOT</version>
+        <version>0.10.0</version>
     </parent>
 
     <artifactId>infra</artifactId>
-        <version>0.9.1-SNAPSHOT</version>
+        <version>0.10.0</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.9.1-SNAPSHOT</version>
+        <version>0.10.0</version>
     </parent>
 
     <!--
         All command line tooling and option parsing goes here... and nothing else!
     -->
     <artifactId>tool</artifactId>
-        <version>0.9.1-SNAPSHOT</version>
+        <version>0.10.0</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.9.1-SNAPSHOT</version>
+    <version>0.10.0</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.9.1-SNAPSHOT</version>
+        <version>0.10.0</version>
     </parent>
 
     <artifactId>tla-assignments</artifactId>
-        <version>0.9.1-SNAPSHOT</version>
+        <version>0.10.0</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.9.1-SNAPSHOT</version>
+        <version>0.10.0</version>
     </parent>
 
     <artifactId>tla-bmcmt</artifactId>
-        <version>0.9.1-SNAPSHOT</version>
+        <version>0.10.0</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.9.1-SNAPSHOT</version>
+        <version>0.10.0</version>
     </parent>
 
     <artifactId>tla-import</artifactId>
-        <version>0.9.1-SNAPSHOT</version>
+        <version>0.10.0</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.9.1-SNAPSHOT</version>
+        <version>0.10.0</version>
     </parent>
 
     <artifactId>tla-pp</artifactId>
-        <version>0.9.1-SNAPSHOT</version>
+        <version>0.10.0</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.9.1-SNAPSHOT</version>
+        <version>0.10.0</version>
     </parent>
 
     <artifactId>tla-types</artifactId>
-        <version>0.9.1-SNAPSHOT</version>
+        <version>0.10.0</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.9.1-SNAPSHOT</version>
+        <version>0.10.0</version>
     </parent>
 
     <artifactId>tlair</artifactId>
-        <version>0.9.1-SNAPSHOT</version>
+        <version>0.10.0</version>
     <packaging>jar</packaging>
 
     <name>tlair</name>