Release 0.0.18
peterwvj
released this
31 Jan 18:38
·
752 commits
to development
since this release
VDM2C 0.0.18 - Release Notes - 31 January 2017
What's New?
This release contains a number of bug fixes and adds support for several language features used in the INTO-CPS case study models.
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.
Issues closed
Please note that the interactive list is at https://github.com/overturetool/vdm2c/milestone/8