Changes
Summary
- [maven-release-plugin] prepare release Release/0.0.10 (details)
- [maven-release-plugin] prepare for next development iteration (details)
- Make "if-tests" executable (details)
- Add generic "if-test" (details)
- Add tests that reveal issue with if statements (details)
- Updated README.txt with cmake command for debug. (details)
- Unpack all typed expressions (details)
- Test collection updates (details)
- Low-level map update function, instead of implementing in terms of map (details)
- Test for sequence updates. (details)
- Add support for field and sequence updates (details)
- Rename GET_FIELD_NO_CLONE to GET_FIELD_PTR_BYREF (details)
- Testing in-place sequence update. (details)
- Fix issue with copying of runtime library (details)
- Corrections for CLI argument validation (details)
- Add missing source nodes to class headers (details)
- Represent the generated code using CGP means (details)
- Update CLI to report errors/unsupported constructs (details)
- Translate standard libraries to IR modules (details)
- Translate generated modules to C sources (details)
- Update the VDM2C plugin to output the user's code (details)
- Correct initialisation of mangledNames (details)
- Better user feedback for unsupported constructs (details)
- Output folder field is not needed (details)
- Clean-up CLI (details)
- Simplify CGen (details)
- Move 'copyNativeLibFiles' to core (details)
- Update the VDM2C CLI (details)
- Add v0.0.12 release notes (details)
- Prepare release of VDM2C 0.0.12 (details)