The Overture Tool version 2.2.4

Overture 2.2.4 Release Notes — 30 March 2015

What's New?

This release contains bugfixes and a few usability improvements.

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.

Other Resources and Links

• Overture Community site
• VDM Tutorials
• VDM Examples
• Wikipedia on VDM
• Overture Developers Wiki on GitHub
• The Old Overture Wiki for developers

Bug fixes

Please note that the interactive list is at https://github.com/overturetool/overture/issues?q=milestone%3Av2.2.4

• #435 Typecheck problem with forward references
• #434 Bug tracker link in Welcome page
• #433 Incorrect type check of "++" operator
• #432 Subset and psubsets should give TC error if the types do not match
• #431 Inherited definitions not visible in the launch configuration view
• #429 JVM version misreported?
• #428 Isagen and CG extensibility improvements
• #425 Improvements to the Java code generator based on feedback from the INTO-CPS project
• #424 The is_expression does not work for function types
• #421 Improving the usability of the Java code generator plugin
• #420 POG not implemented for while loops