From 5641b40b278e8fd47a63765bb2dc67b3272cf5f5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Peter=20W=2E=20V=2E=20Tran-J=C3=B8rgensen?= Date: Fri, 2 Dec 2016 11:32:29 +0100 Subject: [PATCH] Add version 2.4.4 release notes --- .../releasenotes/ReleaseNotes_2.4.4.md | 39 +++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 documentation/releasenotes/ReleaseNotes_2.4.4.md diff --git a/documentation/releasenotes/ReleaseNotes_2.4.4.md b/documentation/releasenotes/ReleaseNotes_2.4.4.md new file mode 100644 index 0000000000..b464b27f4d --- /dev/null +++ b/documentation/releasenotes/ReleaseNotes_2.4.4.md @@ -0,0 +1,39 @@ + +# [Overture 2.4.4 - Release Notes - 02 December 2016](https://github.com/overturetool/overture/milestones/2.4.4) + + + +## 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 . + +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](http://stackoverflow.com/questions/tagged/vdm%2b%2b) — 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](http://www.overturetool.org) +* [VDM-10 Language Manual](http://raw.github.com/overturetool/documentation/master/documentation/VDM10LangMan/VDM10_lang_man.pdf) +* [VDM Tutorials](http://overturetool.org/documentation/tutorials.html) +* [VDM Examples](http://overturetool.org/download/examples/) +* [Wikipedia on VDM](http://en.wikipedia.org/wiki/Vienna_Development_Method) +* [Overture Developers Wiki on GitHub](https://github.com/overturetool/overture/wiki/) +* [The Old Overture Wiki for developers](http://wiki.overturetool.org) + + +## Bugfixes + +Please note that the interactive list is at +* [#607 closed - Easy access to the language manual](https://github.com/overturetool/overture/issues/607) +* [#606 closed - Add limited Java code generation support for multiple inheritance](https://github.com/overturetool/overture/issues/606) +* [#605 closed - Tempo example does not run on Windows](https://github.com/overturetool/overture/issues/605) +* [#602 closed - Copyright notice needs to be updated](https://github.com/overturetool/overture/issues/602) +* [#586 closed - VDMUtil`seq_of_char2val cannot parse record type](https://github.com/overturetool/overture/issues/586) +* [#571 closed - Enable Tempo plotting library feature](https://github.com/overturetool/overture/issues/571)