The Overture Tool release 2.5.2

Overture v2.5.2 - Release Notes - 11 September 2017

What's New?

This release includes enhancements and bug fixes covering

• performance improvements for the code coverage feature

• fixes for the debugger, and

• increased coverage of constructs that can be code-generated to Java

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

Bugfixes

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

• #640 closed - Imports do not check the "kind" of the matching the export
• #639 closed - Overture is unable to start the debugging engine.
• #638 closed - Add code-generation support for the non-deterministic statement
• #626 closed - Recursion between type with invariant and a value using it gives strange error message
• #596 closed - dinter should give a type error with an empty set