SuccessChanges

Summary

  1. Don't emit SET_FIELD_PTR_GC (it's not needed) (commit: 92ad6f7) (details)
  2. Don't emit SET_FIELD_GC (it's not needed) (commit: 622518c) (details)
Commit 92ad6f75fc1cb222864b7c02be4f8453d463b4dd by Peter W. V. Tran-Jørgensen
Don't emit SET_FIELD_PTR_GC (it's not needed)
(commit: 92ad6f7)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 622518c0d7681ec135629bad72af7c30167a3512 by Peter W. V. Tran-Jørgensen
Don't emit SET_FIELD_GC (it's not needed)
Addresses #89
(commit: 622518c)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)