Skip to content

Commit e85ba5a

Browse files
mtf90mtf90
committed
LearnLib 0.18.0 release
1 parent a46a925 commit e85ba5a

4 files changed

Lines changed: 28 additions & 8 deletions

File tree

‎_includes/sidebar/learnlib.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,10 @@ <h2 class="widget-title">LearnLib</h2>
1515
</tr>
1616
</thead>
1717
<tbody>
18+
<tr>
19+
<td><span class="badge bg-secondary align-text-top">0.18.0</span> Feb 06, 2025</td>
20+
<td><a href="http://learnlib.github.io/learnlib/maven-site/0.18.0/">API</a></td>
21+
</tr>
1822
<tr>
1923
<td><span class="badge bg-secondary align-text-top">0.17.0</span> Nov 15, 2023</td>
2024
<td><a href="http://learnlib.github.io/learnlib/maven-site/0.17.0/">API</a></td>
@@ -23,10 +27,6 @@ <h2 class="widget-title">LearnLib</h2>
2327
<td><span class="badge bg-secondary align-text-top">0.16.0</span> Oct 12, 2020</td>
2428
<td><a href="http://learnlib.github.io/learnlib/maven-site/0.16.0/">API</a></td>
2529
</tr>
26-
<tr>
27-
<td><span class="badge bg-secondary align-text-top">0.15.0</span> Feb 6, 2020</td>
28-
<td><a href="http://learnlib.github.io/learnlib/maven-site/0.15.0/">API</a></td>
29-
</tr>
3030
</tbody>
3131
</table>
3232
<em>Also take a look at the <a href="{% link pages/version-history.md %}">version history</a> for additional

