The Overture Tool release 2.6.0

Overture 2.6.0 - Release Notes - 16 February 2018

What's New?

This release of Overture, version 2.6.0, contains the implementation of RM (Request for Modification) 42, which proposes to generalise the 'measure' clause. See the Overture LRM (Language Reference Manual) for details about this new feature. In addition to the implementation of RM 42, the 2.6.0 release also contain some type-checker fixes and improved Java code-generation.

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

• #663 closed - Overture 2.6.0 displays error-occurred dialog
• #662 closed - Type-checker allows modules to directly access state of other modules
• #661 closed - Sequence Enumeration
• #659 closed - Overture Codegen does not re-generate as expected
• #658 closed - Type checker fails to identify invalid type