SuccessChanges

Summary

  1. Emitting header files for global static and const init and shutdown (commit: 52d61b9) (details)
  2. Using correct quotes for header file name in include directive. (commit: 060643a) (details)
  3. Formatting in emitted main.c file. (commit: 91e974f) (details)
  4. Add VDM2C 0.0.16 release notes (commit: 36de255) (details)
  5. Prepare VDM2C 0.0.16 release (commit: 7d1d95e) (details)
Commit 52d61b9ceba618e7b1a7486ae1e35ba8d4ab94a6 by Victor Bandur
Emitting header files for global static and const init and shutdown
functions.
(commit: 52d61b9)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 060643a282a479c75aa6ddf3fcd2de0486c2d8d5 by Victor Bandur
Using correct quotes for header file name in include directive.
(commit: 060643a)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 91e974fb2f8b005b5c14fec1821e2a57908e05b5 by Victor Bandur
Formatting in emitted main.c file.
(commit: 91e974f)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was addedrelease/ReleaseNotes_0.0.16.md
The file was modifiedoverture.release.properties (diff)