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 info@overturetool.org, 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