11.08., 9:00 - 11:00: Due to updates GitLab will be unavailable for some minutes between 09:00 and 11:00.

...
 
Commits (3)
# 2020.XX (unreleased)
# 2020.10 (unreleased)
# 2020.06
Modules:
......@@ -57,7 +59,7 @@ API:
possible by major performance improvements in the EquivalenceClass
implementation.
* Addition of the `BooleanOperations` utility class that provides Boolean
* Addition of the `BooleanOperations` utility class providing Boolean
operations (complementation, union, and intersection) on automata.
* Addition of utility classes for determinization of NCW and minimisation
......@@ -75,7 +77,8 @@ Bugfixes:
* Fixed several bugs affecting the LD(G)BA, D(G)RA, and DPA constructions.
The translations based on the LICS'18 Master theorem and its predecessors
have been affected.
have been affected. Thanks to Julian Brunner for reporting one of the
issues.
* Fixed a bug in the `UpwardClosedSet` class: sets that were subsumed by other
sets have not been removed in all circumstances.
......
......@@ -39,7 +39,7 @@ apply plugin: 'application'
apply plugin: 'idea'
project.group = 'de.tum.in'
project.version = '20.XX-development'
project.version = '20.10-development'
project.archivesBaseName = 'owl'
project.mainClassName = 'owl.run.DefaultCli'
......
......@@ -25,7 +25,7 @@ public class OwlVersion {
// Fall-back strings if MANIFEST cannot be accessed correctly.
private static final String MAIN_NAME = "owl";
private static final String VERSION = "20.XX-development";
private static final String VERSION = "20.10-development";
private OwlVersion() {}
......