[Jenkins]Jenkins

SuccessChanges

Summary

  1. Update to Overture 2.6.4 and Eclipse Oxygen (commit: 15eb3a2) (details)
Commit 15eb3a278da2a66eb41abdc6759a16030be3b1d0 by Peter W. V. Tran-Jørgensen
Update to Overture 2.6.4 and Eclipse Oxygen
 (commit: 15eb3a2)
The file was modifiedpom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysis.java (diff)