Bump version.

parent c547724f
# 2020.XX (unreleased)
# 2020.06
......@@ -57,7 +57,7 @@ API:
possible by major performance improvements in the EquivalenceClass
* 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 +75,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
* 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.06'
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.06";
private OwlVersion() {}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment