SuccessChanges

Summary

  1. -  GC support for newSetVarToGrow. -  Addresses #87. (commit: df6fb64) (details)
Commit df6fb646c766e4ab84a4b527d3fc527c4fb50bf1 by Victor Bandur
-  GC support for newSetVarToGrow. -  Addresses #87.
(commit: df6fb64)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.h (diff)