SuccessChanges

Summary

  1. [maven-release-plugin] prepare release Release/0.1.12 (details)
  2. [maven-release-plugin] prepare for next development iteration (details)
  3. Require Overture 2.5.0 (details)
  4. Require Overture 2.5.2 (details)
  5. Add version 0.1.14 release notes (details)
  6. Prepare release of VDM2C 0.1.14 (details)
Commit bdecc491e87277f92c87b3973c56b745d1729340 by jenkins
[maven-release-plugin] prepare release Release/0.1.12
Bump ide/ to version 0.1.12
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedc/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/features/pom.xml (diff)
Commit b272af830c7dec8fe99fd79084dd8f270ad14709 by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.1.13-SNAPSHOT
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
Commit 0809a87eb3bb0afa8d9857431ab1b210aa50d2fb by Peter W. V. Tran-Jørgensen
Require Overture 2.5.0
Closes #112
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
Commit 15db4d1d0eabeb75066b380b655ce219fef76f97 by Peter W. V. Tran-Jørgensen
Require Overture 2.5.2
Closes #113
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedpom.xml (diff)
The file was addedrelease/ReleaseNotes_0.1.14.md
The file was modifiedoverture.release.properties (diff)