diff --git a/release/ReleaseNotes_0.0.6.md b/release/ReleaseNotes_0.0.6.md new file mode 100644 index 00000000..48a70d38 --- /dev/null +++ b/release/ReleaseNotes_0.0.6.md @@ -0,0 +1,34 @@ + +# [VDM2C 0.0.6 - Release Notes - 07 October 2016](https://github.com/overturetool/vdm2c/milestones/v0.0.6) + +## What's New? + +More bug fixes to stabilise the code generator. In particular, this release provides better support for field access. + +## 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 +* [#32 closed - Ensure that google tests are generated and run](https://github.com/overturetool/vdm2c/issues/32) +* [#30 closed - Integrate runtime library test into Maven build](https://github.com/overturetool/vdm2c/issues/30) +* [#29 closed - Possible memory leak in `SET_STRUCT_FIELD`](https://github.com/overturetool/vdm2c/issues/29) +* [#27 closed - Value semantics not respected](https://github.com/overturetool/vdm2c/issues/27) +* [#26 closed - Replace SampleMakeFile with CMake file](https://github.com/overturetool/vdm2c/issues/26) +* [#23 closed - usage of the IO library](https://github.com/overturetool/vdm2c/issues/23) +* [#22 closed - SampleMakefile not generated on Linux](https://github.com/overturetool/vdm2c/issues/22) +* [#19 closed - Tighten up code generator logging](https://github.com/overturetool/vdm2c/issues/19) +* [#18 closed - Update Overture version](https://github.com/overturetool/vdm2c/issues/18) +* [#16 closed - Re-organise vdmlib](https://github.com/overturetool/vdm2c/issues/16) +* [#15 closed - Test property is not needed anymore](https://github.com/overturetool/vdm2c/issues/15) +* [#12 closed - Static field field access not implement correctly it default to this](https://github.com/overturetool/vdm2c/issues/12) +* [#9 closed - Command-line interface does not find model files recursively.](https://github.com/overturetool/vdm2c/issues/9) +* [#4 closed - The plugin includes test classes in the vdmlib copied to the generated/c folder](https://github.com/overturetool/vdm2c/issues/4) +* [#1 closed - Resolving calls](https://github.com/overturetool/vdm2c/issues/1)