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 email@example.com.