Changes
Summary
- - Removed ref_from element of TVP and associated GC machinery. - (commit: b718699) (details)
![]() | c/vdmclib/src/main/TypedValue.h (diff) |
![]() | c/vdmclib/src/main/VdmGC.c (diff) |
![]() | c/vdmclib/src/main/TypedValue.c (diff) |
![]() | c/vdmclib/src/main/TypedValue.h (diff) |
![]() | c/vdmclib/src/main/VdmGC.c (diff) |
![]() | c/vdmclib/src/main/TypedValue.c (diff) |