The Overture Tool version 2.1.6

Overture 2.1.6 Release Notes — 16 January 2015

What's New?

This release contains the integration of the GUI Builder functionaly into the Overture IDE, the inclusion of the command-line tool into the distribution files, and a small collection of other bugfixes.

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.1.6

• #403 The Overture welcome page needs updating
• #402 Unresolved type parameters in pre-conditions
• #400 Code generation giving bug for the AutomatedStockBrokerPP standard example
• #399 Scoping problem with blocks, instance variables and values
• #398 Integrate guibuilder in IDE
• #384 Build: bundle command-line tool with releases
• #351 Restore vdmjc tool to current build set
• #280 Occasional test hang in the interpreter's ClassesRtClassicTest