SuccessChanges

Summary

  1. -  WIP removing traces of source variable from garbage collector. - (commit: 834fe71) (details)
  2. -  Removed ref_from element of TVP and associated GC machinery. - (commit: b718699) (details)
Commit 834fe71e4efa863eb8903cfc4907c77dad1cbfff by Victor Bandur
-  WIP removing traces of source variable from garbage collector. - 
Addresses #123.
(commit: 834fe71)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSet_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
The file was modifiedc/vdmclib/src/test/GC_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.c (diff)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/VdmProduct.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsNumeric_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
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.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)