The Overture Tool release 2.3.6
Overture 2.3.6 Release Notes — 22 May 2016
What's New?
The release includes several fixes - see details at:
https://github.com/overturetool/overture/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aclosed+milestone%3Av2.3.6+
Overture now requires Java 8 and it also builds against Eclipse Mars
(newest Eclipse).
The release also includes a prototype version of a VDM-RT-to-C code
generator. The VDM-RT-to-C prototype has been developed by Kenneth
Lausdahl and Victor Bandur.
You can install it via the VDM2C update site: 'Help' menu -> 'Install new software'
and choose 'Overture VDM2C Development'. Also note that this plugin has its own
issue tracker: https://github.com/overturetool/vdm2c/issues
Reporting Problems and Troubleshooting
Please report bugs, problems, and other issues with the tool at https://github.com/overturetool/overture/issues.
If you encounter a problem with the Overture IDE itself, please contact the Overture project and we will try to help. You can contact us at [email protected], or use StackOverflow — we monitor for questions using the vdm, vdm++, or vdmrt tags.
If you encounter a problem with a VDM specification, please try to make a small example that illustrates the problem before you contact us. If you are sure the bug is not already known in the GitHub issues list, you can create a new bug report.