SuccessChanges

Summary

  1. WIP GC support for maps in runtime library. (commit: 392cfbe) (details)
  2. WIP GC support for maps. -  GC interface for implemented. -  vdmFree (commit: 37f476f) (details)
  3. WIP GC support for maps. -  vdmClone implemented. (commit: 923dbf3) (details)
  4. Initial complete GC support for maps for non-GLib hash table branch. (commit: 84167d6) (details)
  5. WIP GC support for maps with GLib hash table implementation. (commit: 3cbb880) (details)
  6. GC support for newMapVarToGrow. (commit: 4b58c73) (details)
Commit 392cfbe188874891a82f4ad1c5c2b7fee6ee613e by Victor Bandur
WIP GC support for maps in runtime library.
(commit: 392cfbe)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit 37f476f74809d00f2fe639aaabbb9c9772f0297f by Victor Bandur
WIP GC support for maps. -  GC interface for implemented. -  vdmFree
implemented -  vdmClone not yet implemented
(commit: 37f476f)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
Commit 923dbf35a8c065ea78885664912ea8e7747a0dfe by Victor Bandur
WIP GC support for maps. -  vdmClone implemented.
(commit: 923dbf3)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsMap_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit 84167d624a3ce694bbca941f3fe037de37a24b9b by Victor Bandur
Initial complete GC support for maps for non-GLib hash table branch.
(commit: 84167d6)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
Commit 3cbb880f8d4c7e95411760d4a66bb5e63a16599c by Victor Bandur
WIP GC support for maps with GLib hash table implementation.
(commit: 3cbb880)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit 4b58c73ad00d11d476c275e58145dc3b32aacf7f by Victor Bandur
GC support for newMapVarToGrow.
(commit: 4b58c73)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)