Add VDM2C 0.1.8 release notes

release/ReleaseNotes_0.1.8.md

@@ -0,0 +1,30 @@
+
+# [VDM2C 0.1.8 - Release Notes - 01 July 2017](https://github.com/overturetool/vdm2c/milestone/14)
+
+## What's New?
+
+This release contains numerous bug fixes (see details below).
+
+## 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/14>
+* [#105 closed - Ensure that value semantics for records works](https://github.com/overturetool/vdm2c/issues/105)
+* [#103 closed - Issue with "decrementing for loops"](https://github.com/overturetool/vdm2c/issues/103)
+* [#102 closed - Emit default constructor for records to support ASN1 work](https://github.com/overturetool/vdm2c/issues/102)
+* [#99 closed - Names of omitted classes included in #include directives in main.c file](https://github.com/overturetool/vdm2c/issues/99)
+* [#98 closed - Header file not getting included](https://github.com/overturetool/vdm2c/issues/98)
+* [#97 closed - Nested operation calls not getting extracted](https://github.com/overturetool/vdm2c/issues/97)
+* [#96 closed - Multiple let expressions with identical bound variables](https://github.com/overturetool/vdm2c/issues/96)
+* [#95 closed - Access to incorrect static field generated](https://github.com/overturetool/vdm2c/issues/95)
+* [#94 closed - Field access generated instead of operation call](https://github.com/overturetool/vdm2c/issues/94)
+* [#90 closed - VdmSequence - ASN.1 Sequence](https://github.com/overturetool/vdm2c/issues/90)
+* [#47 closed - Add support for map comprehensions](https://github.com/overturetool/vdm2c/issues/47)