On the 19th of October 2017 service 2.5.3 replaced service 2.5.2 as Default with the following bug fixes:
a verification related fix, i.e. globally declared enums which are not used as event reply type no longer cause a crash in verification. The bug was introduced with service 2.5.0.
a code generation related fix, i.e. C++* only depends on pump when blocking or async are used. This relaxes the boost dependency on 1.58+ for coroutine to any previous version supporting bind, function and tuple.
Additionally a new version of the Dezyne command line client, a.k.a. dzn, is released with a new option, i.e. the --glue for convert. The glue namespace is only added when this option is used.
On the 11th of October 2017 service 2.5.2 replaced service 2.5.1 as Default with a C++ code generation fix for void event in the thread safe shell.
On the 6th of October 2017 service 2.5.1 replaced service 2.5.0 as Default with improved C++ code generation, i.e. thread safe shell supports enum and subint reply types.
The following list summarises the fixes:
The C++ code generator passes ASD construction parameters via glue
The C++ code generator skips retrieving the pump pointer when async is not used
The C++03 code generator now supports thread safe shell, but only if there is enough C++11 support available in the compiler
Important:The c, c#, java, java7, python and scheme code generators are not available in this release; for these languages please use 2.4.1 or earlier
The Dezyne Eclipse plugin/GUI did not change, therefore feel free to use the latest Dezyne Eclipse plugin/GUI.
This version is free for non-commercial use.
If you are interested in a license for commercial evaluation or commercial usage, please contact email@example.com.
New features and improvements
Next to the improvements mentioned above
The ASD converter produces '.map' files for Components with construction parameter information that is used by the glue code generator.
Due to changes in the Dezyne runtime you have to replace the old Dezyne runtime in your projects with the new one.
To switch between 2.5.0/Default and 2.4.1 or earlier in the Dezyne Eclipse plugin/GUI choose Window-Preferences menu item, click on Dezyne, select the 'dzn service version', click Log Out, and click Log In.
Views (i.e. system views, state charts, state and event tables) are not cleared if they can not be updated due to an error in the model or due to missing data
For a complete list of known issues click on the following link: Known issues in Dezyne
Your free copy of Dezyne is waiting for you, and we encourage you to put Dezyne 2.4.x with service 2.5.0 to good use and provide us with all your feedback.
The Verum team.