SuccessChanges

Summary

  1. Don't pass addresses of "return" variables to garbage collector (commit: b326837) (details)
Commit b32683760138288dc78a20bdd3860276a58fcb0c by Peter W. V. Tran-Jørgensen
Don't pass addresses of "return" variables to garbage collector
Addresses #87 and #89
(commit: b326837)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/ExtractRetValTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/tags/CTags.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RemoveCWrappersTrans.java (diff)