SuccessChanges

Summary

  1. -  Addition of newSeqVarToGrowGC. -  Addresses #125. (commit: 9a04c62) (details)
Commit 9a04c6248a1e7b5149c4949657f63305fd4500c6 by Victor Bandur
-  Addition of newSeqVarToGrowGC. -  Addresses #125.
(commit: 9a04c62)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)