SuccessChanges

Summary

  1. -  Removing variable length arrays to accommodate the Visual C compiler. (details)
  2. [maven-release-plugin] prepare release Release/0.1.10 (details)
  3. [maven-release-plugin] prepare for next development iteration (details)
  4. Build against Overture 2.5.0 (details)
  5. Add VDM2C 0.1.12 release notes (details)
  6. Prepare release of VDM2C 0.1.12 (details)
Commit 996840b893ac8fc1473615139f363193e7c105cb by Victor Bandur
-  Removing variable length arrays to accommodate the Visual C compiler.
-  Addresses #66.
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.c (diff)
Commit b9b67346ee7a6ce026b4faed12f06874b8d0d87b by jenkins
[maven-release-plugin] prepare release Release/0.1.10
Bump ide/ to version 0.1.10
The file was modifiedide/features/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 modifiedc/vdmclib/pom.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/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedpom.xml (diff)
Commit fcf14df5ca95b959647f96bda3c5b5f60e1ca321 by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.1.11-SNAPSHOT
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedcore/vdm2c/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 modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
Commit 78906f402d7bc37db3a672091afa570350f262f2 by Peter W. V. Tran-Jørgensen
Build against Overture 2.5.0
Closes #111
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CTransUtil.java (diff)
The file was modifiedpom.xml (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was addedrelease/ReleaseNotes_0.1.12.md
The file was modifiedoverture.release.properties (diff)