SuccessChanges

Summary

  1. Model code for Collatz example. (details)
  2. List of generated files for FMU export. (details)
  3. [maven-release-plugin] prepare release Release/0.0.12 (details)
  4. [maven-release-plugin] prepare for next development iteration (details)
  5. Removing handling of protected qualifier as it poses problems for (details)
  6. Remove garbage file (details)
  7. Improve extensibility of test classes (details)
  8. Add valgrind configuration to CMakeLists.txt (details)
  9. Add functionality to test memory management (details)
  10. Ignoring protected and static qualifiers only on constructors. (details)
  11. Remove field that is not needed (details)
  12. When method has no parameters, return empty list of parameter types (details)
  13. Add v0.0.14 release notes (details)
  14. Prepare v0.0.14 release (details)
Commit 7ce98a94361e9a354496fb6924c9d48fae533ab4 by Victor Bandur
Model code for Collatz example.
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt (diff)
Commit 37bde33dd888f67bcd95abb371b0e5ff5eb39ffd by Victor Bandur
List of generated files for FMU export.
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 074e6598b0d0dd9ee1fbda023bca150c16f487a9 by jenkins
[maven-release-plugin] prepare release Release/0.0.12
Bump ide/ to version 0.0.12
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
Commit 448a10805e2db0d285b7ac6df9b6f276faa9c211 by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.0.13-SNAPSHOT
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedpom.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/features/cgen/feature.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
Commit f25a409c989b819a57c583d6d99090160f421fe1 by Victor Bandur
Removing handling of protected qualifier as it poses problems for
constructors, and is not immediately useful.
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/AMethodDeclIR.vm (diff)
The file was removedcore/vdm2c/src/test/resources/vdmrt/vdm2c-vdm-tests.launch
Commit 53f872ba7efd1e6bc61a955a5d3d2b4fe8d34255 by Peter W. V. Tran-Jørgensen
Improve extensibility of test classes
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/CMakeUtil.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTestBase.java (diff)
Commit 8402f194ee00a990f38aa4bcbf8290d15156de1e by Peter W. V. Tran-Jørgensen
Add valgrind configuration to CMakeLists.txt
The file was modifiedcore/vdm2c/src/test/resources/CMakeLists.txt (diff)
Commit 0b2a3ef57aaa9045a6d90bd4e36aa085255251b9 by Peter W. V. Tran-Jørgensen
Add functionality to test memory management
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/MemoryManagementTestBase.java
Commit c8c4b06a7378e41607e59303011f69c33104cd83 by Victor Bandur
Ignoring protected and static qualifiers only on constructors.
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/AMethodDeclIR.vm (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/SubclassResponsibility.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
Commit 604643fc8b033a4a968ce02c4237d3e6b05529ce by Victor Bandur
When method has no parameters, return empty list of parameter types
instead of a null value.
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompatibleMethodCollector.java (diff)
The file was addedrelease/ReleaseNotes_0.0.14.md
The file was modifiedoverture.release.properties (diff)