The Overture Tool release 2.7.0

Overture 2.7.0 - Release Notes - 03 June 2019

What's New?

This release of Overture includes

• Support for VDM annotations (currently limited to the Overture
  command-line interface)
• Improved type checking of struct import/export (VDM-SL only)
• Improved Java code-generation
  • Limited support for polymorphic types
  • Support for renamed constructs (VDM-SL only)
  • Several bug fixes.

Model annotations are covered in chapter 17 in the Overture User Manual.

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

• #698 closed - Attempt to call non-existing CPU constructor crashes the typechecker
• #697 closed - Update Java code-generation runtime to support VDMUtil`seq_of_char2val
• #694 closed - JODTool update site is not working
• #693 closed - Warning for unused state variable
• #691 closed - Support Java code-generation of polymorphic types (simple cases)
• #690 closed - Support Java code-generation of 'renamed' constructs