UPPAAL Stratego 8 Released

[yrke]

The UPPAAL development team is happy to announce the release of UPPAAL Stratego 8 (uppaal-4.1.20-stratego-8).
This release contains more that two years of work on improving the stability of UPPAL stratego and includes a full overhaul of several components.

We now provide Windows 64-bit and MacOS release for UPPAAL stratego, including an APP Bundle release for MacOS (.app).
The release also includes an brand new experimental concrete simulator with the ability to plot Trajectory directly from the simulator and the support for improved look & feels, including an experimental dark mode.

The latest version of UPPAAL stratego can be downloaded from: https://uppaal.org/downloads/

You can see the full changelog at: Stratego Changelog

Please feel free to provide any feedback on this announcement, using the issue tracker or by sending an email to [email protected]