0.12.0 release #86
mtf90
announced in
Announcements
0.12.0 release
#86
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
We are happy to announce the release of AutomataLib version 0.12.0 🎉
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. Especially non-deterministic systems have received some love with a new Tabakov-Vardi generator as well as a new bisimulation implementation. On the flip side, we have removed some obsolete (i.e., dysfunctional) code.
See the release notes for an overview of the changes. We are thankful to all contributors who implemented new features or reported issues.
Looking forward, with the release of the next Java LTS version (25) this fall, we plan on bumping AutomataLib 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. If this causes you any issues, please let us know.
Beta Was this translation helpful? Give feedback.
All reactions