[Jenkins]Jenkins

SuccessChanges

Summary

  1. Fix assignments to static fields #122 (commit: 933eec4) (details)
  2. Emit newSeqVarToGrowGC (commit: a9e7faa) (details)
  3. -  Fixed problem with vdmSeqGrow and values passed under GC control. - (commit: 1f81188) (details)
  4. Fix for problem with vdmSetGrow when under GC control. (commit: bb53d1a) (details)
  5. Fixed memory leak in vdmSeqInds. (commit: e880319) (details)
  6. Fixed memory leak in records. (commit: 3723075) (details)
  7. Fixed memory leak with records. (commit: 4a5c840) (details)
  8. -  Runtime support for vvdmSetEnumerateSetOfIntsGC. -  Addresses #126. (commit: 837a464) (details)
  9. Add generator support for `vdmSetEnumerateSetOfIntsGC` (commit: ebda231) (details)
  10. -  Committing omitted header file. -  Addresses #126. (commit: b81cce8) (details)
  11. Uninitialized variable warnings in maps, runtime. (commit: bda3b92) (details)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/tags/CTags.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CSeqCompStrategy.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit 1f8118886a46a045201b31354af6501353718c7a by Victor Bandur
-  Fixed problem with vdmSeqGrow and values passed under GC control. - 
Addresses issue #125.
 (commit: 1f81188)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit bb53d1a26a3eb1f65e5807edf0cb641dd1147699 by Victor Bandur
Fix for problem with vdmSetGrow when under GC control.
 (commit: bb53d1a)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit e880319aeffff9350f39c09731964a587f03303d by Victor Bandur
Fixed memory leak in vdmSeqInds.
 (commit: e880319)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 4a5c840a1a53b9ab55e4806151ea6f95705dc8da by Victor Bandur
Fixed memory leak with records.
 (commit: 4a5c840)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
Commit 837a464fd7a6ab3732eec05cbc0779a33b268f5b by Victor Bandur
-  Runtime support for vvdmSetEnumerateSetOfIntsGC. -  Addresses #126.
 (commit: 837a464)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit ebda231a94be10817dc7eb9a96234d740e03ad9f by Peter W. V. Tran-Jørgensen
Add generator support for `vdmSetEnumerateSetOfIntsGC`
Closes #126
 (commit: ebda231)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ColTrans.java (diff)
The file was removedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/ARangeSetExpIR.vm
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
Commit b81cce8059ce38bfd412584eb2147f7a2da82c9c by Victor Bandur
-  Committing omitted header file. -  Addresses #126.
 (commit: b81cce8)
The file was modifiedc/vdmclib/src/main/VdmSet.h (diff)
Commit bda3b924ece036b4b6dd981b810ae93cff5186a9 by Victor Bandur
Uninitialized variable warnings in maps, runtime.
 (commit: bda3b92)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)