The Overture Tool release 2.4.8
Overture 2.4.8 - Release Notes - 05 June 2017
What's New?
In addition to the usual bug fixes and enhancements, some of the Overture standard examples have been improved and updated to use the pure operation and sequence bind features.
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/33