[Jenkins]Jenkins

SuccessChanges

Summary

  1. -  Working on emitting global static and constant init and shutdown (details)
  2. [maven-release-plugin] prepare release Release/0.0.14 (details)
  3. [maven-release-plugin] prepare for next development iteration (details)
  4. Generalise AVarDeclIR (details)
  5. Testing that an old error in overriding behaviour no longer appears. (details)
  6. Emitting header files for global static and const init and shutdown (details)
  7. Using correct quotes for header file name in include directive. (details)
  8. Add start statement test (details)
  9. Add start statement template (details)
  10. Formatting in emitted main.c file. (details)
  11. Add VDM2C 0.0.16 release notes (details)
  12. Prepare VDM2C 0.0.16 release (details)
Commit 41d45eb4915d6c91823e6394a19ed8b926de77e4 by Victor Bandur
-  Working on emitting global static and constant init and shutdown
functions. -  Addresses #57.
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 2d066ab82df93c227bc4ca9e300bbc35745734c3 by jenkins
[maven-release-plugin] prepare release Release/0.0.14
Bump ide/ to version 0.0.14
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
Commit 76cc41db3097c0610fe8aa059f0eb13c8a92cbd5 by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.0.15-SNAPSHOT
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/AVarDeclIR.vm (diff)
Commit 51586e6f9b4004dd7191c6f544a6d1f3e7651862 by Victor Bandur
Testing that an old error in overriding behaviour no longer appears.
The file was modifiedcore/vdm2c/src/test/resources/native/classes/ClassStaticFun_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassFun.vdmrt (diff)
Commit 52d61b9ceba618e7b1a7486ae1e35ba8d4ab94a6 by Victor Bandur
Emitting header files for global static and const init and shutdown
functions.
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.
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
Commit 3356dfc124ccad13a53fae6be0e02b1f2b0cca06 by Peter W. V. Tran-Jørgensen
Add start statement test
Related to #60
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/RTConstructs.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/rt/RTConstructs_Tests.cpp (diff)
Commit 810ce6892fc3b4c0d77922609c56497df57325d2 by Peter W. V. Tran-Jørgensen
Add start statement template
Closes #60
The file was addedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/statements/AStartStmIR.vm
Commit 91e974fb2f8b005b5c14fec1821e2a57908e05b5 by Victor Bandur
Formatting in emitted main.c file.
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)