Changes
Summary
- - Working on emitting global static and constant init and shutdown (details)
- [maven-release-plugin] prepare release Release/0.0.14 (details)
- [maven-release-plugin] prepare for next development iteration (details)
- Generalise AVarDeclIR (details)
- Testing that an old error in overriding behaviour no longer appears. (details)
- Emitting header files for global static and const init and shutdown (details)
- Using correct quotes for header file name in include directive. (details)
- Add start statement test (details)
- Add start statement template (details)
- Formatting in emitted main.c file. (details)
- Add VDM2C 0.0.16 release notes (details)
- Prepare VDM2C 0.0.16 release (details)