The Overture Tool release 2.6.2

Overture 2.6.2 - Release Notes - 18 May 2018

What's New?

This release contains fixes for the type-checker, interpreter and Java/JML code-generator. In addition, the Overture command-line interface (CLI) now supports the "-version" argument (which is helpful if the CLI is invoked from a build-job). A more elaborate list of issues addressed since the last release can be found below.

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 info@overturetool.org, 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-10 Language Manual
• VDM Tutorials
• VDM Examples
• Wikipedia on VDM
• Overture Developers Wiki on GitHub
• The Old Overture Wiki for developers

Bugfixes

Please note that the interactive list is at https://github.com/overturetool/overture/milestone/38

• #665 closed - The Class/function selection in launch configurations is not sorted making it difficult to find a class
• #681 closed - Type of record pattern not resolved
• #676 closed - The Java bridge can't always resolve imported VDM-SL types
• #672 closed - Support Java code-generation of setUp and tearDown
• #679 closed - Support Java code-generation of VDMUtil`set2seq
• #678 closed - Function values with polymorphic type parameters are not correctly instantiated
• #673 closed - Add "-version" argument to the Overture command-line interface
• #669 closed - let expression interprets tail of a seq1 as a seq1
• #666 closed - Is not yet specified does not work with overloads