Skip to content

Commit

Permalink
Add v0.0.10 release notes
Browse files Browse the repository at this point in the history
  • Loading branch information
peterwvj committed Nov 15, 2016
1 parent ad34906 commit 256e46e
Showing 1 changed file with 30 additions and 0 deletions.
30 changes: 30 additions & 0 deletions release/ReleaseNotes_0.0.10.md
Original file line number Diff line number Diff line change
@@ -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 <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.10>
* [#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)

0 comments on commit 256e46e

Please sign in to comment.