SuccessChanges

Summary

  1. -  Another segfault bugfix. -  AlarmPP model now can be inspected using (commit: a29ce89) (details)
Commit a29ce893aa117788dd5911fdd96ece1c70f04947 by Victor Bandur
-  Another segfault bugfix. -  AlarmPP model now can be inspected using
valgrind's massif. -  Addresses #89.
(commit: a29ce89)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)