SuccessChanges

Summary

  1. Add GC support for 'newSetVarToGrowGC' (commit: bc9c0d8) (details)
Commit bc9c0d863d1d3177528f222b9dd01060612cb8bd by Peter W. V. Tran-Jørgensen
Add GC support for 'newSetVarToGrowGC'
Addresses #87
(commit: bc9c0d8)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CSetCompStrategy.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)