Bump version.

Author: sickert

CHANGELOG.md

@@ -1,21 +1,28 @@
-# 2021.?? (unreleased)
+# 21.0
 
-* Restructure modules into subcommands for the commandline interface and
-  add migrate to PicoCli.
+Major Changes:
 
-Modules:
-
-* Add the LICS'20 DRA construction that is based on the normalisation
-  of LTL.
+* New and improved command-line interface that is based on self-contained
+  subcommands. Further, each subcommand explicitly lists relevant publications
+  that can be accessed via the 'bibliography' subcommand. Thanks to Alexandre
+  Duret-Lutz, Klara Meyer, Anton Pirogov and Tobias Meggendorfer for testing
+  this new interface.
 
-* Add a translation of the Emerson-Lei acceptance condition to the
-  parity acceptance condition based on Zielonka split-trees
-  (Alternating Cycle Decomposition)
+* Owl (as a CLI-tool) is now precompiled into native binaries (for Linux and
+  macOS). Hence it is not required to install a matching JVM. Further, the
+  start-up time is now considerably reduced which lead to the removal of the
+  server mode. Owl can be still run on a JVM, but this is discouraged.
 
-* Add a translation from LTL-to-DELW based on the LICS'20 normalisation
-  procedure.
+* Owl includes an implementation of the Alternating Cycle Decomposition for the
+  translation into parity automata. See 'owl aut2parity --help' for more
+  information. This supersedes the existing IAR-implementation which is
+  scheduled to be removed in the next release.
 
-* Add a customised LTL-to-DPA translation based Zielonka split-trees.
+* Add the LTL-to-DRW translation of [SE20] and a new LTL-to-DELW translation
+  based also based on the [SE20] normalisation procedure. Further, a customised
+  LTL-to-DPA translation based on Zielonka split-trees. These constructions will
+  be described in forthcoming publication. To lookup [SE20] use
+  'owl bibliography SE20'.
 
 API:
 
@@ -28,7 +35,7 @@ API:
   and remove abstract super class. All types of OmegaAcceptance now
   extend EmersonLeiAcceptance.
 
-* Disentangle `Colours`-related API from `Edge` datatype.
+* Disentangle `BitSet`-API from `Edge` datatype.
 
 Bugfixes:
 
@@ -49,6 +56,10 @@ Bugfixes:
   BooleanOperations#deterministicComplement. Thanks to Frederik Schmitt
   for reporting the issue.
 
+* Several performance and correctness improvements to the [SE20] normalisation
+  procedure. Thanks to Rubén Rafael Rubio Cuéllar for testing the implementation
+  and reporting issues.
+
 # 2020.06
 
 Modules:

build.gradle

@@ -37,7 +37,7 @@ apply plugin: 'pmd'
 apply plugin: 'idea'
 
 project.group = 'de.tum.in'
-project.version = '21.??-development'
+project.version = '21.0'
 
 project.archivesBaseName = 'owl'
 project.mainClassName = 'owl.command.OwlCommand'

src/main/java/owl/util/OwlVersion.java

@@ -26,7 +26,7 @@ public final class OwlVersion implements CommandLine.IVersionProvider {
 
   // Fall-back strings if MANIFEST cannot be accessed correctly.
   private static final String NAME = "owl";
-  private static final String VERSION = "21.??-development";
+  private static final String VERSION = "21.0";
 
   private OwlVersion() {}