The Overture Tool release 2.6.4
Overture 2.6.4 - Release Notes - 29 October 2018
What's New?
This release contains some type-checker fixes and improvements for the user interface.
Note that Overture requires Java 8. If you're using more recent versions of Java (e.g. version 10) you may experience errors when you launch Overture. In particular, Overture, currently builds against Eclipse Oxygen, which is known to have issues related to recent versions of Java. In case you experience issues try to follow the suggestions in the FAQ (see "Q: Why can’t I open Overture using the latest versions of 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 [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/40