SuccessChanges

Summary

  1. -  Made runtime library code C99-compliant. -  Addresses #91. (commit: de50c4c) (details)
Commit de50c4ce7ed61bf3e0df85b2ba1a38caba3ecb1f by Victor Bandur
-  Made runtime library code C99-compliant. -  Addresses #91.
(commit: de50c4c)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
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/VdmSet.c (diff)