Release 0.1.6
·
434 commits
to development
since this release
VDM2C 0.1.6 - Release Notes - 01 May 2017
What's New?
This release of VDM2C offers the following:
- A number of bug fixes affecting both the generator and the runtime library.
- Garbage collection support for collections.
- Generation of C89 compliant code.
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/13
- #93 closed - Make exported code C89 compliant
- #92 closed - Investigate Maven test hanging when compilation of test code fails
- #91 closed - Make exported code C99 compliant
- #88 closed - Finalise pretty-printer function
- #87 closed - Alarm example GC support
- #86 closed - Test system issue
- #85 closed - Add GC support for sequences
- #84 closed - Improve filtering of VDM input files
- #83 closed - Field initialisers must receive "this" as an argument
- #82 closed - Support 'forall' and 'exists'
- #81 closed - Name mangling is missing for tokens
- #80 closed - Add support for tokens
- #79 closed - Better reporting of unsupported constructs
- #78 closed - Functions types crash VDM2C
- #77 closed - ID information for record types
- #76 closed - Range information for quote types
- #37 closed - Factor out value and static shutdown functions