SuccessChanges

Summary

  1. -  Improvement to GC stack variable interference detection mechanism. - (commit: ff98aad) (details)
Commit ff98aadad10191b76d0e538f49fcad1308ac0402 by Victor Bandur
-  Improvement to GC stack variable interference detection mechanism. - 
Addresses #87.
(commit: ff98aad)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)