Release 0.0.20
peterwvj
released this
09 Feb 14:39
·
742 commits
to master
since this release
VDM2C 0.0.20 - Release Notes - 09 February 2017
What's New?
This release contains partial support for the CSV library.
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/9