Changes

Summary

1. Further speed and size improvements in GC versions of operations. (commit: 2cdd6e1) (details)
2. -  Memory leak fixes. -  Addresses #108. (commit: 5139781) (details)

Commit 2cdd6e152b23aeaf892ed235c3f5dd658c963293 by Victor Bandur Further speed and size improvements in GC versions of operations. (commit: 2cdd6e1)
	c/vdmclib/src/main/TypedValue.c
	c/vdmclib/src/main/VdmGC.c
	c/vdmclib/src/main/VdmBasicTypes.c
Commit 5139781f21ef81521392a4384a37503b4a9a099b by Victor Bandur -  Memory leak fixes. -  Addresses #108. (commit: 5139781)
	c/vdmclib/src/main/VdmSeq.c
	c/vdmclib/src/main/VdmMap.c