[Jenkins]Jenkins

SuccessChanges

Summary

  1. Add VDM2C version number to generated code (commit: 46c077b) (details)
  2. Add VDM2C version 0.1.0 release notes (commit: d33f354) (details)
  3. Prepare release of VDM2C 0.1.0 (commit: c91fa6d) (details)
Commit 46c077b5d4b5ff3d77066863346a10e1b63f5300 by Peter W. V. Tran-Jørgensen
Add VDM2C version number to generated code
Addresses #73
 (commit: 46c077b)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java (diff)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff)
The file was addedcore/vdm2c/src/main/resources/version.prop
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/ADefaultClassDeclIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassHeaderDeclIR.vm (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was addedrelease/ReleaseNotes_0.1.0.md
The file was modifiedoverture.release.properties (diff)