Releases: overturetool/vdm2c
Release 0.1.0
VDM2C 0.1.0 - Release Notes - 03 March 2017
What's New?
This release of VDM2C changes the way memory is managed in the generated code.
Most notably, the VDM2C runtime library has been extended with support for garbage collection. In the generated code values are now constructed using special C functions such as newIntCG or newBoolCG that enable automatic allocation and deallocation of heap memory. When a value is constructed in this way, it does not need to be explicitly freed in the usual way using vdmFree. For now the garbage collection strategy replaces the old approach to memory management.
Note that the garbage collector must be initialised/shutdown before/after the generated code is executed:
int main()
{
vdm_gc_init();
/* Your code */
vdm_gc_shutdown();
return 0;
}
To free memory, the garbage collection routine must be explicitly invoked by the user using vdm_gc. Therefore, make sure you invoke this function whenever appropriate.
In terms of VDM feature coverage, VDM2C has been extended with partial support for the CSV library. The CSV library now implements functionality to get a CSV file line count and to read numeric values. The CSV library can be used both in source code FMUs, where the CSV files are read from the FMU "resources" directory, or in non-FMU scenarios, where absolute or relative file paths can be used.
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/10
- #72 closed - Reduce the size of the runtime library
- #71 closed - Naive identification of default super constructor
- #70 closed - CSV library to read file from "resources" directory
- #68 closed - Update VDM2C to use garbage collection
- #64 closed - Simplify Continuous Integration
- #61 closed - Case study models for compilation regression testing
- #6 closed - Create new release to support Overture FMU export
Release 0.0.20
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
Release 0.0.18
VDM2C 0.0.18 - Release Notes - 31 January 2017
What's New?
This release contains a number of bug fixes and adds support for several language features used in the INTO-CPS case study models.
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/8
Release 0.0.16
VDM2C 0.0.16 - Release Notes - 02 December 2016
What's New?
This release contains additional enhancements and fixes that are needed by the Functional Mock-up (FMU) exporter.
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/milestones/v0.0.16
Release 0.0.14
VDM2C 0.0.14 - Release Notes - 30 November 2016
What's New?
This release contains fixes and improvements that support the Functional Mock-up Unit (FMU) exporter.
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/milestones/v0.0.14
Release 0.0.12
VDM2C 0.0.12 - Release Notes - 22 November 2016
What's New?
This release contains several fixes for both the VDM2C command-line interface and the Eclipse plugin.
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/milestones/v0.0.12
- #54 closed - vdm map update support in transformation
- #49 closed - Function calls inside if expression
- #41 closed - Poor user feedback when trying to code generate unsupported constructs
- #38 closed - native lib is not copied/installed when generating code
- #31 closed - Copy native lib from both CLI and IDE
- #17 closed - Expand VDM2C command-line
Release 0.0.10
VDM2C 0.0.10 - Release Notes - 15 November 2016
What's New?
In addition to a number of bug fixes, this release expands the coverage of VDM constructs supported by the code generator. In particular, this release adds better support for records and collections.
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/milestones/v0.0.10
- #51 closed - Missing cast in CLASS_CAST resulted in corrupt this pointer on ATMega1284p
- #48 closed - Set equality check does not work
- #47 closed - Add support for map comprehensions
- #42 closed - Set comprehensions don't work
- #40 closed - Sequence comprehensions
- #35 closed - Update test ClassValue after issue #34 is resolved.
- #34 closed - Initialization functions for values are not being called in class constructor
- #33 closed - Complete support for records
- #28 closed - Add supports for records
- #24 closed - Map support is incomplete
- #3 closed - Let Expressions
Release 0.0.8
VDM2C 0.0.8 - Release Notes - 7 October 2016
What's New?
Added support for the time expression for embedded platforms. Also, some fixes to the name mangler.
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/milestones/v0.0.8
Release 0.0.6
VDM2C 0.0.6 - Release Notes - 07 October 2016
What's New?
More bug fixes to stabilise the code generator. In particular, this release provides better support for field access.
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/milestones/v0.0.6
- #32 closed - Ensure that google tests are generated and run
- #30 closed - Integrate runtime library test into Maven build
- #29 closed - Possible memory leak in
SET_STRUCT_FIELD - #27 closed - Value semantics not respected
- #26 closed - Replace SampleMakeFile with CMake file
- #23 closed - usage of the IO library
- #22 closed - SampleMakefile not generated on Linux
- #19 closed - Tighten up code generator logging
- #18 closed - Update Overture version
- #16 closed - Re-organise vdmlib
- #15 closed - Test property is not needed anymore
- #12 closed - Static field field access not implement correctly it default to this
- #9 closed - Command-line interface does not find model files recursively.
- #4 closed - The plugin includes test classes in the vdmlib copied to the generated/c folder
- #1 closed - Resolving calls
Release 0.0.4
VDM2C 0.0.4 - Release Notes
What's New?
This release includes fixes for some of the issues with the first prototype version of VDM2C.
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/milestones/v0.0.4