SuccessChanges

Summary

  1. Add runtime support for sequence modifications (explicit version) (commit: eca88dd) (details)
  2. Allowing maps when sequences are used due to sequence modification. (commit: 9f71149) (details)
  3. -  Formatting. -  Addresses #107. (commit: 1a60b49) (details)
  4. -  Garbage collection version of sequence modification. -  Addresses (commit: 54bd388) (details)
  5. Update the generator to support sequence modifications (commit: e1fb95e) (details)
Commit eca88dd830127e62838b520749b49ecb398b0da4 by Peter W. V. Tran-Jørgensen
Add runtime support for sequence modifications (explicit version)
Addresses issue #107
(commit: eca88dd)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
Commit 9f711494d4556963c17d75351a77ad1164c07ce2 by Victor Bandur
Allowing maps when sequences are used due to sequence modification.
(commit: 9f71149)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.h (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit 1a60b493ae8ab605c9c1fb18f3f03064591e843b by Victor Bandur
-  Formatting. -  Addresses #107.
(commit: 1a60b49)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
Commit 54bd388cae15b1cd268a91854acaac85a4178cb4 by Victor Bandur
-  Garbage collection version of sequence modification. -  Addresses
#107.
(commit: 54bd388)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
Commit e1fb95e124b8b5fd004a380494233e8ca22fd1b2 by Peter W. V. Tran-Jørgensen
Update the generator to support sequence modifications
Closes #107
(commit: e1fb95e)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/MethodNameMap.h (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/seq/ExpressionsSeq_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionSeq.vdmrt (diff)