Skip to content
Jenkins
log in
Jenkins
vdm2c
vdm2c-vdmlib
#142
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Polling Log
Git Build Data
Embeddable Build Status
Previous Build
Next Build
Changes
Summary
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
)
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
(diff)
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CTransUtil.java
(diff)
c/vdmclib/src/main/VdmClass.h
(diff)