SuccessChanges

Summary

  1. Further speed and size improvements in GC versions of operations. (commit: 2cdd6e1) (details)
Commit 2cdd6e152b23aeaf892ed235c3f5dd658c963293 by Victor Bandur
Further speed and size improvements in GC versions of operations.
(commit: 2cdd6e1)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)