Release 0.2.0

VDM2C 0.2.0 - Release Notes - 14 February 2018

What's New?

This release has extended the number of VDM constructs that can be translated to C. In addition, a number of memory leaks in the runtime have been fixed.

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

• #125 closed - Add newSeqVarToGrowGC to runtime and also emit instead of newSeqVarToGrow
• #124 closed - Emit GC versions of class constructors
• #123 closed - Remove ref_from from
• #122 closed - Investigate memory leak in field initializers
• #120 closed - Remove duplicate GC function bodies
• #119 closed - Loop index issue in "for all" loops
• #118 closed - Assertions in the runtime library for obvious preconditions and proof obligations
• #117 closed - Suppress constructor for system classes
• #108 closed - Align language coverage with Java and VDMTools generators
• #104 closed - Investigate whether numField_ field can be removed
• #100 closed - Ideas for models for the GC paper
• #89 closed - Exercise plan for AlarmPP model
• #73 closed - Generated code to contain the version number of the generator.
• #39 closed - Transformations
• #8 closed - Many VDM test models missing corresponding CPP test files.
• #2 closed - Tasks