SuccessChanges

Summary

  1. Add GC support for 'elems' (commit: 8f86b40) (details)
  2. Add GC support for 'inds' (commit: 74b0bff) (details)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AElemsUnaryExpIR.vm
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AIndicesUnaryExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)