SuccessChanges

Summary

  1. Remove unused transformation (commit: 277c107) (details)
  2. Add utility class to generate clone/free calls (commit: 0676030) (details)
  3. Use 'ValueSemantics' class to generate clone calls (commit: 60d8fc0) (details)
  4. Use 'ValueSemantics' class to generate free calls (commit: 42dcc37) (details)
  5. Fix for the ValueSemantics clone method (commit: d1e55a2) (details)
  6. Check that values do not leak memory (commit: 0fbe1aa) (details)
  7. Check that static instance variables do not leak (commit: 900a6d7) (details)
  8. Check that instance variables do not leak memory (commit: 9b76db4) (details)
  9. Memory tests assume that valgrind is installed (commit: 5917e6b) (details)
  10. Fix typo in README (commit: 43fa39e) (details)
  11. Update "Development environment prerequisites" to mention valgrind (commit: 246ac6c) (details)
The file was removedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FreeLocalBlockDeclsTrans.java
Commit 0676030b09f718bbe3a367c4eb076588b20f2bb5 by Peter W. V. Tran-Jørgensen
Add utility class to generate clone/free calls
(commit: 0676030)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ValueSemantics.java
Commit 60d8fc0654115d2c602e4168e723d2031013d64c by Peter W. V. Tran-Jørgensen
Use 'ValueSemantics' class to generate clone calls
(commit: 60d8fc0)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ExtractRetValTrans.java (diff)
Commit 42dcc37a8a8e891892dea9e23da4c1ddbf302e52 by Peter W. V. Tran-Jørgensen
Use 'ValueSemantics' class to generate free calls
(commit: 42dcc37)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ForLoopTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalConstInitFunctionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalStaticInitFunctionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ValueSemantics.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/explicit-memory-management/SimpleCases_Tests.cpp
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/ExplicitMemoryManagementTests.java
The file was addedcore/vdm2c/src/test/resources/vdmrt/explicit-memory-management/SimpleCases.vdmrt
Commit 900a6d7727963565d9698672041fdcc162e8cdba by Peter W. V. Tran-Jørgensen
Check that static instance variables do not leak
(commit: 900a6d7)
The file was modifiedcore/vdm2c/src/test/resources/native/explicit-memory-management/SimpleCases_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/explicit-memory-management/SimpleCases.vdmrt (diff)
Commit 9b76db403aefba625442161a76c32107cc4e0ee2 by Peter W. V. Tran-Jørgensen
Check that instance variables do not leak memory
(commit: 9b76db4)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/explicit-memory-management/SimpleCases.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/explicit-memory-management/SimpleCases_Tests.cpp (diff)
Commit 5917e6bf3dd08b62b6a846128a341559aacf2d44 by Peter W. V. Tran-Jørgensen
Memory tests assume that valgrind is installed
(commit: 5917e6b)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/MemoryManagementTestBase.java (diff)
The file was modifiedreadme.md (diff)
Commit 246ac6c73edd4c134e8e96ceb8186d054dc6ff55 by Peter W. V. Tran-Jørgensen
Update "Development environment prerequisites" to mention valgrind
(commit: 246ac6c)
The file was modifiedreadme.md (diff)