SuccessChanges

Summary

  1. -  Removed ref_from element of TVP and associated GC machinery. - (commit: b718699) (details)
Commit b718699b79a3a935632d934b4e695c01326162f9 by Victor Bandur
-  Removed ref_from element of TVP and associated GC machinery. - 
Addresses #123.
(commit: b718699)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)