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

Commit eb4940af authored by Salomon Sickert-Zehnter's avatar Salomon Sickert-Zehnter

Merge branch 'new-development-cycle' into 'master'

New development cycle

See merge request i7/owl!370
parents c547724f 1daaa0a9
# 2020.XX (unreleased)
# 2020.10 (unreleased)
# 2020.06
......@@ -57,7 +59,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 +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
* 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() {}
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment