SuccessChanges

Summary

  1. Updated README.txt with cmake command for debug. (commit: 5e6d1f4) (details)
  2. Test collection updates (commit: 43738e9) (details)
  3. Low-level map update function, instead of implementing in terms of map (commit: 7438daa) (details)
  4. Add support for field and sequence updates (commit: 207bec1) (details)
Commit 5e6d1f4e775040dbd78e67b636ec0332dc792b7c by Victor Bandur
Updated README.txt with cmake command for debug.
(commit: 5e6d1f4)
The file was modifiedc/vdmclib/src/main/README.txt (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassCollectionUpdate_Tests.cpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassCollectionUpdate.vdmrt
Commit 7438daa1a2db175d471b15d836a11072c4c1ab5a by Victor Bandur
Low-level map update function, instead of implementing in terms of map
override.
(commit: 7438daa)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CTransUtil.java (diff)