SuccessChanges

Summary

  1. Initial runtime support for creation of GC compatible sequences. (commit: 04f0ea5) (details)
  2. -  Almost complete support for GC-compatible sequences. -  Missing (commit: 1bac239) (details)
Commit 04f0ea5dbe90c087f87565aec4a95da04b0ee67c by Victor Bandur
Initial runtime support for creation of GC compatible sequences.
(commit: 04f0ea5)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
Commit 1bac2398465603ef9b60ad173729a09d014e53ec by Victor Bandur
-  Almost complete support for GC-compatible sequences. -  Missing
set-valued functions until GC support is added for sets.
(commit: 1bac239)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)