SuccessChanges

Summary

  1. Some cleanup based on pedantic warnings from the compiler during the (commit: 5b9f590) (details)
  2. Fix pointer comparison in mechanism that delays reclamation in case of (commit: 99f34db) (details)
Commit 5b9f5900d60e00d5ea82e4555fefd22ba435d358 by Victor Bandur
Some cleanup based on pedantic warnings from the compiler during the
ATMega128 exercise.
(commit: 5b9f590)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/PrettyPrint.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/PatternBindMatch.c (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit 99f34db2a83300446a175ddd066e9d0ab30a65c8 by Victor Bandur
Fix pointer comparison in mechanism that delays reclamation in case of
collision with current stack variables.
(commit: 99f34db)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)