VDM2C 0.2.2 - Release Notes - 22 November 2018
What's New?
Updated VDM2C to build against Overture 2.6.4/Eclipse Oxygen.
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.