SuccessChanges

Summary

  1. Rename GET_FIELD_NO_CLONE to GET_FIELD_PTR_BYREF (commit: 440727d) (details)
Commit 440727d3066d218f0eb6af4d966e7f950d47ea02 by Peter W. V. Tran-Jørgensen
Rename GET_FIELD_NO_CLONE to GET_FIELD_PTR_BYREF
Related to issue #54
(commit: 440727d)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CTransUtil.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)