Release 0.1.12
·
326 commits
to development
since this release
VDM2C 0.1.12 - Release Notes - 11 September 2017
What's New?
VDM2C now generates code that is compliant with the Visual C compiler.
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/16