Dezyne 1.2 available. Enjoy
The Verum team is pleased to announce that starting with the 14th of December 2015 Dezyne Release 1.2 is available for download.
If you are interested in a license for commercial evaluation or commercial usage, please contact email@example.com.
For details about Verum and Dezyne we recommend the following links: The Verum website and The Dezyne Community website.
New features and improvements
Version 1.2.0 is an extension of Release 1.1.0, and comes with the following new features and improvements:
- No “unused variable” warnings for parameter aliases.
- No warnings which suggest parentheses around ‘&&’ within ‘||’.
Eclipse plug-in / Editor
- A Dezyne model file can be opened in the Dezyne Eclipse client without the need to create a Modelling project. (ticket 6901)
Tip: It is also possible to associate the .dzn extension with the Dezyne Eclipse client executable and open a Dezyne model file by a double-click in the file system. (ticket 6955)
- No more “Unable to connect” is shown when displaying state chart for models where states without behaviour are defined. (ticket 6886)
(it seems that) The Dezyne Eclipse client works without any problems on PCs where Bitdefender is installed as antivirus software. (ticket 6800)
- The menu item “Generate code” from the popup menu list that appears when right clicking on a file in the Project Explorer does not grey out anymore. (ticket 6891)
- Projects with links in virtual folders are properly handled. (ticket 6902)
- Select and copy / paste text from table views works with built-in browser also. (ticket 6998)Usage: Press Ctrl+C / Ctrl+V for copy / paste.
- Verification results and failure traces are properly displayed. (ticket 6990)
ASD to Dezyne conversion
- All submachines can be converted. (tickets: 6967, 6968)
- All comments are preserved during conversion. (ticket 6986)
- ASD models with “early” otherwise are correctly converted. (ticket 6985)
The location of last imported model is remembered to ease up next conversion. (ticket 6875)
- ASD models with builtin ASD timer can be converted.
- Large Dezyne models are properly verified (no time-outs and no unexpected failures).
- The main Dezyne functions are start-able in the Dezyne Eclipse client using keyboard shortcuts. (part of ticket 6994)
Usage: Press F6 to start a verification, F7 to start a simulation, F8 to start code generation, and F9 to check correctness of the model
- The (larger) context of where I am currently working in the model is better visible. (ticket 6992)
- The enclosing state of the current scope is shown at the top of the table view.
- The context of the element that has focus in the editor is shown via a breadcrumb at the top of the editor.
Usage: If not activated, click on the “Show Breadcrumb” check-box in Window->Preferences->Dezyne->Language->Editor.
- Same colours are provided for model elements in the table views and in the editor.
- The target state of an event is easier to access. (ticket 6813 and part of ticket 6995)
Usage: Press Ctrl+Click or Click to navigate to the target state while in the table view or in the editor.
- The navigation in the model is improved. (part of ticket 6995)
Usage: Press Ctrl+Click to navigate in the editor (for events, variables, and functions) from reference to definition.
- Better search results are given and the context is clearly shown for “Find references”. (part of ticket 6995)
- Progress is shown during verification. (ticket 6815)
Usage: For now you have to use the Dezyne commandline client to see the results of runed checks.
- Specific elements in the tables are selectable and on a click a jump to the corresponding location in the model occurs. (ticket 6997)
- The Next State is correctly displayed in the views also when there are guards in the Actions column. (ticket 6984)
- Namespaces can be specified in Dezyne models.
- Models in which the blocking keyword is used are parsed correctly.
The Verum team.