The Overture Tool release 2.4.4
Overture 2.4.4 - Release Notes - 02 December 2016
What's New?
This release contains some improvements to the Java code generator, and some fixes to the VDMUtil standard library.
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/milestones/2.4.4
- #607 closed - Easy access to the language manual
- #606 closed - Add limited Java code generation support for multiple inheritance
- #605 closed - Tempo example does not run on Windows
- #602 closed - Copyright notice needs to be updated
- #586 closed - VDMUtil`seq_of_char2val cannot parse record type
- #571 closed - Enable Tempo plotting library feature