‎_posts/2025-02-06-learnlib-0-18-0-and-automatalib-0-12-0-release.md‎

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
---
2+
layout: post
3+
title: "LearnLib 0.18.0 and AutomataLib 0.12.0 release"
4+
date: "2025-02-06"
5+
navbar-group: "News"
6+
author: "Markus Frohme"
7+
categories:
8+
- "pages"
9+
- "news"
10+
---
11+
12+
We are happy to announce the release of AutomataLib version 0.12.0 and LearnLib version 0.18.0.
13+
14+
The central theme of this release is *tidying up*. We have moved some classes around to remove split packages in order to support the *Java Platform Module System* (JPMS) and consolidated some of the existing API. This may cause some refactoring, but especially the moving of classes should be easily handled by modern IDEs. Besides refactorings, this release also contains some nuggets. For AutomataLib, non-deterministic systems have received some love with a new Tabakov-Vardi generator as well as a new bisimulation implementation. For LearnLib, the previous `SymbolQueryOracle` has been superseded with the more mature `AdaptiveMembershipOracle` which also supports the processing of query batches. Furthermore, an implementation of the L# active learning algorithm has been added.
15+
16+
See the respective release notes ([AutomataLib](https://github.com/LearnLib/automatalib/releases/tag/automatalib-0.12.0), [LearnLib](https://github.com/LearnLib/learnlib/releases/tag/learnlib-0.18.0)) for an overview of the changes. We are thankful to all contributors who implemented new features or reported issues.
17+
18+
Looking forward, with the release of the next Java LTS version (25) this fall, we plan on bumping AutomataLib & LearnLib with it. This means, for the next release (in about a year), you'll need at least JDK 17, 21, or 25 to build and at least JDK 11 to run AutomataLib & LearnLib. If this causes you any issues, please let us know.

‎index.md‎

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -21,14 +21,14 @@ In order to start using the latest, stable release of LearnLib in your **Maven**
2121
<dependency>
2222
<groupId>de.learnlib.distribution</groupId>
2323
<artifactId>learnlib-distribution</artifactId>
24-
<version>0.17.0</version>
24+
<version>0.18.0</version>
2525
<type>pom</type>
2626
</dependency>
2727
</dependencies>
2828
```
2929

3030
_Note: This dependency will add all components of LearnLib to your project.
31-
If you only need a subset, have a look at the [List of LearnLib Artifacts](https://github.com/LearnLib/learnlib/wiki/List-of-LearnLib-Artifacts) to get an overview of the individual modules available on **[Maven Central](http://mvnrepository.com/artifact/de.learnlib)**._
31+
If you only need a subset, have a look at LearnLib's [modules](https://learnlib.github.io/learnlib/maven-site/latest/apidocs/) which correspond to the individual artifacts available on **[Maven Central](http://mvnrepository.com/artifact/de.learnlib)**._
3232

3333
If you are not using any build management, you can also download the [distribution artifacts](https://central.sonatype.com/search?q=g:de.learnlib.distribution/) of LearnLib, with and without its dependencies.
3434

@@ -52,10 +52,11 @@ LearnLib provides a sophisticated set of active and passive learning algorithms
5252
| ADT | `Mealy` | | RPNI (incl. variants) | `DFA` `Mealy` `Moore` |
5353
| DHC | `Mealy` | | | |
5454
| Kearns & Vazirani | `DFA` `Mealy` | | | |
55+
| Lambda | `DFA` `Mealy` | | | |
56+
| L# | `Mealy` | | | |
5557
| L* (incl. variants) | `DFA` `Mealy` `Moore` | | | |
5658
| NL* | `NFA` | | | |
5759
| Observation Pack | `DFA` `Mealy` `Moore` `VPA` | | | |
58-
| OML | `DFA` `Mealy` | | | |
5960
| Procedural | `SPA` `SBA` `SPMM` | | | |
6061
| TTT | `DFA` `Mealy` `Moore` `VPA` | | | |
6162

‎pages/version-history.md‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,8 @@ via [Maven Central](http://search.maven.org/#search%7Cgav%7C1%7Cg%3A%22de.learnl
1414

1515
| **Version** | AutomataLib version | Source | JavaDoc | Binaries | Date |
1616
|---------------------------------------------------------------------------------|---------------------------------------------------------------------------------------|-------------------------------------------------------------------------------------------------------------------------------------------------------|-----------------------------------------------------------------------|----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|------------|
17-
| **[0.17.0](https://github.com/LearnLib/learnlib/releases/tag/learnlib-0.17.0)** | **[0.11.0](https://github.com/LearnLib/automatalib/releases/tag/automatalib-0.11.0)** | [zip](https://github.com/LearnLib/learnlib/archive/learnlib-0.17.0.zip) [tar.gz](https://github.com/LearnLib/learnlib/archive/learnlib-0.17.0.tar.gz) | [html](http://learnlib.github.io/learnlib/maven-site/0.17.0/apidocs/) | [jar](http://search.maven.org/remotecontent?filepath=de/learnlib/distribution/learnlib-distribution/0.17.0/learnlib-distribution-0.16.0-bundle.jar) [jar (w/ dependencies)](http://search.maven.org/remotecontent?filepath=de/learnlib/distribution/learnlib-distribution/0.17.0/learnlib-distribution-0.16.0-dependencies-bundle.jar) | 2023-11-15 |
17+
| **[0.18.0](https://github.com/LearnLib/learnlib/releases/tag/learnlib-0.18.0)** | **[0.12.0](https://github.com/LearnLib/automatalib/releases/tag/automatalib-0.12.0)** | [zip](https://github.com/LearnLib/learnlib/archive/learnlib-0.18.0.zip) [tar.gz](https://github.com/LearnLib/learnlib/archive/learnlib-0.18.0.tar.gz) | [html](http://learnlib.github.io/learnlib/maven-site/0.18.0/apidocs/) | [jar](http://search.maven.org/remotecontent?filepath=de/learnlib/distribution/learnlib-distribution/0.18.0/learnlib-distribution-0.18.0-bundle.jar) [jar (w/ dependencies)](http://search.maven.org/remotecontent?filepath=de/learnlib/distribution/learnlib-distribution/0.18.0/learnlib-distribution-0.18.0-dependencies-bundle.jar) | 2025-02-06 |
18+
| **[0.17.0](https://github.com/LearnLib/learnlib/releases/tag/learnlib-0.17.0)** | **[0.11.0](https://github.com/LearnLib/automatalib/releases/tag/automatalib-0.11.0)** | [zip](https://github.com/LearnLib/learnlib/archive/learnlib-0.17.0.zip) [tar.gz](https://github.com/LearnLib/learnlib/archive/learnlib-0.17.0.tar.gz) | [html](http://learnlib.github.io/learnlib/maven-site/0.17.0/apidocs/) | [jar](http://search.maven.org/remotecontent?filepath=de/learnlib/distribution/learnlib-distribution/0.17.0/learnlib-distribution-0.17.0-bundle.jar) [jar (w/ dependencies)](http://search.maven.org/remotecontent?filepath=de/learnlib/distribution/learnlib-distribution/0.17.0/learnlib-distribution-0.17.0-dependencies-bundle.jar) | 2023-11-15 |
1819
| **[0.16.0](https://github.com/LearnLib/learnlib/releases/tag/learnlib-0.16.0)** | **[0.10.0](https://github.com/LearnLib/automatalib/releases/tag/automatalib-0.10.0)** | [zip](https://github.com/LearnLib/learnlib/archive/learnlib-0.16.0.zip) [tar.gz](https://github.com/LearnLib/learnlib/archive/learnlib-0.16.0.tar.gz) | [html](http://learnlib.github.io/learnlib/maven-site/0.16.0/apidocs/) | [jar](http://search.maven.org/remotecontent?filepath=de/learnlib/distribution/learnlib-distribution/0.16.0/learnlib-distribution-0.16.0-bundle.jar) [jar (w/ dependencies)](http://search.maven.org/remotecontent?filepath=de/learnlib/distribution/learnlib-distribution/0.16.0/learnlib-distribution-0.16.0-dependencies-bundle.jar) | 2020-10-12 |
1920
| **[0.15.0](https://github.com/LearnLib/learnlib/releases/tag/learnlib-0.15.0)** | **[0.9.0](https://github.com/LearnLib/automatalib/releases/tag/automatalib-0.9.0)** | [zip](https://github.com/LearnLib/learnlib/archive/learnlib-0.15.0.zip) [tar.gz](https://github.com/LearnLib/learnlib/archive/learnlib-0.15.0.tar.gz) | [html](http://learnlib.github.io/learnlib/maven-site/0.15.0/apidocs/) | [jar](http://search.maven.org/remotecontent?filepath=de/learnlib/distribution/learnlib-distribution/0.15.0/learnlib-distribution-0.15.0-bundle.jar) [jar (w/ dependencies)](http://search.maven.org/remotecontent?filepath=de/learnlib/distribution/learnlib-distribution/0.15.0/learnlib-distribution-0.15.0-dependencies-bundle.jar) | 2020-02-06 |
2021
| **[0.14.0](https://github.com/LearnLib/learnlib/releases/tag/learnlib-0.14.0)** | **[0.8.0](https://github.com/LearnLib/automatalib/releases/tag/automatalib-0.8.0)** | [zip](https://github.com/LearnLib/learnlib/archive/learnlib-0.14.0.zip) [tar.gz](https://github.com/LearnLib/learnlib/archive/learnlib-0.14.0.tar.gz) | [html](http://learnlib.github.io/learnlib/maven-site/0.14.0/apidocs/) | [jar](http://search.maven.org/remotecontent?filepath=de/learnlib/distribution/learnlib-distribution/0.14.0/learnlib-distribution-0.14.0-bundle.jar) [jar (w/ dependencies)](http://search.maven.org/remotecontent?filepath=de/learnlib/distribution/learnlib-distribution/0.14.0/learnlib-distribution-0.14.0-dependencies-bundle.jar) | 2019-02-18 |

0 commit comments

Comments
 (0)