On the 13th of December 2017 service 2.6.1 replaced service 2.6.0 as Default with the following fixes and improvements:

  • The ASD to Dezyne converter forwards user-defined includes, i.e. user-specified includes in the ASD models are shown in the converted Dezyne model

  • Less warnings when compiling the Dezyne C++ runtime using the Visual Studio compiler

  • Enhanced calling context generation for C++

On the 09th of November 2017 service 2.6.0 replaced service 2.5.3 as Default with the following fixes and improvements:

  • The content of the component queue is displayed in the Watch window during simulation

  • There is a new verification view for displaying the number of states and transitions for each check

Due to changes in the Dezyne runtime you have to replace the old Dezyne runtime in your projects with the new one.

Additionally, a new version of the Dezyne command line client, a.k.a. dzn, is released with the following fixes and improvements:

  • The ‘dzn hello’ command, used to authenticate as Dezyne user, returns with a dedicated exit status 3 in case no server connection could be made

  • The '--queue_size' option (broken since 2.5.0) has been fixed

  • When executing 'dzn verify file.dzn' all components and interfaces defined in file.dzn will be verified.

    • Note: if 'dzn verify' is executed without the '-a' option the verification will stop on the first failure.

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

To switch between dzn service version 2.6.0/Default and 2.4.1 or earlier, choose in the Dezyne Eclipse plugin/GUI the Window-Preferences menu item, click on Dezyne, select the desired 'dzn service version', and click 'Apply' or 'Apply and Close' (if you use a pre 2.6.0 version of the Dezyne Eclipse based GUI/plugin you have to click first on Log Out and then Log In).

On the 29th of November Dezyne Eclipse plugin/GUI 2.6.0 is released with the following fixes/improvements:

  • The use of the registration and authentication mechanism is changed/improved as follows:

    • Users who would like to start using Dezyne but did not register yet as Dezyne user may initiate the registration process from the tool by clicking the 'registration' link in the Preferences dialog window.

    • Users do not have to 'LogOut-LogIn' to (re-)authenticate, it is enough to click on the 'Authenticate' button.

  • The new 'Verify Results' window is available, with display of number of verified states and transitions. (ticket #7104)

    • Note: In case you are using an 'old' workspace please reset the Design and Simulation perspectives so that the 'Verify Results' window is positioned on a new, more intuitive, place.

  • The occasional GUI freeze (which occurs in version 2.4.0) has been fixed. (ticket #7343)

  • When converting/importing ASD models there is a possibility to format the converted code according to the personal editor settings. (ticket #7321)

Next to the improvements mentioned above

  • The text of the DZN files in the regression test matrix can now be downloaded. To see the results of our regression tests and the models used in the respective tests feel free to visit the Results of Dezyne regression tests.

  • On GitHub there is a repository where Dezyne users may, and are invited to, share ideas and examples related to Dezyne. Feel free to visit the Dezyne Community repository and let us know how you use Dezyne.

This version is free for non-commercial use.

If you are interested in a license for commercial evaluation or commercial usage, please contact sales@verum.com.

Known issues

  • Not all old(er) versions of the Dezyne Eclipse GUI/plugin notify you that a new version is available. Please empty the 'dezyne_folder/p2/org.eclipse.equinox.p2.repository/cache' folder and restart Dezyne, or simply download the new version and use it with your (old) workspace.

  • 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.6.x to good use and provide us with all your feedback.

Good Dezyning!

The Verum team.