Skip to content

Release 0.1.4

Compare
Choose a tag to compare
@peterwvj peterwvj released this 17 Mar 17:10
· 587 commits to development since this release

VDM2C 0.1.4 - Release Notes - 15 March 2017

What's New?

This release contains fixes that support execution of generated C code on smaller devices.

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/12