The Verum team is pleased to announce that starting with the 8th of September 2017 Dezyne Release 2.4.0 is available for download.

On the 24th of August 2017 service 2.4.0 replaced service 2.3.4 as Default with improved and extended code generation for C++, C++03 and C# and improved verification.

On the 8th of September 2017 service 2.4.1 replaced service 2.4.0 as Default. The following list summarises the fixes:

  • Dollar expressions can be used at toplevel

  • The C++03 runtime uses a boost compatible workaround for lacking move semantics

  • Using 'reply()' in a function called from a 'blocking' context has been fixed

  • Using --queue-size for verify has been fixed

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.

New features and improvements

This is an indicative list of new features and improvements:

  • Improved and extended code generation for C++, C++03 and C#, for example:

    • C++ code generation: One dzn file now results in one cc and hh file. The previous implementation is exposed via '--deprecated=model2file'.

    • C# code generation: the 'check_bindings' function has been added to the run time.

    • C++ and C++03 runtime: changed 'container' interface in container.hh

    • C++03 code generation: add support for 'blocking' Note: please update your Boost version to 1.58

  • Improved verification

  • Improved model editing

  • Improved model conversion from ASD to Dezyne

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

Solved issues

  • 7327 Cannot read property 'detail' of undefined: output from model checker is correctly handled also when lines are broken in two parts

  • 7326 Fetching versions of dzn command line has encountered a problem: on start-up of Dezyne the check for new versions of the dzn command line happens only when a connection with the Dezyne server is already established

  • 7324 Error markers not removed After successfull validation: model parsing and error display is improved

  • 7323 Unable to verify model specified in a file opened in the editor after renaming the file: file renaming is properly handled in the Dezyne Eclipse plugin

  • 7312 include file insertion at code generation (solved in 2.4.1): use dollar expressions at top level

  • 7310 Parser: Parser errors when keywords used between $s: dollar expressions can contain dzn keywords now

  • 7309 Converter: Parameters of unused notifications not preserved correctly: the parameters in on-clauses for unused notification events are preserved after conversion

  • 7308 Converter: State variable not everywhere renamed if state variable is a reserved keyword: usage of keywords in expression variables is correctly handled

  • 7307 Include files/code in generated files: use dollar expressions at top level

  • 7303 Eclipse 2.3.1 broke linked source directories: project handling in the Eclipse plugin is improved<

  • 7301 Enable the possibility to add Dezyne model files via New-Dezyne Model File also outside of Dezyne Modelling Projects: project handling and model file handling in the Eclipse plugin is improved

  • 7293 Different Eclipse Project folder paths unsupported: project handling in the Eclipse plugin is improved

  • 7237 Improve example retrieval - remove the need to click the Finish button: on double click the example is retrieved, i.e. no need to click the Finish button

  • 7236 Changes in interface are not detected in component editor: scoping within projects in the Eclipse plugin is improved

  • 7225 external type definition within a namespace wrongly reported as error

  • 7219 Issue3: renaming interface event does not change all references to that event: scoping within projects in the Eclipse plugin is improved

  • 7182 File import code completion not fully working in case of subfolder structure: scoping within projects in the Eclipse plugin is improved

  • 7181 Rename element (Alt+Shift+R) not fully working in case of subfolder structure: scoping within projects in the Eclipse plugin is improved

  • 7154 Provide option to repeat the last verification (within a workspace): pressing Shift+F6 repeats the last verify in the workspace. Additionally, one can select and re-execute a previously run model verification within a workspace

  • 7130 Extend the content of the startup screen, a.k.a. the Welcome screen

  • 7009 Including header files for generated code: use dollar expressions at top level

  • 6747 Type declaration after variable declaration causes syntax error: in interface and component behaviour, type declarations can be mixed now with other declarations

Known issues

  • 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 followinglink: Known issues in Dezyne

Your free copy of Dezyne is waiting for you, and we encourage you to put Dezyne 2.4.x to good use and provide us with all your feedback.

Good Dezyning!

The Verum team.