Release 0.1.14
·
320 commits
to development
since this release
VDM2C 0.1.14 - Release Notes - 18 September 2017
What's New?
Update VDM2C to build against Overture 2.5.2.
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/17