Skip to content

Commit

Permalink
Add release notes for v0.0.6
Browse files Browse the repository at this point in the history
  • Loading branch information
peterwvj committed Oct 3, 2016
1 parent 947b3a6 commit 8ca62a1
Showing 1 changed file with 34 additions and 0 deletions.
34 changes: 34 additions & 0 deletions 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 <https://github.com/overturetool/vdm2c/issues>.

## 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 <https://github.com/overturetool/vdm2c/milestones/v0.0.6>
* [#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)

0 comments on commit 8ca62a1

Please sign in to comment.