Skip to content

Commit

Permalink
Add version 0.1.10 release notes
Browse files Browse the repository at this point in the history
  • Loading branch information
peterwvj committed Aug 10, 2017
1 parent e6209c2 commit ea8945a
Showing 1 changed file with 21 additions and 0 deletions.
21 changes: 21 additions & 0 deletions release/ReleaseNotes_0.1.10.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@

# [VDM2C 0.1.10 - Release Notes - 10 August 2017](https://github.com/overturetool/vdm2c/milestone/15)

## What's New?

This release extends the coverage of supported collection operations and improves the runtime implementation of sequences and maps.

## 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/milestone/15>
* [#107 closed - Add the '++' operator for the VdmMap constructs](https://github.com/overturetool/vdm2c/issues/107)
* [#106 closed - Sequence grow mechanism needs to be fixed](https://github.com/overturetool/vdm2c/issues/106)

0 comments on commit ea8945a

Please sign in to comment.