From 256e46e5853f8fce835629afc489fd899605152d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Peter=20W=2E=20V=2E=20Tran-J=C3=B8rgensen?= Date: Tue, 15 Nov 2016 14:59:03 +0100 Subject: [PATCH] Add v0.0.10 release notes --- release/ReleaseNotes_0.0.10.md | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 release/ReleaseNotes_0.0.10.md diff --git a/release/ReleaseNotes_0.0.10.md b/release/ReleaseNotes_0.0.10.md new file mode 100644 index 00000000..004bb466 --- /dev/null +++ b/release/ReleaseNotes_0.0.10.md @@ -0,0 +1,30 @@ + +# [VDM2C 0.0.10 - Release Notes - 15 November 2016](https://github.com/overturetool/vdm2c/milestones/v0.0.10) + +## What's New? + +In addition to a number of bug fixes, this release expands the coverage of VDM constructs supported by the code generator. In particular, this release adds better support for records and collections. + +## Reporting Problems and Troubleshooting + +Please report bugs, problems, and other issues with VDM2C at . + +## Other Resources and Links + +VDM2C is documented in the [Overture tool's user manual](http://overturetool.org/documentation/manuals.html). + + +## Issues closed + +Please note that the interactive list is at +* [#51 closed - Missing cast in CLASS_CAST resulted in corrupt this pointer on ATMega1284p](https://github.com/overturetool/vdm2c/issues/51) +* [#48 closed - Set equality check does not work](https://github.com/overturetool/vdm2c/issues/48) +* [#47 closed - Add support for map comprehensions](https://github.com/overturetool/vdm2c/issues/47) +* [#42 closed - Set comprehensions don't work](https://github.com/overturetool/vdm2c/issues/42) +* [#40 closed - Sequence comprehensions](https://github.com/overturetool/vdm2c/issues/40) +* [#35 closed - Update test ClassValue after issue #34 is resolved.](https://github.com/overturetool/vdm2c/issues/35) +* [#34 closed - Initialization functions for values are not being called in class constructor](https://github.com/overturetool/vdm2c/issues/34) +* [#33 closed - Complete support for records](https://github.com/overturetool/vdm2c/issues/33) +* [#28 closed - Add supports for records](https://github.com/overturetool/vdm2c/issues/28) +* [#24 closed - Map support is incomplete](https://github.com/overturetool/vdm2c/issues/24) +* [#3 closed - Let Expressions](https://github.com/overturetool/vdm2c/issues/3)