As our software is a scientific prototype, our product is not signed which causes a problem due to the security restrictions of MacOS
On Windows: DSE does not execute and throws exception
If you encounter the following exception when running a DSE you might be missing required libraries: java.lang.UnsatisfiedLinkError: [...]\plugins\com.microsoft.z3_2.20.[...]\lib\x64\msvcp120.dll: Can't find dependent libraries Installing the Visual C++ Redistributable Packages for Visual Studio 2013 fixes the problem.
AF3 does not start
Check, that the path to your AF3 (including the AF3 folder itself) does not contain spaces.
If the product does not start because the Java Virtual Machine (JVM) could not be created: Please update your Java installation to Java 11.0.7
Unpacking of AF3 zip file fails with 'Path too long' on Windows
Workaround: Unzip into your drive root, e.g., C:/ and give the folder a short name like 'af3'
Menu icons are not displayed on KDE
Go to "System settings - Application Style - GNOME Application Style".
Select "Show symbols of GTK buttons".
Select "Show symbols in GTK menus".
Detailed list of changes in 2.23:
Support hiddenInNonExpertView also for whole editors (#4300)
Transfer SOA basics/plugin into AF3 plugins for next release version (#4284)
Refactor info window about external references during reuse into a window with a scrollbar (#4265)
Safety Pattern Metamodel (#4242)
Support hiddenInNonExpertView also for context menu contributions (#4305)
Logical Architecture: Enable connections to be optional (#4282)
Variability: Add variability to state automata (#4281)
Variability: Presence Condition is unnecessarily updated, when property section is opened. (#4273)
[FF1 Generator] Avoid hard-coding the rovers' hostnames (#4255)