SuccessChanges

Summary

  1. -  Further improvements to sequence growing mechanisms. -  Addresses (commit: 389434b) (details)
Commit 389434b175d9508a20be9dab1778eacc091fab86 by Victor Bandur
-  Further improvements to sequence growing mechanisms. -  Addresses
#90.
(commit: 389434b)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)