The Overture Tool release 2.5.0

Overture v2.5.0 - Release Notes - 10 August 2017

What's New?

In addition to the usual bug fixes, this release contains a new "equality and order relations" feature [RM39]. Details about this feature can be found in the Language Reference Manual [VDM-10 Language Manual, Section 3.4 and Section 3.5].

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-sl or vdm++ 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

• RM39
• 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/34

• #634 closed - Record Value cannot be created for Aliased Record Type
• #633 closed - Improve test case generation for the Java code-generator
• #631 closed - Type visibility error not reported
• #630 closed - Tuple comparison problem in the Java code-generator's runtime library
• #629 closed - Launch configuration entry point with parameters problem
• #628 closed - Errors with VDM++ trace example